Model-Based Safety and Assessment

This volume contains the papers presented at IMBSA 2017: International Symposium on Model-Based Safety and Assessment held on September 11-13 in Trento. The International Symposium on Model-Based Safety and Assessment (IMBSA) has now been held for the fifth time. Since the first edition in Toulouse (2011), the workshop has evolved to a forum where brand new ideas from academia, leading-edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to federate the community. To foster academic and industrial collaboration, in addition to more traditional talks reporting on novel advances on hot research topis, the program featured two poster and demo sessions, where speakers had the opportunity to present ongoing research and industrial experiences, and demonstrate their tool interactively. We believe that a mixture of conventional talks about the newest achievements, presentation of practical experiences, and interactive learning enables fruitful discussions, exchange of information, as well as future cooperation. Therefore, following the previous edition of IMBSA in Munich (2014), an important focus of this year’s edition in Trento was placed on tool demonstrations. Nevertheless, the main scientific and industrial contributions were presented in traditional talks and are collected in this volume of LNCS. For IMBSA 2017, we received 29 regular submissions from authors of 12 countries. The best 17 of these papers where selected by an international Program Committee to be published in this volume. In addition to this LNCS volume, IMBSA 2017 also published separate online proceedings for poster and demo contributions. As program chairs, we want to extend a very warm thank you to all 32 members of the international Program Committee. Each submission was reviewed by at least 3 program committee members. The comprehensive review guaranteed the high quality of the accepted papers. We also want to thank the local organization team at Fondazione Bruno Kessler (Italy), and our fellow members of the steering committee: Leila Kloul, Frank Ortmeier, Antoine Rauzy and Christel Seguin. Finally, we wish you a pleasant reading of the articles in this volume. On behalf of everyone involved in this year’s International Symposium on Model-Based Safety and Assessment, we hope you will be joining us at the next edition of IMBSA