[Om-announce] Final CFP: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

Marco Bozzano bozzano at fbk.eu
Wed Feb 15 11:15:20 CET 2017

IMBSA 2017 - Final Call for Papers
International Symposium on Model-Based Safety and Assessment
Trento, Italy, 11-13 September 2017



Abstract submission: 21 February 2017
Full paper submission: 28 February 2017
Notification of acceptance: 8 May 2017
Camera-ready submission: 12 June 2017
Conference: 11-13 September, 2017


- SEFM (International Conference on Software Engineering and Formal Methods): 5-8 September 2017
- SAFECOMP (International Conference on Computer Safety, Reliability and Security): 13-15 September 2017

It is planned to have a joint session with SAFECOMP on Wednesday, 13


The 5th International Symposium on Model Based Safety and 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

- 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


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 Modeling and Assessment
- Domain Specific Modeling Formalisms
- Model-Driven Engineering Methodologies
- Specification, Traceability and Verification of Safety Requirements
- System Architecture and Optimization
- System Engineering Modeling Tools with Safety Assessment Capabilities
- Certification and Standardization of and with Model-Based Methods
- Integration in Interdisciplinary Processes
- Models at run.time
- Case Studies and Practical Experiences


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 by renown
- 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.


For each contribution, an abstract should be submitted by 21 February
2017, using the EasyChair website, whereas full papers must be
submitted by 28 February 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.

Submission page: https://easychair.org/conferences/?conf=imbsa2017


General Chairs

Marco Bozzano (FBK, IT)
Yiannis Papadopoulos (University of Hull, GB)


Marco Bozzano (FBK, IT)
Antoine Rauzy (Norwegian University of Science and Technology, NO)

Tools & Tutorials Chairs

Leila Kloul (Universite de Versailles, FR)
Christel Seguin (ONERA, FR)

Industrial Chairs

Jean-Paul Blanquart (Airbus Defence and Space, FR)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)

Organizing Committee

Annalisa Armani (FBK, IT)
Marco Bozzano (FBK, IT)
Francesca Guerzoni (FBK, IT)
Silvia Malesardi (FBK, IT)

Program Committee

Jean-Paul Blanquart (Airbus Defence and Space, FR)
Marc Bouissou (EDF, FR)
Marco Bozzano (FBK, IT)
Jean-Charles Chaudemar (ISAE, FR)
Regis de Ferluc (Thales Alenia Space, FR)
Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE)
Marielle Doche-Petit (Systerel, FR)
Peter Feiler (CMU, US)
Francesco Flammini (University of Naples, IT)
Lars Fucke (Boeing, ES)
Lars Grunske (Humboldt University Berlin, DE)
Matthias Guedemann (Diffblue, UK)
Brendan Hall (Honeywell, US)
Kai Hoefig (Siemens, DE)
Michaela Huhn (Ostfalia, DE)
Tim Kelly (University of York, UK)
Leila Kloul (Universite de Versailles, FR)
Agnes Lanusse (CEA LIST, FR)
Timo Latvala (Space Systems Finland, FI)
Till Mossakowski (Otto-von-Guericke University of Magdeburg, DE)
Juergen Mottok (University of Regensburg, DE)
Thomas Noll (RWTH Aachen University, DE)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
Yiannis Papadopoulos (University of Hull, UK)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Wolfgang Reif (Augsburg University, DE)
Jean-Marc Roussel (LURPA, ENS Cachan, FR)
Christel Seguin (ONERA, FR)
Pascal Traverse (AIRBUS, FR)
Elena A. Troubitsyna (Abo Akademi, FI)
Marcel Verhoef (European Space Agency, NL)
Marc Zeller (Siemens, DE)

Steering Committee

Marco Bozzano (FBK, IT)
Leila Kloul (Universite de Versailles, FR)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
Yiannis Papadopoulos (University of Hull, UK)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Christel Seguin (ONERA, FR)

More information about the Om-announce mailing list