1st International Workshop on Safety and Formal Methods, Grenoble, Frankreich

<p>In many domains, including for example automotive and construction equipment, avionics, and railway, there is a need to enhance the quality of services (QoS) of strategic industrial products while also reducing the risk of fatalities and injuries&#046; To achieve this, cost–efficient processes and methods supporting the development and operation of safety enabling embedded systems are needed, as recognized by Artemis Industrial Association in their call for projects (see http://www&#046;artemis-ju&#046;eu/)&#046;</p> <p>Several approaches have been proposed to achieve this, among them Component–Based Development (CBD) approaches have been identified as suitable to improve both reuse and the maintainability of systems&#046; Many of these used the concept of a <em>contract</em>, which describes what an artifact interface provides and what it expects from other artifacts&#046; During system composition contracts are compared to determine compatibility&#046; The majority of this work has concentrated on the functional properties of systems&#046; Most of the work has been conducted to analyse the functional properties of systems&#046; However, much less work has considered how CBD can be applied to other non–functional properties, including dependability properties such as safety, reliability, performance and availability&#046;</p> <p>Formal methods have traditionally been advocated for improving the reliability of safety–relevant systems&#046; The SaFoMe workshop aims to provide 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&#046;</p> <h2>TOPICS OF INTEREST</h2> <p>Topics of interest include, but are not limited to:</p> <ul> <li>Formal methods for fault–tolerant and secure systems&#046;</li> <li>Formal methods for real–time and embedded safety–critical systems&#046;</li> <li>Formal methods for safety–critical component–based systems and their certification&#046;</li> <li>Formal methods in the verification and validation of safety–critical software systems&#046;</li> <li>Applications of formal methods in the context of industrial safety–critical case studies&#046;</li> <li>Formal methods for the safety in Internet of Things (IoT)&#046;</li> <li>Specification, verification, and validation of safety contacts by means of (semi)formal methods&#046;</li> <li>Contract–based design and verification of safety–critical embedded systems&#046;</li> <li>Formal methods for safety assessment&#046;</li> <li>Formal methods for reuse of safety–critical software components&#046;</li> </ul>