IMBSA 2019: 6th International Symposium on Model-Based Safety and Assessment The MET Hotel Thessaloniki, Greece, October 16-18, 2019 |
Conference website | http://easyconferences.eu/imbsa2019 |
Submission link | https://easychair.org/conferences/?conf=imbsa2019 |
Submission deadline | May 27, 2019 |
The 6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019) will be held in Thessaloniki, a coastal city of Greece and designated Unesco world heritage site for its significant Roman, Byzantine and Paleochristian monuments.
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 optimization, and developments in artificial intelligence that 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.
Submission Guidelines
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 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.
List of Topics
- 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
- Dependability of Systems with Learning Capabilities
- Synthesis of Model-based, Bio-inspired and other AI techniques for Dependability
- Case Studies and Practical Experiences
Organizing Committee
- Yiannis Papadopoulos (University of Hull, UK)
- Koorosh Aslansefat (University of Hull, UK)
- David Parker (University of Hull, UK)
- Panagiotis Katsaros (Aristotle University of Thessaloniki, GR)
Important Dates
Abstract submission: 5 April 2019
Full paper submission: 3 May 2019
Notification of acceptance: 7 June 2019
Camera-ready submission: 28 June 2019
Conference: 16-18 October 2019
Publication
The accepted papers will be published 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.
Venue
A unique blend of modern sophistication and sublime elegance. THE MET HOTEL invites you to a world of sheer comfort, avant-garde design and sublime luxury in the city of Thessaloniki. Conveniently situated on the harbor of Thessaloniki, within easy reach from the city center, THE MET HOTEL provides outstanding boutique hotel comfort and bountiful amenities for business and leisure travelers.
Contact
All questions about submissions should be emailed to Yiannis Papadopoulos (Y.I.Papadopoulos@hull.ac.uk) or Koorosh Aslansefat (k.aslansefat-2018@hull.ac.uk)