Mapping an embedded hard real-time systems SDL specification to an analyzable task network — A case study
It is undoubtedly true, that the usage of a formal specification methodology in software design will reduce the development effort, particularly as embedded hard real-time systems show increasing functional complexity. We suggest the use of the language SDL even for the design of real-time systems with hard timing constraints. Emerging problems, caused by the non-deterministic semantics of SDL, can be solved by adding EDF process activation to the SDL system model. This paper describes the different steps necessary to map a SDL system specification to an analyzable task network. Considering a SDL process as a typical server process, the mapping rules are resolving the resulting interdependencies and delays, caused by possible priority inversion and blocking. Finally the study of an application example, the “Mine Control System” proofs the usabilty of the introduced methods.
Keywordshard real-time schedulability analysis design methodology Specification and Description Language SDL EDF
Unable to display preview. Download preview PDF.
- ITU-T. ITU-T Recommendation Z.100: CCITT Specification and Description Language (SDL), June 1994.Google Scholar
- Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., 605 Third Avenue, New York, 1994.Google Scholar
- ITU-T. ITU-T Recommendation Z.120: Message Sequence Chart (MSC), September 1994.Google Scholar
- Georg Färber, Franz Fischer, Thomas Kolloch, and Annette Muth. Improving processor utilization with a task classification model based application specific hard real-time architecture. In Proceedings of the 1997 International Workshop on Real-Time Computing Systems and Applications (RTCSA’97), Academia Sinica, Taipei, Taiwan, ROC, October 27–29 1997.Google Scholar
- Franz Fischer, Thomas Kolloch, Annette Muth, and Georg Färber. A configurable target architecture for rapid prototyping high performance control systems. In Hamid R. Arabnia et al., editors, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA’97), volume 3, pages 1382–1390, Las Vegas, Nevada, USA, June 30–July 3 1997.Google Scholar
- Franz Fischer, Annette Muth, and Georg Färber. Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment. In Proceedings of the 6th International Workshop on Hardware/Software Co-Design — Codes/CASHE ’98, pages 35–39, Seattle, Washington, USA, 15–18 March 1998. IEEE, IEEE Computer Society Press.Google Scholar
- Alan Burns and Andy Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier Science B. V., Amsterdam, The Netherlands, 1995.Google Scholar
- M. Saksena, P. Freedman, and P. Rodziewicz. Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS’97), San Francisco, California, December 2–5 1997. IEEE Computer Society Press.Google Scholar
- Marc Diefenbruch, Elke Heck, Jörg Hintelmann, and Bruno Müller-Clostermann. Performance evaluation of sdl systems adjunct by queueing models. In SDL’95 With MSC in CASE, Proceedings of the Seventh SDL Forum, pages 231–242, Oslo, Norway, September 1995.Google Scholar
- Klaus Gresser. Echtzeitnachweis ereignisgesteuerter Realzeitsysteme. Number 268 in Fortschrittsberichte VDI, Reihe 10. VDI-Verlag, Düsseldorf, 1993. Dissertation am Lehrstuhl für Prozessrechner, Technische Universität München.Google Scholar
- Klaus Gresser. An event model for deadline verification of hard real-time systems. In Proc. Fifth Euromicro Workshop on Real Time Systems, pages 118–123, Oulu, Finland, June 1993. IEEE.Google Scholar
- Ralf Henke, Hartmut König, and Andreas Mitschele-Thiel. Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. In Proceeding of the Eighth SDL Forum, SDL’97 Time for Testing SDL, MSC and Trends, pages 397–414, Evry, France, September 1997. Elsevier Science Publishers B.V.Google Scholar