Developing safety-critical real-time systems with SDL design patterns and components

Authors:
Ingmar Fliege;Alexander Geraldy;Reinhard Gotzhein;Thomas Kuhn;Christian Webel
Affiliations:
Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany;Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany;Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany;Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany;Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Year:
2005

Citing 14
Cited 0

Methodology for real time systems

Computer Networks and ISDN Systems - Special issue on SDL and MSC
The SDL pattern approach — a reuse-driven SDL design methodology

Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications
Frameworks by means of virtual types - exemplified by SDL

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
SDL-Pattern based Development of a Communication Subsystem for CAN

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern

FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Design of self-managing dependable systems with UML and fault tolerance patterns

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Using SDL for modeling behavior composition

SDL'03 Proceedings of the 11th international conference on System design
Industrial application of the SDL-pattern approach in UMTS call processing development: experience and quantitative assessment

SDL'03 Proceedings of the 11th international conference on System design
Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Micro protocol design: the SNMP case study

SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Applying eODL and SDL-patterns for developing TMN managed systems

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
A flexible micro protocol framework

SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling

Quantified Score

Hi-index	0.00

Visualization

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.