[SystemSafety] CFP: SASSUR 2015

From: Jose Luis de la Vara < >
Date: Thu, 16 Apr 2015 20:58:46 +0200

(Apologies for cross-postings)

4th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2015; http://safecomp2015.tudelft.nl/sassur-2015) Delft, the Netherlands, September 22th, 2015 In conjunction with the 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2015; http://safecomp2015.tudelft.nl/)

Safety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical systems. The increasing complexity and size of these systems combined with their growing market demand requires the industry to implement a coherent reuse strategy. A key difficulty appears when trying to reuse products from one application domain in another, because different domains are subject to different safety regulations. Subsequently, for a reused product, the full safety assurance and certification processes have to be applied, just as for a new product. This reduces the return on investment of such reuse. Further, market trends strongly suggest that many future safety-critical systems will be comprised of heterogeneous, dynamic coalitions of systems of systems. For this type of systems, it is crucial to develop sound strategies that would allow safety assurance and certification to be done compositionally. The SASSUR workshop is intended to explore new ideas on compositional and evolutionary safety assurance and certification. In particular, SASSUR will provide a platform for thematic presentations and in-depth discussions about reuse and composition of safety arguments, safety evidence and contextual information about system components, in a way that makes assurance and certification more cost-effective, precise, and scalable. SASSUR aims at bringing together experts, researchers, and practitioners from diverse communities, such as safety and security engineering, certification processes, model-based technologies, software and hardware design, safety-critical systems, and application communities (railway, aerospace, automotive, health, industrial manufacturing, etc.).

Contributions are sought in (but are not limited to) the following topics:
- Industrial challenges for cost-effective safety assurance and certification

Paper submission: May 22nd, 2015
Notification: June 15th, 2015
Camera ready: June 28th, 2015

Authors are invited to submit position papers (max. 8 pages) or full technical contributions (max. 12 pages) written in English in PDF format using Easychair (https://easychair.org/conferences/?conf=safecomp2015; selecting the 4th Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems). Submissions must conform to the Springer LNCS formatting guidelines. Papers will be peer-reviewed by at least three members of the steering and programme committees. Accepted papers will be published in the SAFECOMP 2015 Workshop Proceedings, to be published by Springer in the Lecture Notes in Computer Science (LNCS) Series.

Workshop Organizers
- Alejandra Ruiz, TECNALIA, Spain

Received on Thu Apr 16 2015 - 20:59:29 CEST

This archive was generated by hypermail 2.3.0 : Sat Feb 16 2019 - 18:17:07 CET