Paper Info
Title
Composable Safety-Critical Systems Based on Pre-certified Software Components
Abstract
When designing safety critical and software intensive embedded systems, extensive development processes have to be followed in order to ensure that the software corresponds with the software safety requirement specification. This paper describes a study performed to investigate how to use a component based approach in order to reduce the requirements of the development processes for safety critical embedded systems. Focus is on certification of individual software components by the use of integrity contracts and how this enables software component composition and re-usability, particularly between different domains. The use of our approach in system design may reduce the effort required for an assessor in certifying an entire safety critical system.
Year
DOI
Venue
2012
10.1109/ISSREW.2012.83
Software Reliability Engineering Workshops
Keywords
DocType
ISSN
pre-certified software components,extensive development process,safety critical embedded system,critical system,composable safety-critical systems,development process,entire safety,software safety requirement specification,software component composition,software corresponds,individual software component,software intensive embedded system,embedded systems,certification
Conference
1071-9458
ISBN
Citations 
PageRank 
978-1-4673-5048-8
4
0.44
References 
Authors
1
2
Name
Order
Citations
PageRank
Andreas Söderberg190.95
Benjamin Vedder271.84