SASSUR 2015

4th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems – SASSUR-2015

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

Submission Guidelines

  • All papers (position papers max. 8 pages, full technical papers max 12 pages) must be original work not published before or in submission elsewhere. All papers should be submitted only in PDF.
  • Papers will be peer-reviewed, and accepted papers will be published in the SAFECOMP 2015 Workshop proceedings published by Springer in the LNCS series.
  • For paper submission the same formatting rules as for SAFECOMP papers apply (see http://safecomp2015.tudelft.nl/paper-submission-details).

The PDF version of the Call for Papers for the workshop can be downloaded here.

This workshop is supported by SafeAdapt project (www.safeadapt.eu/)

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, Simula Research Laboratory, 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, Luxemburg

Important dates

Paper submission: May 29, 2015 [extended deadline!]
Author notification: June 15, 2015
Camera-ready Papers: June 28, 2015

Workshop: September 22, 2015

Programme SASSUR 2015 workshop

  • SASSUR 2015 Workshop (Programme)