Challenges for an open and evolutionary approach to safety assurance and certification of safety-critical systems

Simple item page
dc.contributor.authorEspinoza, Huáscar
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorSabetzadeh, Mehrdad
dc.contributor.authorPanaroni, Paolo
dc.contributor.institutionTecnalia Research & Innovation
dc.contributor.institutionQuantum
dc.date.accessioned2024-07-24T11:55:40Z
dc.date.available2024-07-24T11:55:40Z
dc.date.issued2011
dc.description.abstractSafety assurance and certification are amongst the most expensive and time-consuming tasks in the development of safety-critical embedded systems. The increasing complexity and size of this kind of systems combined with the growing market demand requires the industry to implement a coherent reuse strategy. A major problem arises as typically a safety-critical product and accompanying safety evidence is monolithic, based on the whole product, and evolutions to the product become costly and time consuming because they entail regenerating the entire evidence-set. Another key difficulty appears when trying to reuse products from one application domain in another, because they are constrained by different standards and the full safety assurance certification process is applied as for a new product, thus reducing the return on investment of such reuse decision. This paper describes the current state on safety assurance and certification of embedded systems in the avionics, railway and automotive domains and then proposes some future directions for work in the area. In particular, we describe the need for a common certification framework that spans these different markets to improve mutual recognition agreement of safety approvals. We then discuss the need for new strategies focused on a compositional and evolutionary certification approach with the capability to reuse safety arguments, safety evidence, and context information about system components, in a way that makes certification more cost-effective, precise, and scalable.en
dc.description.statusPeer reviewed
dc.format.extent6
dc.identifier.citationEspinoza , H , Ruiz , A , Sabetzadeh , M & Panaroni , P 2011 , Challenges for an open and evolutionary approach to safety assurance and certification of safety-critical systems . in Proceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011 . , 6118522 , Proceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011 , pp. 1-6 , 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011 , Hiroshima , Japan , 29/11/11 . https://doi.org/10.1109/WoSoCER.2011.15
dc.identifier.citationconference
dc.identifier.doi10.1109/WoSoCER.2011.15
dc.identifier.isbn9780769546179
dc.identifier.urihttps://hdl.handle.net/11556/2540
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=84856113375&partnerID=8YFLogxK
dc.language.isoeng
dc.relation.ispartofProceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011
dc.relation.ispartofseriesProceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011
dc.relation.projectIDSeventh Framework Programme, FP7, 289011
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subject.keywordsautomotive
dc.subject.keywordsavionics
dc.subject.keywordsrailway
dc.subject.keywordssafety assurance
dc.subject.keywordssafety certification
dc.subject.keywordssafety critical systems
dc.subject.keywordsSoftware
dc.titleChallenges for an open and evolutionary approach to safety assurance and certification of safety-critical systemsen
dc.typeconference output
Files