Formal Methods for Embedded Distributed Systems

Zusatztext

InhaltsangabePreface Contributing Authors Introduction; F. Kordon, M. Lemoine 1. The 'Traditional' development approach 2. What is covered in this book 3. Organization of chapters Part I: The BART Case Study 1: The BART Case Study; V. Winter, F. Kordon, M. Lemoine 1. Introduction 2. Objective 3. General Background on the BART Train System 4. Informal Specification for the AATC System 5. Inputs and Outputs to the Control Algorithm 6. Physical Performance of the Train in Response to Commands 7. Worst Case Stopping Profile 8. Considerations with Acceleration and Speed Commands 9. Quantitative Quality and Safety Metrics to be Demonstrated 10. Vital Station Computer (VSC) Issues 11. Miscellaneous Questions and Answers Part II: Building and Validating Conceptual Aspects 2: Formal Specification and Refinement of a Safe Train Control Function; V. Winter, D. Kapur, G. Fuehrer 1. Introduction 2. Technical approach and method 3. Inputs taken from the BART case study 4. Applying the approach to the case study 5. Results raised by this technique 6. Conclusion 7. Appendixes 3: 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. Introduction 2. Technical approach and method 3. Inputs taken from the DART case study 4. Applying the approach to the case study 5. State space computation using DDD 6. Conclusion Part IV: Methodological Aspects 7: AutoFocus - Mastering the Complexity; B. Schätz 1. Introduction 2. Technical Approach and Method 3. Inputs taken from the BART case study 4. Applying the approach to the case study 5. Results raised by this technique 6. Conclusion 8: 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

Weitere Details