Methodology for real time systems
Computer Networks and ISDN Systems - Special issue on SDL and MSC
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
SDL'03 Proceedings of the 11th international conference on System design
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
Building domain specific software architectures from software architectural design patterns
Proceedings of the 33rd International Conference on Software Engineering
Hi-index | 0.00 |
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.