Kaiserslautern - Fachbereich Informatik
Refine
Year of publication
- 2004 (1)
Document Type
- Report (1)
Language
- English (1) (remove)
Has Fulltext
- yes (1)
Faculty / Organisational entity
We present a methodology to augment system safety step-by-step and illustrate the approach by the definition of reusable solutions for the detection of fail-silent nodes - a watchdog and a heartbeat. These solutions can be added to real-time system designs, to protect against certain types of system failures. We use SDL as a system design language for the development of distributed systems, including real-time systems.