IMBSA solicits three types of contributions:<\/strong><\/p>\nRegular 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.<\/p>\n
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.<\/p>\n
All the authors of accepted tool papers and demonstrations, will be given the opportunity to present their tools live in an interactive session.<\/p>\n
Industrial best practice presentations will address the application of model-based safety assessment from an industrial perspective. The objective of the track is to establish an efficient and vivid dialogue between practitioners and researchers concerning the challenges, findings (both positive and negative), encountered obstacles, and lessons learned on model-based safety assessment. Of particular interest is information on applying model-based safety assessment methodologies, tools and verification and validation practices in diverse lifecycle stages and industry sectors. Industrial presentations have to submit a short abstract which is reviewed by the program committee and will be presenting orally in a dedicated session of the conference. A publication of any kind is only optional.<\/p>\n
[\/et_pb_text][et_pb_text _builder_version=”4.0.7″ hover_enabled=”0″]<\/p>\n
Topics of Interest:<\/strong><\/p>\nWe 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:<\/p>\n
\u2022 System Dependability Modeling and Assessment
\u2022 Domain Specific Modeling Formalisms
\u2022 Model-Driven Engineering Methodologies
\u2022 Specification, Traceability and Verification of Safety Requirements
\u2022 System Architecture and Optimization
\u2022 System Engineering Modeling Tools with Safety Assessment Capabilities
\u2022 Certification and Standardization of and with Model-Based Methods
\u2022 Integration in Interdisciplinary Processes
\u2022 Models@run.time
\u2022 Dependability of Systems with Learning Capabilities
\u2022 Synthesis of Model-based, Bio-insprired and other AI techniques for Dependability
\u2022 Case Studies and Practical Experiences<\/p>\n
The IMBSA Approach:<\/strong><\/p>\nIMBSA 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 \u2013 in contrast to solely scientific events \u2013 be split into three main parts:<\/p>\n
\u2022\u00a0 A scientific part, where newest findings are presented by scientists
\u2022 A tools and tutorials parts, in which consolidated research achievements are interactively demonstrated
\u2022 One part reporting on experiences and hot challenges in industrial practice of safety critical systems<\/p>\n
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.<\/p>\n
Submission Details:<\/strong><\/p>\nFor each contribution, an abstract should be submitted by 4 May 2020, using the EasyChair website, whereas full papers must be submitted by 11 May 2020. 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\u2019s 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. Short papers will be published as an \u2018online annex\u2019 to proceedings in the website.<\/p>\n
Important Dates:<\/strong><\/p>\nAbstract submission: 4 May<\/span> 18 May 2020
Full paper submission: 11 May<\/span> 25 May 2020
Notification of acceptance: 22 June<\/span> 06 July 2020
Camera-ready submission: 2 July<\/span> 17 July 2020
Conference: 14-16 September 2020<\/p>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"
Call for PapersThe 7th International Symposium on Model-Based Safety and Assessment (IMBSA 2020) will be held in Lisbon, the capital of Portugal. It is co-located with the SafeComp 2020 (http:\/\/safecomp2020.di.fc.ul.pt). 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 optimisation, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/10"}],"collection":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":14,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":300,"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/pages\/10\/revisions\/300"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/imbsa2020\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}