The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses and cutting edge optimisation to address hard problems in the design of safe complex systems including software intensive and open cyber-physical systems. The symposium provides a dedicated forum, where state-of-the-art research, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community.
IMBSA solicits two types of contributions:
All the authors of accepted tool papers and demonstrations, will be given the opportunity to present their tools live in an interactive session.
We solicit contributions concerning the design and verification of safety critical systems and applications using model-based methods. Conference topics include, but are not limited to:
IMBSA is looking back at a rich tradition of successfully combining research with a high number of industrial contributions. It shows that bridging the gap between basic research and industrial practice can be done effectively through interactive presentation of tools and methods. To take this into account, the conference will – in contrast to solely scientific events – be split into three main parts:
This way, participants from the industry learn about new tools and techniques, while research groups and spin-off companies can present their achievements to an interested audience. Also industrial contributors and young spin-offs can convince future customers of their tools in this mixed environment. We believe, that this mixture of conventional talks about newest achievements, presentation of practical experiences and interactive learning allows for fruitful discussions, exchange of information as well as future cooperation.
For each contribution, an abstract should be submitted by 28 February 2017, using the EasyChair website, whereas full papers must be submitted by 6 March 2017. Regular submissions should not exceed 15 pages, whereas short submissions are limited to 2 pages. Both forms of submission have to comply with the LNCS style format. All papers will be subjected to a full review by the Program Committee. It is planned to publish regular contributions as a proceedings volume in Springer's Lecture Notes in Computer Science. To be considered for the proceedings, at least one author of each accepted paper has to participate at the conference.
Abstract submission: 28 February 2017 (EXTENDED)
Full paper submission: 6 March 2017 (EXTENDED)
Notification of acceptance: 8 May 2017
Camera-ready submission: 12 June 2017
Conference: 11-13 September, 2017
IMBSA will be co-located with the following events:
It is planned to have a joint session with SAFECOMP on Wednesday, 13 September.