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

PrefaceContributing AuthorsIntroduction; F. Kordon, M. Lemoine 1. The 'Traditional' development approach2. What is covered in this book3. Organization of chaptersPart I: The BART Case Study1: The BART Case Study; V. Winter, F. Kordon, M. Lemoine 1. Introduction2. Objective3. General Background on the BART Train System4. Informal Specification for the AATC System 5. Inputs and Outputs to the Control Algorithm6. Physical Performance of the Train in Response to Commands7. Worst Case Stopping Profile8. Considerations with Acceleration and Speed Commands9. Quantitative Quality and Safety Metrics to be Demonstrated 10. Vital Station Computer (VSC) Issues11. Miscellaneous Questions and AnswersPart II: Building and Validating Conceptual Aspects2: Formal Specification and Refinement of a Safe Train Control Function; V. Winter, D. Kapur, G. Fuehrer 1. Introduction2. Technical approach and method3. Inputs taken from the BART case study 4. Applying the approach to the case study5. Results raised by this technique6. Conclusion7. Appendixes3: From UML to Z; M. Lemoine, G. Gaudière 1. Introduction 2. Technical approach and method 3. Our approach in details 4. Inputs taken from the BART case study 5. Applying the approach to the case study 6. Results raised by this technique 7. Conclusion 4: Environmental Modeling with UML; Adriaan de Groot, Jozef Hooman 1. Introduction 2. Technical approach and method 3. Applying our approach to the case study 4. Designing a Controller 5. Results raised by this technique 6. Conclusion Part III: Building and Validating Operational Aspects 5: Checking BART Test Scenarios with UML's Object Constraint Language; M. Gogolla, P. Ziemann 1. Introduction 2. Technical approach and method 3. Inputs taken from the BARTcase study 4. Applying the approach to the case study 5. Results raised by this technique 6. Conclusion 6: Modeling and verifying behavioral aspects; F. Bréant, J. -M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot-Adet, D. Poitrenaud, D. Regep, G. Sutre 1. Introduction2. Technical approach and method3. Inputs taken from the DART case study4. Applying the approach to the case study5. State space computation using DDD6. Conclusion Part IV: Methodological Aspects 7: AutoFocus - Mastering the Complexity; B. Schätz 1. Introduction2. Technical Approach and Method3. Inputs taken from the BART case study4. Applying the approach to the case study5. Results raised by this technique6. Conclusion8: Conclusions; F. Kordon, M. Lemoine 1. Are Formal Methods an appropriate answer to the Design of Distributed Systems?2. A process for the Design of Safety Critical Distributed Systems