International Symposium on Model Based Safety Assessment

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:

• Regular submissions should  present significant (theoretical or practical) novel results to the model-based safety assessment community, and discuss advances with respect to the state-of-the-art. Possible contributions include, but are not limited to: research papers focusing on the theoretical foundations or implementation of model-based technology; case study papers reporting on industrial-size applications of these methods; tool papers focusing on the theoretical foundations, design, implementation and usage of model-based tools; industrial experience papers reporting on practical use of model-based methodology and technology in industry. Regular submissions can have a maximum of 15 pages in LNCS style, and they will be presented orally at the conference.
• Short submissions may report on ongoing research work, industrial applications and experiences, describe tools and their usage and/or introduce tool demonstrations. Short submissions should aim at introducing new, usable methods and tools to the model-based safety assessment community, raise new challenges and/or evaluate existing approaches on the basis of practical experiences. Short submissions can have a maximum of 2 pages in LNCS style and they will be presented either orally or as a poster/demo at the conference, at discretion of the Program Committee.

All the authors of accepted tool papers and demonstrations, will be given the opportunity to present their tools live in an interactive session.