liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Components, Safety Interfaces, and Compositional Analysis
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
2007 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

Component-based software development has emerged as a promising approach for developing complex software systems by composing smaller independently developed components into larger component assemblies. This approach offers means to increase software reuse, achieve higher flexibility and shorter time-to-market by the use of off-the-shelf components (COTS). However, the use of COTS in safety-critical system is highly unexplored.

This thesis addresses the problems appearing in component-based development of safety-critical systems. We aim at efficient reasoning about safety at system level while adding or replacing components. For safety-related reasoning it does not suffice to consider functioning components in their intended environments but also the behaviour of components in presence of single or multiple faults. Our contribution is a formal component model that includes the notion of a safety interface. It describes how the component behaves with respect to violation of a given system-level property in presence of faults in its environment. This approach also provides a link between formal analysis of components in safety-critical systems and the traditional engineering processes supported by model-based development.

We also present an algorithm for deriving safety interfaces given a particular safety property and fault modes for the component. The safety interface is then used in a method proposed for compositional reasoning about component assemblies. Instead of reasoning about the effect of faults on the composed system, we suggest analysis of fault tolerance through pair wise analysis based on safety interfaces.

The framework is demonstrated as a proof-of-concept in two case studies; a hydraulic system from the aerospace industry and an adaptive cruise controller from the automotive industry. The case studies have shown that a more efficient system-level safety analysis can be performed using the safety interfaces.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press , 2007. , 136 p.
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1317
Keyword [en]
Component-based system development, safety-critical systems, safety interfaces, compositional analysis, modelbased development
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-57490Local ID: LiU-Tek-Lic-2007:26ISBN: 978-91-85831-66-1 (print)OAI: oai:DiVA.org:liu-57490DiVA: diva2:325946
Presentation
2007-06-07, Visionen, hus B, Campus Valla, Linköpings universitet, Linköping, 10:15
Supervisors
Available from: 2010-06-21 Created: 2010-06-21 Last updated: 2013-12-17Bibliographically approved

Open Access in DiVA

Components, Safety Interfaces, and Compositional Analysis(599 kB)1014 downloads
File information
File name FULLTEXT01.pdfFile size 599 kBChecksum SHA-512
dcf498844b96fe5567b580b3c83389442a2494d4c2c1e8eea5d732d5605fd2b37b0457aa5c396ee229bc12b84723f3de7687677854a800073424113368ceb69a
Type fulltextMimetype application/pdf
Cover(28 kB)21 downloads
File information
File name COVER01.pdfFile size 28 kBChecksum SHA-512
aeee810f021a0f00e7a33da7b56439538e1b7950b31b01814fdd89f885ca7fe99e0c8e425c33655e8303e86c97aa7b42026c3e7f6a038d53aff2f29236b24f3e
Type coverMimetype application/pdf

By organisation
Department of Computer and Information ScienceThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 1014 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 343 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf