Formal Methods for Embedded Distributed Systems How to master the complexity /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kordon, Fabrice (Editor), Lemoine, Michel (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2004.
• Subjects: Computer science.; Microprocessors.; Software engineering.; Computers.; Computer-aided engineering.; Computer Science.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Computing Methodologies.; Processor Architectures.; Computer-Aided Engineering (CAD, CAE) and Design.

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...

Table of Contents:

• The BART Case Study
• Formal Specifcation and Refinement of a Safe Train Control Function
• From UML to Z
• Environmental Modeling with UML
• Checking BART Test Scenarios with UML’s Object Constraint Language
• Modeling and verifying behavioral aspects
• Mastering the Complexity of Reactive Systems - The AutoFocusApproach
• Conclusions.