Safety and reliability in software-controlled systems

When we travel on a plane, train or car, part of our safety relies on integrated software-controlled systems. These systems, that perform critical functions and are applied in many other areas such as intelligent space and industrial production, will be at the center of three international conferences scheduled in September in Trento.

More than 250 research and industry experts from around the world will discuss the design of increasingly advanced systems in terms of reliability and security during the conferences co-organized by the Embedded Systems Unit of Trento-based Fondazione Bruno Kessler. A choice due to the quality of research and technology transfer projects that for years the group led by Alessandro Cimatti has carried out precisely in this area.

The first event will be the SEFM 2017 – Software Engineering and Formal Methods conference scheduled at FBK’s premises in Povo on Wednesday, September 6. The IMBSA 2017 – International Symposium on Model-Based Safety and Assessment will take place on Monday, September 11, at FBK, and SAFECOMP 2017 – International Conference on Computer Safety, Reliability and Security, which will start on Tuesday, September 12 at the Grand Hotel Trento, will follow.

SEFM 2017 – Software Engineering and Formal Methods – organized by Alessandro Cimatti (FBK) and Marjan Sirjani (Malardalen University)

The fifteenth edition is being held in Trento from September 6 to 10, and aims to bring together leading researchers and professionals from academia, industry and administration to advance the state of the art in Formal Methods. Satellite workshops will provide additional opportunities for collaborating and exchanging ideas on specific topics, both for practical and theoretical aspects.

Info: http://sefm17.fbk.eu/

IMBSA 2017 – International Symposium on Model-Based Safety and Assessment – organized by Marco Bozzano (FBK) and Yiannis Papadopoulos (University of Hull, UK)

The symposium has come to the fifth edition.   It is the most important event in formal model-based systems safety analysis. The strong point of the symposium is having research meet industry. The event is structured as a forum where the latest developments in the field are discussed from the research, technology and industry standpoints.

Info: http://imbsa2017.fbk.eu/

SAFECOMP 2017 – International Conference on Computer Safety, Reliability and Security – organized by Stefano Tonetta (FBK) and Erwin Schoitsch (AIT Austrian Institute of Technology)

The conference has been organized by the EWICS TC7 Group since 1979 and has come this year to its 36th edition. It is an event that involves both research and industry and that has always contributed to the advancement in research into the use of computers in critical systems from the point of view of reliability and security.

Info: http://safecomp17.fbk.eu/