Formal Methods for Embedded Distributed Systems

How to master the complexity

Editors: Kordon, Fabrice, Lemoine, Michel (Eds.)

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-1-4020-7997-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
  • ISBN 978-1-4020-7996-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-1-4419-5459-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed! The different notations that can be used must all possess at least one property: formality. The development process must also have important properties: a exha- tive coverage of the development phases, and a set of well integrated support tools. In Computer Science it is now widely accepted that only formal notations can guarantee a perfect de?ned meaning. This becomes a more and more important issue since software systems tend to be distributed in large systems (for instance in safe public transportation systems), and in small ones (for instance numerous processors in luxury cars). Distribution increases the complexity of embedded software while safety criteria get harder to be met. On the other hand, during the past decade Software Engineering techniques have been improved a lot, and are now currently used to conduct systematic and rigorous development of large software systems. UML has become the de facto standard notation for documenting Software Engineering projects. UML is supported by many CASE tools that offer graphical means for the UML notation.

Table of contents (8 chapters)

  • The BART Case Study

    Winter, V. (et al.)

    Pages 3-22

  • Formal Specifcation and Refinement of a Safe Train Control Function

    Winter, V. (et al.)

    Pages 25-64

  • From UML to Z

    Lemoine, M. (et al.)

    Pages 65-88

  • Environmental Modeling with UML

    Groot, Adriaan (et al.)

    Pages 89-129

  • Checking BART Test Scenarios with UML’s Object Constraint Language

    Gogolla, M. (et al.)

    Pages 133-170

Buy this book

eBook $119.00
price for USA (gross)
  • ISBN 978-1-4020-7997-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $159.00
price for USA
  • ISBN 978-1-4020-7996-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $159.00
price for USA
  • ISBN 978-1-4419-5459-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Embedded Distributed Systems
Book Subtitle
How to master the complexity
Editors
  • Fabrice Kordon
  • Michel Lemoine
Copyright
2004
Publisher
Springer US
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4020-7997-9
DOI
10.1007/b116264
Hardcover ISBN
978-1-4020-7996-2
Softcover ISBN
978-1-4419-5459-6
Edition Number
1
Number of Pages
XX, 263
Number of Illustrations and Tables
28 b/w illustrations
Topics