|
DECSoS’14 Workshop
1st International Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems Tuesday, September 9th
Firenze, Italy
The Workshop will be held at Auditorium al Duomo Florence – “Donatello room” – Via de Cerretani 54/r, Firenze
|
||
|---|---|---|
| The DECSoS’14 Workshop is an ERCIM/EWICS/ARTEMIS workshop, scientifically co-sponsored by the ERCIM Working Group on Dependable Embedded Software-intensive Systems, EWICS TC7 and ARTEMIS projects (www.artemis-ju.eu), particularly MBAT, nSafeCer, CRYSTAL, ARROWHEAD and EMC².The workshop DECSoS’14 comprises the following sessions and papers (in [brackets]: Acronym of the related ARTEMIS project if it is basis of the work reported) | ||
| 9:30 – 10:00 | Introduction | |
| ERCIM, EWICS, ARTEMIS: An (European) introduction to different aspects of critical systems engineering | Erwin Schoitsch and Amund Skavhaug | |
| 10:00 – 11:00 | Formal Analysis and Verification (I) | |
| True Error or False Alarm? Refining Astree’s Abstract Interpretation Results by EmbeddedTester’s Automatic Model-based Testing [MBAT] | Sayali Salvi, Daniel Kästner, Tom Bienmüller and Christian Ferdinand | |
| Formal Verification of Implementation Models against Safety Specifications [MBAT] | Markus Oertel, Omar Kacimi and Eckard Boede | |
| 11:00 – 11:30 | COFFEE BREAK | |
| 11:30 – 13:00 | Railway applications: Safety analysis and verification | |
| Report on the Railway Use case of the Crystal project: Objectives and Progress [CRYSTAL] | Vallée Frédérique, Alexandre Ginisty, Elie Soubiran and Vidal Delmas Tchapet-Nya | |
| Contract-based Analysis for verification of Communication-Based Train Control (CBTC) system [MBAT] | Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi and Ida Petrone | |
| An Interoperable Testing Environment for ERTMS/ETCS control systems [CRYSTAL] | Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron and Valeria Vittorini | |
| 13:00 – 14:30 | LUNCH BREAK | |
| 14:30 – 16:00 | Resilience and Trust: Dynamic issues | |
|---|---|---|
| Modelling Resilient Systems-of-Systems in Event-B | Linas Laibinis, Inna Pereverzeva and Elena Troubitsyna | |
| Towards Assured Dynamic Configuration of Safety-critical Embedded Systems | Nermin Kajtazovic, Christopher Preschern, Andrea Höller and Christian Kreiner | |
| Towards Trust Assurance and Certification in Cyber-Physical Systems [EMC²] | Daniel Schneider, Eric Armengaud and Erwin Schoitsch | |
| 16:00 – 16:30 | COFFEE BREAK | |
| 16:30 – 17:30 | Formal Analysis and Verification (II) | |
| MTBF Inconsistency Analysis on Inferred Product Breakdown Structures [CRYSTAL] | Christian Ellen, Martin Böschen and Thomas Peikenkamp | |
| Critical Systems Verification in MetaMORP(h)OSY [CRYSTAL] | Francesco Moscato, Rocco Aversa and Beniamino Di Martino | |
| 17:30 | END | |
The workshop will hopefully provide some insight into the topics, and enable fruitful discussions during the meeting and afterwards. The mixture of topics is hopefully well balanced, with a certain focus on Software and System Analysis and Verification, and addressed particularly by the ARTEMIS projects MBAT, CRYSTAL and EMC².
Contacts
Erwin Schoitsch – AIT Austrian Institute of Technology – Erwin.schoitsch@ait.ac.at
Amund Skavhaug – NTNU, Trondheim, Norway – Amund.skavhaug@ntnu.no
