Advertisement

Introduction to Sassur 2012

  • Alejandra Ruiz
  • Tim P. Kelly
  • Mehrdad Sabetzadeh
  • Didier Van Den Abeele
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7613)

Abstract

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.

Keywords

Fault Injection Multicore Architecture Safety Case WCET Analysis Bayesian Belief Network Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Alejandra Ruiz
    • 1
  • Tim P. Kelly
    • 2
  • Mehrdad Sabetzadeh
    • 3
  • Didier Van Den Abeele
    • 4
  1. 1.ICT-European Software InstituteTECNALIAZamudioSpain
  2. 2.Department of Computer ScienceUniversity of YorkYorkUnited Kingdom
  3. 3.Simula Research LaboratoryNorway
  4. 4.Alstom TransportFrance

Personalised recommendations