CFP

IMBSA 2025: International Symposium on Model-Based Safety and Assessment

Athens, Greece, September 24-26, 2025

Conference website	https://imbsa-conference.com
Submission link	https://easychair.org/conferences/?conf=imbsa2025

Topics: model based system engineering formal methods system safety

IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses, cutting edge design optimisation techniques, statistical methods for safety of machine learning and developments in artificial intelligence (AI).

The 9th International Symposium on Model-Based Safety Assessment (IMBSA 2025) will be held in Athens, Greece. We aim to present the state-of-the-art on all aspects of technological safety, addressing hard problems in the design of safe and secure complex systems including large scale software intensive systems, systems and models with learned behaviour, and autonomous cyber-physical systems and systems of systems characterised by unpredictability and uncertainties.

The symposium provides a dedicated forum, where state-of-the-art researches, leading edge technologies and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community. Two keynotes will be given in the area of safe intelligent systems by prominent researchers in the field.

The IMBSA Approach

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:

A scientific part, where newest findings are presented
A tools and tutorials parts, in which consolidated research achievements are interactively demonstrated
One part reporting on experiences and hot challenges in industrial practice of safety critical systems

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.

Topics of Interest

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:

System Dependability Modelling and Assessment
Domain Specific Modelling Formalisms
Model-Driven Engineering Methodologies
Specification, Traceability and Verification of Safety Requirements
System Architecture and Optimization
System Modelling Tools with Safety Assessment Capabilities
Certification and Standardization of and with Model-Based Methods
Integration in Interdisciplinary Processes
Models used at system Runtime, e.g. for Safety Monitoring
Safety of Machine Learning and Deep Learning
Safety of Autonomous, Cooperative Cyber-physical Systems.
Run-time system adaptation and Dynamic Safety Assurance
AI techniques for Model Synthesis and Safety Analysis
Cyber-security Modelling and Analysis
Case Studies and Practical Experiences

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. 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 should be between 12 and 15 pages (including references and appendix), and they will be presented orally at the conference.

Short submissions may report on ongoing research works, 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 should be between 4 and 6 pages and they will be presented either orally or as a poster/demo at the conference, at the 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.

Regular and short papers must be submitted by April 13, 2025, using the easychair.org platform.

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.

Regular and short paper submissions must be formatted according to the LNCS templates provided by Springer.

Important Dates

Submission of Abstracts: April 1, 2025

Full Paper submission: April 13, 2025

Notification of acceptance: May 18, 2025

Camera-ready submission: June 25, 2025

Conference: September 24 - 26, 2025

Committees

Program Committee

Panagiotis Katsaros, Aristotle Un. of Thessaloniki (GR), IPC Chair

Organizing committee

Kai Höfig, Technische Hochschule Rosenheim (DE), General Chair

Tools & Tutorials Chair

Yiannis Papadopoulos, University of Hull (UK)

Industrial Chair

Christel Seguin, ONERA (FR)

Steering committee

Yiannis I Papadopoulos, University of Hull (UK)
Panagiotis Katsaros, Aristotle University of Thessaloniki (GR)
Marco Bozzano, FBK (IT)
Leila Kloul, Université de Versailles (FR)
Frank Ortmeier, Otto von Guericke University Magdeburg (DE)
Antoine Rauzy, Norwegian University of Science and Technology (NO)
Christel Seguin, ONERA (FR)
Marc Zeller, SIEMENS (DE)

Venue

The conference will be held in Athens, on 24 - 26 September 2025.

Contact

All questions about submissions should be emailed to Prof. Panagiotis Katsaros (katsaros@csd.auth.gr).