Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Conditional safety certificates in open systems

: Schneider, Daniel; Trapp, Mario


Association for Computing Machinery -ACM-:
1st Workshop on critical automotive applications. Robustness & safety, CARS 2010. Proceedings : 27 April 2010, Valencia, Spain
New York: ACM, 2010
ISBN: 978-1-60558-915-2
Workshop on Critical Automotive Applications - Robustness & Safety (CARS) <1, 2010, Valencia>
European Dependable Computing Conference (EDCC) <8, 2010, Valencia>
Fraunhofer IESE ()
software design; reliability; ad-hoc system; adaptivity; safety

In the wake of current computing trends like Ubiquitous Computing, Ambient Intelligence and Cyber Physical Systems, new application domains like Car2Car emerged. One key characteristic of these new application domains is their openness with respect to dynamic integration of devices and components. It is obvious that traditional safety assurance techniques, both state of the practice and state of the art, are not sufficient in this context. A possible solution approach would be to shift portions of the safety assurance process into run time. This can be reached by the integration of appropriate run time safety models and corresponding dynamic evaluation mechanisms. In this paper we sketch out our recent work on conditional safety certificates, which facilitate such dynamic safety evaluation. We conclude with a brief discussion and state promising research directions for the future.