posted by organizer: rjrodriguez || 2184 views || tracked by 14 users: [display]

SaFoMe 2014 : 1st International Workshop on Safety and Formal Methods


When Sep 1, 2014 - Sep 1, 2014
Where Grenoble
Abstract Registration Due May 23, 2014
Submission Deadline Jun 6, 2014
Notification Due Jun 30, 2014
Final Version Due Jul 15, 2014
Categories    safety   formal methods   computer science   software engineering

Call For Papers

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. 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

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. Many of these used the concept of a contract, which describes what an artifact interface provides and what it expects from other artifacts. During system composition contracts are compared to determine compatibility. The majority of this work has concentrated on the functional properties of systems. Most of the work has been conducted to analyse the functional properties of systems. 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.

Formal methods have traditionally been advocated for improving the reliability of safety-relevant systems. 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.


Topics of interest include, but are not limited to:
* Formal methods for fault-tolerant and secure systems.
* Formal methods for real-time and embedded safety-critical systems.
* Formal methods for safety-critical component-based systems and their certification.
* Formal methods in the verification and validation of safety-critical software systems.
* Applications of formal methods in the context of industrial safety-critical case studies.
* Formal methods for the safety in Internet of Things (IoT).
* Specification, verification, and validation of safety contracts by means of (semi)formal methods.
* Contract-based design and verification of safety-critical embedded systems.
* Formal methods for safety assessment.
* Formal methods for reuse of safety-critical software components.

* Clara Benac Earle. Universidad Politécnica de Madrid, Spain (co-chair)
* Simona Bernardi. Centro Universitario de Defensa, Zaragoza, Spain.
* Jan Carlson. Malardalen University, Sweden.
* David García Rosado. Universidad de Castilla-La Mancha, Spain.
* Christophe Gaston. Institut CARNOT CEA LIST, France.
* Elena Gómez-Martínez. Universidad Politécnica de Madrid, Spain.
* Hans Hansson. Malardalen University, Sweden. (co-chair)
* José Merseguer. Universidad de Zaragoza, Spain.
* Sasikumar Punnekkat. Malardalen University, Sweden.
* Nicolas Rapin. Institut CARNOT CEA LIST, France.
* Ricardo J. Rodríguez. Universidad Politécnica de Madrid, Spain.
* Fernando Rosa-Velardo. Universidad Complutense de Madrid, Spain.
* Stefano Tonetta. Fondazione Bruno Kressler, Italy.
* Catia Trubiani. Gran Sasso Science Institute, Italy.
* Xavier Zeitoun. Institut CARNOT CEA LIST, France.

Accepted papers will be jointly included in the proceedings of the SEFM conference, i.e., revised selected
papers will be published as post-proceedings in Springer Lecture Notes in
Computer Science (LNCS) series ( PDF versions of papers should be submitted through EasyChair submission system ( Papers must be written in English and the maximum size is 15 pages using the Springer LNCS
author's guidelines ( If you submit a paper and it gets accepted, at least one of the (co)author(s) is expected to be present at the workshop to present the paper. All papers submitted to the workshop must be unpublished original work and should not be under review or submitted elsewhere while being under consideration.

Submitted papers will be reviewed by 3 members of Program Committee
(or their sub-reviewers) and selection of accepted papers will based on
relevance, quality and originality of the submitted papers.

Extended versions of selected papers will be invited to submit to a Special Issue in Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability (SAGE, print ISSN: 1748-006X).

Related Resources

ICFEM 2017   19th International Conference on Formal Engineering Methods
ICONIP 2017   International Conference on Neural Information Processing
FMCAD 2017   Formal Methods in Computer-Aided Design
DMCIT 2017   ACM-2017 International Conference on Data Mining, Communications and Information Technology(DMCIT 2017)--EI
MEMOCODE 2017   15th ACM/IEEE International Conference on Formal Methods and Models for System Design
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
ACML 2017   The 9th Asian Conference on Machine Learning
FACS 2017   14th International Conference on Formal Aspects of Component Software
SETTA 2017   3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications