[SystemSafety] Another academic safety workshop

[Peter Bernard Ladkin]

Is it just me, or are others sceptical about a - yet another - workshop on safety which has only
academics on the PC?

PBL

-------- Forwarded Message --------
Subject: 	SaFoMe 2015 - 1st Call for Papers (June 22, 2015 -- co-located with FM2015)
Date: 	Tue, 13 Jan 2015 09:01:47 +0100
From: 	Announcements of FME events <events at fmeurope.org>
Reply-To: 	events at fmeurope.org
To: 	RICARDO JULIO RODRIGUEZ FERNANDEZ <rj.rodriguez at unileon.es>
CC: 	Stefano Tonetta <tonettas at fbk.eu>



[Apologies for cross-posting]
[Please forward to colleagues who might be interested]

SaFoMe 2015 - CALL FOR PAPERS

******************************************************************
2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015
Co-located with FM 2015: 20th International Symposium on Formal Methods (http://fm2015.ifi.uio.no)
June 22-26, 2015 -- Oslo, Norway

Workshop will take place on June 22, 2015

Web: https://es-static.fbk.eu/events/safome15
For more information: tonettas[at]fbk[dot]eu and rj[dot]rodriguez[at]unileon[dot]es
******************************************************************

*** IMPORTANT DATES ***Â
Paper Submission: March 24, 2015
Notification of Acceptance: April 30, 2015
Camera-ready Paper Due: May 15, 2015

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

*** PROGRAMME COMMITTEE ***Â
* Thomas Arts, Quviq (Sweden)
* Clara Benac Earle, Universidad Politécnica de Madrid (Spain)
* Marius Bozga, VERIMAG (France)
* Hans Hansson, Mälardalen University (Sweden)
* Elena Gómez-Martínez, Universidad Politécnica de Madrid (Spain)
* Thomas Noll, RWTH Aachen University (Germany)
* Peter Csaba Ölveczky, University of Oslo (Norway)Â
* Cristian Prisacariu, University of Oslo (Norway)
* Ricardo J. Rodríguez, Universidad de León (Spain) [PC co-chair]
* Kristin Rozier, NASA/Cincinnati University (USA)
* Harald Ruess, fortiss (Germany)
* Wilfried Steiner, TTTech (Austria)
* Stefano Tonetta, Fondazione Bruno Kessler (Italy) [PC co-chair]
* Catia Trubiani, Gran Sasso Science Institute (Italy)

*** SUBMISSION ***Â
Accepted papers will be informally published in conference proceedings.Â
PDF versions of papers should be submitted through EasyChairÂ
submission systemÂ
(https://easychair.org/conferences/?conf=safome15). The maximum sizeÂ
is 14 pages using the Springer LNCS
author's guidelineÂ
(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).Â
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.

Submitted papers will be reviewed by three 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 contributions will be submitted
to a Special Issue in Proceedings of the Institution of Mechanical
Engineers, Part O: Journal of Risk and Reliability (SAGE, print ISSN:
1748-006X) URL: http://pio.sagepub.com/ (under negotiation).

Best regards,
-- 
Dr. Ricardo J. Rodríguez
    Instituto de Ciencias Aplicadas a la Ciberseguridad
    Universidad de León, Spain
    Tel: (+34) 987 877 189 (ext. #3070)
    Fax: (+34) 987 261 016

e:Â rj.rodriguez at unileon.es <mailto:rj.rodriguez at unileon.es>
w:Â http://www.ricardojrodriguez.es
PGP keyId: 0x4E066F1F


-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events