𝔖 Scriptorium

✦ LIBER ✦

📁

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

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

Publisher: Springer International Publishing
Year: 2015
Tongue: English
Leaves: 266
Series: Communications in Computer and Information Science 476
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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 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
Experience with Rule-Based Analysis of Spacecraft Logs....Pages 1-16
Safety, Dependability and Performance Analysis of Aerospace Systems....Pages 17-31
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv....Pages 32-46
Expression-Based Aliasing for OO–languages....Pages 47-61
Checking Integral Real-Time Automata for Extended Linear Duration Invariants....Pages 62-75
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols....Pages 76-92
Dynamic State Machines for Formalizing Railway Control System Specifications....Pages 93-109
Checking the Conformance of a Promela Design to its Formal Specification in Event-B....Pages 110-126
A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering....Pages 127-141
Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems....Pages 142-158
Key-Secrecy of PACE with OTS/CafeOBJ....Pages 159-173
Coalgebraic Semantic Model for the Clock Constraint Specification Language....Pages 174-188
Analyzing Industrial Architectural Models by Simulation and Model-Checking....Pages 189-205
Specifying and Verifying Concurrent C Programs with TLA+....Pages 206-222
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release....Pages 223-238
A Spin-Based Approach for Checking OSEK/VDX Applications....Pages 239-255
Back Matter....Pages 257-257

✦ Subjects

Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices

📜 SIMILAR VOLUMES

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

<p>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.<br>The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewe

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

<p>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.<br>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: 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

<p>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.<br>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: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

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

<p>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 variou

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

<span>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.<br>The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionall

Structured Object-Oriented Formal Langua

📁 Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

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

<p><p>This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014.</p><p>The 12 papers presented in this volume were carefully revi