Composable safety-critical systems based on pre-certified software components
2012 (English)In: Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, 2012, , p. 343-348p. 343-348Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
2012. , p. 343-348p. 343-348
Keywords [en]
Contract, Reusability, Safety-critical, Software component
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-12512DOI: 10.1109/ISSREW.2012.83Scopus ID: 2-s2.0-84873387602Local ID: 23923OAI: oai:DiVA.org:ri-12512DiVA, id: diva2:970336
Conference
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012; Dallas, TX; United States; 27-30 Nov., 2012
2016-09-132016-09-132021-01-08Bibliographically approved