5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017)
Trento,Italy
September 11-13, 2017
Call for Papers :
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.
Topic of Interest :
-
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@run.time
-
Case Studies and Practical Experiences
Important Dates :
Abstract submission: 31 January 2017
Full paper submission: 28 February 2017
Notification of acceptance: 8 May 2017
Camera-ready submission: 12 June 2017
User Name : jerish
Posted 15-10-2016 on 11:33:01 AEDT
Related CFPs
CGDEIJ
Computer Game Development and Education