Annotation of component specifications with modular analysis models for safety properties (2003)
| Venue: | In: Proceedings of the 1st International Workshop on Component Engineering Methodology (WCEM |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Grunske03annotationof,
author = {Lars Grunske},
title = {Annotation of component specifications with modular analysis models for safety properties},
booktitle = {In: Proceedings of the 1st International Workshop on Component Engineering Methodology (WCEM},
year = {2003},
pages = {737--738}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The application of component based software engineering techniques in safety critical technical systems has increased due to economic reasons. This leads to the problem how to analyze the safety properties, because the failure types and their probabilities of especially COTS-components are potentially unknown. We propose to annotate components with encapsulated fault trees and basic failure probabilities. Based on this information and the structure specification an automated safety analysis is possible. 1
