[SystemSafety] CFP: SASSUR 2015

[Jose Luis de la Vara]

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

TOPICS
Contributions are sought in (but are not limited to) the following topics:
- Industrial challenges for cost-effective safety assurance and certification
- Cross-domain product certification
- Integration of process-centric and product-centric assurance
- Compliance management of standards and regulations
- Evidence traceability
- Transparency of the safety assurance and certification processes: metrics and business cases
- Evolutionary approaches for safety and security assurance
- Case-based assurance approaches
- Tools for supporting safety assurance 
- Seamless development tool chain for safety-critical systems
- Evolution of standards and trends on transport regulation
- The next challenges in industry for safety-critical system development
- Human factors in safety assurance and certification
- COTS or external sourcing management of evidence in safety-critical system
- Mixed-criticality system assurance
- Safety assurance on adaptive systems

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

INFORMATION FOR AUTHORS
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.

ORGANIZATION
Workshop Organizers
- Alejandra Ruiz, TECNALIA, Spain
- Tim Kelly, University of York, UK 
- Jose Luis de la Vara,  Universidad Carlos III de Madrid, Spain
Steering Committee
- John Favaro, Intecs, Italy
- Huascar Espinoza, TECNALIA, Spain
- Fabien Belmonte, RATP : Régie Autonome des Transports Parisiens, France 
Programme Committee 
- Marc Born, ikv++, Germany
- Kenji Taguchi, AIST, Japan
- Martin Wassmuth, EADS, Germany
- Daniela Cancila, CEA, France
- Ronald Blanrue, EADS/Eurocopter, France
- Paolo Panaroni, Intecs, Italy
- Sunil Nair, Institute for Energy Technology, Norway
- Ibrahim Habli, University of York, UK
- Gereon Weiß, Fraunhofer ESK, Germany
- Paolo Barbosa, Universidade Estadual da Paraiba, Brazil
- Ji Wu, Beihang University, China
- Markus Borg, Lund University, Sweeden
- Jurgen Niehaus, SafeTrans, Germany
- Ansgar Radermacher, CEA, France
- Michael Armbruster, Siemens,Germany
- Mehrdad Sabetzadeh, University of Luxemburg, Luxembourg