Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

✍ Scribed by Cyrille Artho, Peter Csaba Ölveczky (eds.)

Publisher: Springer International Publishing
Year: 2014
Tongue: English
Leaves: 307
Series: Communications in Computer and Information Science 419
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

✦ Table of Contents

Front Matter....Pages I-X
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions....Pages 1-2
With an Open Mind: How to Write Good Models....Pages 3-18
Model-Based Testing from Controlled Natural Language Requirements....Pages 19-35
An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol....Pages 36-53
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking....Pages 54-70
A Strand Space Approach to Provable Anonymity....Pages 71-87
Counterexample Generation for Hybrid Automata....Pages 88-106
TTM/PAT: Specifying and Verifying Timed Transition Models....Pages 107-124
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS....Pages 125-141
Reflections on Verifying Software with Whiley....Pages 142-159
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events....Pages 160-177
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude....Pages 178-194
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings....Pages 195-211
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems....Pages 212-228
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification....Pages 229-245
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling....Pages 246-261
Precise Documentation and Validation of Requirements....Pages 262-279
Certainly Unsupervisable States....Pages 280-296
Back Matter....Pages 297-297

✦ Subjects

Logics and Meanings of Programs; Software Engineering; Computation by Abstract Devices

📜 SIMILAR VOLUMES

Formal Techniques for Safety-Critical Sy

📁 Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

✍ Cyrille Artho, Peter Csaba Ölveczky (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40

Formal Techniques for Safety-Critical Sy

📁 Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

✍ Cyrille Artho, Peter Csaba Ölveczky (eds.) 📂 Library 📅 2017 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and se

Formal Techniques for Safety-Critical Sy

📁 Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

✍ Cyrille Artho, Peter Csaba Ölveczky 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 revised full papers presented together with an abstract of an invited talk were carefully review

Formal Techniques for Safety-Critical Sy

📁 Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

✍ Cyrille Artho, Peter Csaba Ölveczky (eds.) 📂 Library 📅 2016 🏛 Springer International Publishing 🌐 English

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewe

Structured Object-Oriented Formal Langua

📁 Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

✍ Shaoying Liu, Zhenhua Duan (eds.) 📂 Library 📅 2014 🏛 Springer International Publishing 🌐 English

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submi

Formal Techniques for Safety-Critical Sy

📁 Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... in Computer and Information Science, 1165)

✍ Osman Hasan (editor), Frédéric Mallet (editor) 📂 Library 📅 2020 🏛 Springer 🌐 English

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionall