[SystemSafety] Another academic safety workshop

From: Peter Bernard Ladkin < >
Date: Wed, 14 Jan 2015 10:05:26 +0100

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


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


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

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 include, but are not limited to, formal languages and verification techniques for:

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

w:Â http://www.ricardojrodriguez.es
PGP keyId: 0x4E066F1F

_______________________________________________ The System Safety Mailing List systemsafety_at_xxxxxx
Received on Wed Jan 14 2015 - 10:05:39 CET

This archive was generated by hypermail 2.3.0 : Mon Apr 22 2019 - 22:17:06 CEST