Conference Information
IMBSA 2017: International Symposium on Model-Based Safety and Assessment
Submission Date:
2017-02-28 Extended
Notification Date:
Conference Date:
Trento, Italy
Viewed: 5896   Tracked: 0   Attend: 0

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.

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

Topics of Interest

We solicit contributions concerning the design and  verification of 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
    Case Studies and Practical Experiences

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

Submission Details

For each contribution, an abstract should be submitted by 31 January 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.
Last updated by Dou Sun in 2017-02-26
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCSAITInternational Conference on Computer Science and Information Technologies2014-03-162014-04-162014-08-22
ISI'International Conference on Information Science and Industrial Applications2015-08-102015-08-302015-09-20
CASCONAnnual International Conference on Computer Science and Software Engineering2018-07-162018-08-132018-10-29
bca2ICPCInternational Conference on Program Comprehension2022-01-13 2022-05-21
baa1ECCVEuropean Conference on Computer Vision2022-03-072022-07-032022-10-24
CIoT''International Conference on Cloud and Internet of Things2022-12-152023-01-202023-03-20
a1IPTPSInternational workshop on Peer-To-Peer Systems 2010-02-282010-04-27
CSC'International Conference on Connected Smart Cities2022-05-202022-06-172022-07-19
CIbSEIberoamerican Conference on Software Engineering2019-11-192020-02-172020-05-04
CAInternational Conference on Control and Automation2015-10-102015-10-302015-11-25
Related Journals
CCFFull NameImpact FactorPublisherISSN
Advanced Robotics0.920Taylor & Francis0169-1864
cInternational Journal of Knowledge Management IGI Global1548-0666
International Journal of Parallel Programming1.382Springer0885-7458
Smart ScienceTaylor & Francis2308-0477
cJournal of Database Management2.121IGI Global1063-8016
Molecular Simulation1.782Taylor & Francis0892-7022
bAutomated Software Engineering1.273Springer0928-8910
Applied Soft Computing6.725Elsevier1568-4946
cNatural Computing Springer1567-7818
Full NameImpact FactorPublisher
Advanced Robotics0.920Taylor & Francis
International Journal of Knowledge Management IGI Global
International Journal of Parallel Programming1.382Springer
Smart ScienceTaylor & Francis
Journal of Database Management2.121IGI Global
Molecular Simulation1.782Taylor & Francis
Automated Software Engineering1.273Springer
Applied Soft Computing6.725Elsevier
Natural Computing Springer