UML-B Specification for Proven Embedded Systems Design

Editors: Mermet, Jean (Ed.)

Buy this book

eBook 178,49 €
price for Spain (gross)
  • ISBN 978-1-4020-2867-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 227,76 €
price for Spain (gross)
  • ISBN 978-1-4020-2866-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 227,76 €
price for Spain (gross)
  • ISBN 978-1-4419-5256-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, using the VSIAISLIF standard). The link of B with C, VHDL and SystemC will extend the correct-by-construction design process to lower system-on-chip (SoC) development stages. Prototype tools will be developed for the code generation from UML and B, and existing B verification tools will be extended to support IP reuse, according to the VSI Alliance work. The methodology and tools will be validated through the development of three industrial applications: a wireless mobile terminal-a telecom system-on-chip based on HIPERLANI2 protocol and an anti-collision module for automobiles. The problem was known to be hard and the scope ambitious. But the seventeen chapters that follow, describing the main results obtained demonstrate the success of the research, acknowledged by the European reviewers. They are released to allow the largest audience to learn and take benefit of.

Table of contents (18 chapters)

  • An Introduction to Formal Methods

    Voros, Nikolaos S. (et al.)

    Pages 1-20

    Preview Buy Chapter 30,19 €
  • Formally Unified System Specification Environment with UML, B and SystemC

    Kronlöf, Klaus (et al.)

    Pages 21-35

    Preview Buy Chapter 30,19 €
  • Embedded System Design Using the PUSSEE Method

    Voros, Nikolaos S. (et al.)

    Pages 37-51

    Preview Buy Chapter 30,19 €
  • System Level Modelling and Refinement with EventB

    Lecomte, T.

    Pages 53-68

    Preview Buy Chapter 30,19 €
  • The UML-B Profile for Formal Systems Modelling in UML

    Snook, Colin (et al.)

    Pages 69-84

    Preview Buy Chapter 30,19 €

Buy this book

eBook 178,49 €
price for Spain (gross)
  • ISBN 978-1-4020-2867-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 227,76 €
price for Spain (gross)
  • ISBN 978-1-4020-2866-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 227,76 €
price for Spain (gross)
  • ISBN 978-1-4419-5256-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
UML-B Specification for Proven Embedded Systems Design
Editors
  • Jean Mermet
Copyright
2004
Publisher
Springer US
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4020-2867-0
DOI
10.1007/978-1-4020-2867-0
Hardcover ISBN
978-1-4020-2866-3
Softcover ISBN
978-1-4419-5256-1
Edition Number
1
Number of Pages
IX, 300
Number of Illustrations and Tables
48 b/w illustrations
Topics