DECSoS Program

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 (, 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².


Erwin Schoitsch – AIT Austrian Institute of Technology –
Amund Skavhaug – NTNU, Trondheim, Norway –

Share: Queste icone linkano i siti di social bookmarking sui quali i lettori possono condividere e trovare nuove pagine web.
  • Twitter
  • Facebook
  • Google Bookmarks
  • Digg
  • StumbleUpon
  • Reddit