SaFoMe 2015

2nd International Workshop on Safety and Formal Methods

Overview

The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.

In many safety-critical applications, such as automotive, aerospace, and railway, there is a need to enhance the quality of industrial products while also reducing the risk of fatalities and injuries. To achieve this, cost-efficient methods supporting the development and operation of safety-enabling embedded systems are required. Several approaches have been proposed to achieve this. Among them, component-based methods have been identified as suitable to improve both reuse and the maintainability of systems. Formal methods instead have traditionally been focusing on rigorous specification, validation and verification of system requirements. Some formal methods, such as contract-based techniques, are applied also to component-based systems. However, the majority of component-based approaches have concentrated on the functional properties of systems. Much less work has considered how they can be applied to other non-functional properties, including dependability properties, such as safety, security, reliability, performance, and availability. Among these, the interdependence of safety and security is an increasing concern for safety-critical applications.
Topics of interest

Topics of interest include, but are not limited to, formal languages and verification techniques for:

Design, validation, and verification of safety-critical component-based systems.
Verification and analysis of fault-tolerant systems.
Design and verification of real-time, embedded safety-critical systems.
Formal methods for safety and security.
Formal methods for Quality-of-Service analysis of safety-critical software systems.
Contract-based design and verification of safety-critical embedded systems.
Formal methods in the certification of safety-critical systems.
Formal methods applied in the context of industrial safety-critical case studies.
Experience reports of using formal methods for certification (e.g., DO 178C).
Formal methods for the safety in Internet of Things (IoT).
Formal methods for reuse of safety-critical software components.