[Apologies for cross-posting]
[Please forward to colleagues who might be interested]
SaFoMe 2014 - CALL FOR PAPERS
******************************************************************
1st International Workshop on Safety and Formal Methods
SaFoMe 2014
Co-located with the 12th International Conference on Software
Engineering and Formal Methods, http://sefm2014.inria.fr/
September 1-5, 2014,
Grenoble, France
Web: babel.ls.fi.upm.es/safome2014/
For more information: [email protected]
******************************************************************
*** IMPORTANT DATES ***
Abstract Submission: April 11, 2014
Paper Submission: April 18, 2014
Notification of Acceptance: June 13, 2014
Camera-ready Paper Due: June 30, 2014
*** OVERVIEW ***
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 http://www.artemis-ju.eu/).
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 {\em 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 ***
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 contacts 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.
*** PROGRAMME COMMITTEE ***
* 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. Università degli Studi dell'Aquila, Italy.
* Xavier Zeitoun. Institut CARNOT CEA LIST, France.
*** SUBMISSION ***
Accepted papers will be jointly included in the proceedings of the
SEFM conference (under negotiation with Springer). PDF versions of
papers should be submitted trough EasyChair submission system
(https://www.easychair.org/conferences/?conf=safome2014). Papers must
be written in English and the maximum size is 15 pages using the LNCS
Formatting 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.
The paper selection process will be peer review and 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).
#######
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
