Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Editors:

ISBN: 978-3-319-05415-5 (Print) 978-3-319-05416-2 (Online)

Table of contents (18 chapters)

  1. Front Matter

    Pages I-X

  2. No Access

    Book Chapter

    Pages 1-2

    Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

  3. No Access

    Book Chapter

    Pages 3-18

    With an Open Mind: How to Write Good Models

  4. No Access

    Book Chapter

    Pages 19-35

    Model-Based Testing from Controlled Natural Language Requirements

  5. No Access

    Book Chapter

    Pages 36-53

    An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol

  6. No Access

    Book Chapter

    Pages 54-70

    Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking

  7. No Access

    Book Chapter

    Pages 71-87

    A Strand Space Approach to Provable Anonymity

  8. No Access

    Book Chapter

    Pages 88-106

    Counterexample Generation for Hybrid Automata

  9. No Access

    Book Chapter

    Pages 107-124

    TTM/PAT: Specifying and Verifying Timed Transition Models

  10. No Access

    Book Chapter

    Pages 125-141

    Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS

  11. No Access

    Book Chapter

    Pages 142-159

    Reflections on Verifying Software with Whiley

  12. No Access

    Book Chapter

    Pages 160-177

    Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events

  13. No Access

    Book Chapter

    Pages 178-194

    Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude

  14. No Access

    Book Chapter

    Pages 195-211

    On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings

  15. No Access

    Book Chapter

    Pages 212-228

    Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

  16. No Access

    Book Chapter

    Pages 229-245

    Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification

  17. No Access

    Book Chapter

    Pages 246-261

    Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling

  18. No Access

    Book Chapter

    Pages 262-279

    Precise Documentation and Validation of Requirements

  19. No Access

    Book Chapter

    Pages 280-296

    Certainly Unsupervisable States

  20. Back Matter

    Pages 297-297