Title
Developing safety-critical real-time systems with SDL design patterns and components
Abstract
SDL is a system design language for the development of distributed systems, including real-time systems. In this paper, 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.
Year
DOI
Venue
2005
10.1016/j.comnet.2005.05.003
Computer Networks
Keywords
DocType
Volume
Distributed systems engineering,SDL,Reuse,Design pattern,Design component,Reliability,Safety,Real-time system
Journal
49
Issue
ISSN
Citations 
5
Computer Networks
8
PageRank 
References 
Authors
0.81
14
5
Name
Order
Citations
PageRank
Ingmar Fliege1272.82
Alexander Geraldy2354.72
Reinhard Gotzhein346571.44
Thomas Kuhn49016.33
Christian Webel5313.78