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

Computer Networks

Volumn 49, Issue 5, 2005, Pages 689-706

  Fliege, Ingmar ^a   Geraldy, Alexander ^a   Gotzhein, Reinhard ^a,b   Kuhn, Thomas ^a   Webel, Christian ^a  

^a France   (Germany)

^b Networked Systems Research Group   (Germany)

Author keywords

Design component; Design pattern; Distributed systems engineering; Real time system; Reliability; Reuse; Safety; SDL

Indexed keywords

DESIGN COMPONENT; DESIGN PATTERN; DISTRIBUTED SYSTEMS ENGINEERING; REUSE; SDL;

ACCIDENT PREVENTION; DISTRIBUTED COMPUTER SYSTEMS; RELIABILITY;

REAL TIME SYSTEMS;

EID: 25444435442     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.comnet.2005.05.003     Document Type: Conference Paper

References (26)

1. H. Kopetz Real-time Systems-design Principles for Distributed Embedded Applications 1997 Kluwer Academic Publishers
2. ITU-T Recommendation Z,100: Languages for telecommunications applications-specification and description language (SDL), International Telecommunication Union, Geneva, 1999.
3. ITU-T Recommendation Z.100 Annex F: SDL formal semantics definition, International Telecommunications Union, Geneva, 2000.
4. E. Sherratt Telecommunications and Beyond: The Broader Applicability of SDL, MSC Lecture Notes in Computer Science (LNCS) 2599 2003 Springer
5. R. Bræk, and B. Møller-Pedersen Frameworks by means of virtual types-exemplified by SDL Formal Description Techniques and Protocol Specification, Testing, and Verification S Budkowski A. Cavalli E. Najm Proceedings of FORTE/PSTV'98 1998 Kluwer Academic Publishers Boston 181 196
6. B. Geppert, R. Gotzhein, and F. Rößler Configuring communication protocols using SDL patterns SDL'97-time for Testing A. Cavalli A. Sarma Proceedings of the 8th SDL Forum 1997 Amsterdam, Elsevier 523 538
7. R. Gotzhein, F. Khendek, and P. Schaible Micro protocol design: The SNMP case study Telecommunications and Beyond: The Broader Applicability of SDL and MSC E. Sherratt Lecture Notes in Computer Science 2599 2003 Springer 61 73
8. I. Fliege, A. Geraldy, R. Gotzhein, P. Schaible, A flexible micro protocol framework, in: D. Amyot, A.W. Williams (Eds.), SAM 2004: SDL and MSC, Fourth International Workshop, Ottawa, Canada, June 2-4, 2004, Revised Papers, Lecture Notes in Computer Science 3319, 2004, pp. 231-244.
9. R. Bræk, and Ø. Haugen Engineering Real Time Systems 1993 Prentice Hall London
10. J. Floch, and R. Bræk Using SDL for modeling behavior composition SDL 2003 R. Reed Lecture Notes in Computer Science 2708 2003 Springer 36 54
11. F. Rößler, B. Geppert, and P. Schaible Re-engineering of the internet stream protocol ST2+ with formalized design patterns Proceedings of the 5th International Conference on Software Reuse (ICSR5) 1998 Victoria Canada
12. B. Geppert, A. Kühlmeyer, F. Rößler, and M. Schneider SDL pattern-based development of a communication subsystem for CAN Formal Description Techniques and Protocol Specification, Testing, and Verification S. Budkowski A. Cavalli E. Najm Proceedings of FORTE/PSTV'98 1998 Kluwer Academic Publishers Boston 197 212
13. M. de Cabo, M. Rodriguez, Applying eODL and SDL-patterns for developing TMN managed systems, in: D. Amyot, A.W. Williams (Eds.), SAM 2004: SDL and MSC, Fourth International Workshop, Ottawa, Canada, June 2-4, 2004, Revised Papers, Lecture Notes in Computer Science 3319, 2004, pp. 35-52.
14. R. Grammes, R. Gotzhein, C. Mahr, P. Schaible, H. Schleiffer, Industrial application of the SDL-pattern approach in UMTS call processing development-experience and quantitative assessment, in: 11th SDL Forum (SDL'2003), Stuttgart, Germany, July 1-4, 2003.
15. M. Tichy, D., H. Giese, Design of self-managing dependable systems with UML and fault tolerance patterns, in: Proceedings of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, October 2004.
16. Telelogic: Tau 3.4 SDT Methodology Guidelines-Part 1: The SOMT Method, 1998.
17. R. Reed Methodology for real time systems, computer networks and ISDN systems SDL and MSC (Special Issue) 28 1996 1685 1701
18. Computer Networks Group: The SDL Pattern Pool, Online document, University of Kaiserslautern, Kaiserslautern, Germany, 2002 (available on request).
19. Unified Modeling Language Resource Page, Available from: < http://www.uml.org >.
20. ITU-T Recommendation Z.120 (11/99)-Message Sequence Chart (MSC), International Telecommunication Union (ITU), 2000.
21. R. Gotzhein, Vertical reuse in the development of distributed systems with FDTs, in: International Conference on Application of Formal Description Techniques in Internet and Communication Domains (FORTE'2003), Lecture Notes in Computer Science 2767, 2003, pp. 31-47.
22. R. Gotzhein, M. Kronenburg, and C. Peper Reuse in requirements engineering: Discovery and application of a real-time requirement pattern 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98) Lecture Notes in Computer Science 1486 1998 Springer 65 74
23. C. Webel, I. Fliege, SDL Design Patterns and Components-Watchdog and Heartbeat, Technical Report 335/04, University of Kaiserslautern, 2004.
24. B. Geppert, The SDL-pattern approach-a reuse-driven SDL methodology for designing communication software systems, PhD Thesis, University of Kaiserslautern, Germany, 2000.
25. R. Gotzhein Consolidating and applying the SDL-pattern approach: A detailed case study Information and software technology vol. 45 2003 Elsevier Sciences pp. 727-741
26. C. Webel, Development and integration of QoS micro protocols for controlling an airship via WLAN, Master Thesis, Computer Networks Group, University of Kaiserslautern, Kaiserslautern, Germany, June 2004 (in german).