Formal Methods for Embedded Distributed Systems -

. .

Sommaire:
Preface 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 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 3. Applying our approach to the case study 4. Designing a Controller 5. Results raised by this technique Part III: Building and Validating Operational Aspects 5: Checking BART Test Scenarios with UML?s Object Constraint Language; M. Gogolla, P. Ziemann 3. Inputs taken from the BARTcase study 4. Applying the approach to the case study 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 3. Inputs taken from the DART case study 5. State space computation using DDD Part IV: Methodological Aspects 7: AutoFocus - Mastering the Complexity; B. Sch?tz 2. Technical Approach and Method 3. Inputs taken from the BART case study 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