Next Generation of System Assurance Approaches for Safety-Critical Systems

On-line proceedings

HAL collection of papers presented in SASSUR:

Program (Workshop venue: Europe Room)

9:00-9:15 Welcome

9:15-10:00 Keynote: "Conformance cases: the approach and experiences." Prof. Janusz Gorski (Gdansk University of Technology, Poland)

10:00-10:30 "Design of a CDD-based Fault-injection Framework for AUTOSAR Systems". As'Ad Salkham, Antonio Pecchia and Nuno Silva.

10:30-11:00 "Software Composability and Mixed Criticality for Triple Modular Redundant Architectures". Stefan Resch, Andreas Steininger and Christoph Scherrer.

11:00-11:30 Break

11:30-11:45 "Principled Construction of Software Safety Cases". Richard Hawkins, Ibrahim Habli and Tim Kelly.

11:45-12:15 "Confidence in Timing". Daniel Kästner and Christian Ferdinand.

12:15-12:30 "Adaptive Safety Arguments and Explanation-Based Learning". Matthew Timperley, Maizura Mokhtar and Joe Howe

12:30-14:00 Lunch

14:00-14:15 "Towards a multi-view point safety contract". Alejandra Ruiz, Tim Kelly and Huascar Espinoza

14:15-14:45 "AARL: A Criterion for Composable Safety and Systems Engineering". Eric Verhulst, Jose Luis de La Vara, Vincenzo de Florio and Bernhard Sputh.

14:45-15:15 "VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines". Barbara Gallina, Antonio Gallucci, Kristina Lundqvist and Mattias Nyberg.

15:30-16:00 Break

16:00-17:15 Industrial Panel

17:15-17:30 Wrap up

18:30: Welcome cocktail, Toulouse Cityhall (Capitole) - Salle des Illustres


Alejandra Ruiz - Tecnalia Research & Innovation, Spain

Tim Kelly – University of York, UK

Jose Luis de la Vara – Simula Research Laboratory, Norway

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 process has 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 forum 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 applications 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
• 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 and certification
• Case-based assurance approaches
• Tools for supporting of safety assurance
• Seamless development tool chain for safety critical
• Evolution of standards and trends on transport regulation
• The next challenges of safety critical development in industry
• Human factors in safety assurance and certification
• COTS or external sourcing management of evidence in safety critical system
• Mixed criticality

Workshop Committees

Steering Committee
- John Favaro, Intecs, Italy
- Huascar Espinoza, TECNALIA, Spain
- Javier Diaz, University of Granada, Spain
- Fabien Belmonte, Alstom, France
- Fulvio Tagliabò, Centro Ricerche FIAT, Italy

Program Committee
- Marc born, ikv++, Germany
- Kenji Taguchi, AIST, Japan
- Martin Wassmuth, EADS, Germany
- Paolo Panaroni, Intecs, Italy
- Daniela Cancila, CEA, France
- Ronald Blanrue, EADS/Eurocopter, France
- Jurgen Niehaus, SafeTrans, Germany
- Paolo Panaroni, Intecs, Italy
- Sunil Nair, Simula Research Laboratory, Norway
- Mehrdad Sabetzadeh, University of Luxemburg, Luxemburg
- Ibrahim Habli, University of York, UK
- Markus Borg, Lund University, Sweden
- Ji Wu, Beihang University, China
- Sergio Campos, Tecnalia, Spain

Important dates
Paper submissions: May 26th, 2013 (extended) May 17th, 2013
Notification of authors: June 10th, 2013
Camera ready paper: June 28th, 2013
Workshop: September 24th, 2013

Submission Guidelines
Attendees are invited to submit a short position paper (max. 5 pages) or a full technical contribution (max. 12 pages) written in English in PDF format using Easychair System

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. If accepted for presentation, they will be also published as workshop proceedings articles (printed by the organizers and available electronically as well). The workshop papers will be published in a dedicated volume edited by CNRS and distributed to participants during the workshop.

The workshop papers will also be published online on the HAL/Arxiv open publication site.

The authors will be notified about acceptance before the SAFECOMP 2013 early registration deadline.

Registration Fees
The workshop will be free to SAFECOMP registered participants. For people willing to attend the workshop only, a fee of about 150€ will be required to cover publication, lunch and the accompanying cocktail fees at the end of the day