IMBSA 2014 - 4th International Symposium on Model-Based Safety and Assessment

After previous editions in Toulouse (2011), Bordeaux (2012), and Versailles (2013), the 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014) will be held in Munich, Germany. This forum aims at bringing together engineers, software specialists and researchers working on all aspects of model-based safety assessment.
The goal of IMBSA is to provide 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 consolidate the community. We solicit contributions concerning any domain of safety critical application using model-based methods. This includes, but is not limited to:
System Dependability Modeling and Assessment
Domain Specific Modeling Formalisms (AltaRica, ...)
Model-Driven Engineering Methodologies
System Architecture and Optimization
System Engineering Modeling Tools with Safety Assessment (SysML...)
Case Studies and Practical Experiences
Traceability of (Safety)-Requirements
Specification of Safety Requirements
Certification and Standardization of and with Model-Based Methods
Integration in Interdisciplinary Processes
Submission Details
For each academic and industrial submission, an extended abstract (2 pages) should be submitted by May 31th, 2014, using the EasyChair website. Academic papers should not exceed 12 pages. Industrial experiences reports may either be submitted as short papers (6 pages) or full papers (12 pages). Both forms of submission have to comply with the LNCS style format and be handed in by 15th of June.
For tutorials and tool demonstration, extended abstracts (2 pages) are sufficient but full length papers may also be accepted.
All papers will be subjected to a full review.
It is planned to publish all accepted contributions in a special issue in Springer's LNCS. To be considered for the proceedings, at least one author of each paper has to participate at the conference.
Scientific and industrial experience will be presented at the conference in oral form. Tools and tutorials will be presented in special slots (within the main program) and may be presented in an interactive manner.