Developing Safety-Critical Real-Time Systems with SDL Design Patterns and Components

I. Fliege, A. Geraldy, R. Gotzhein, T. Kuhn, C. Webel

Computer Networks (Elsevier), Vol. 49, No. 5, Dec 2005, pp. 689-706

Zusammenfassung

SDL is a system design language for the development of distributed systems, including real-time systems. In this contribution, we apply SDL to capture design solutions found in safety-critical real-time systems. In particular, we present a methodology to augment system safety step-by-step, and systematically define and apply reusable design solutions for safety-critical real-time systems, expressed as SDL design patterns and components. These solutions can be added to real-time system designs, to protect against certain types of system failures. We illustrate the approach by the definition of reusable solutions for the detection of fail-silent nodes - a watchdog and a heartbeat - and their application to a distributed airship flight-control system.





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.