Call For Special Session in

6th International Symposium on Model-Based Safety and Assessment

(IMBSA 2019)

16-18 OCTOBER 2019

THESSALONIKI, GREECE

Special Session:

Dependability of Intelligent Systems and Systems of Systems

A technological and societal shift is currently happening towards systems that connect the physical and digital worlds. This is reflected in technologies such as Internet of Things (IoT), Cyber-Physical Systems (CPS), and cooperative Systems of Systems (SoS). These systems are complex, often autonomous and may incorporate AI algorithms including machine learning.

The advent of these technologies can already be seen in a range of application domains including smart grids, smart homes, smart health, intelligent transportation, smart cities and smart farming. These systems harbour a great potential for innovation but, undoubtedly, there are many ethical, economic and related technical issues which should be addressed responsibly. Dependability is prime concern: if such systems fail, they may harm people and lead to the temporary collapse of important infrastructures with catastrophic results for industry and society. Security is particularly important in relation to safety, as the interplay between those is crucial.

The problem of dependability of intelligent systems and SoS is largely unsolved. In this special IMBSA session, we therefore aim to bring together new research efforts in this area. Papers that deal with all aspects of dependability of intelligent systems, CPS and CPS-SoS, spanning from requirements through design and verification as well as case studies are sought after and most welcome. Research papers, summaries of state-of-the-art efforts in European or national projects and proposals for tutorials and tool demonstrations are highly encouraged. Papers should follow the format of IMBSA (Springer LNCS). Tutorial proposals can be short two-page long outlines. More information can be found in the conference website  http://easyconferences.eu/imbsa2019/.

Important Dates

Abstract submission: 5 April 2019 extended 19 April 2019

Full paper submission: 3 May 2019 extended to 24 May 2019

Notification of acceptance: 7 June 2019 extended to 15th July 2019

Camera-ready submission: 28 June 2019 extended 22 July 2019

Conference: 16-18 October, 2019