Mapping an embedded hard real-time systems SDL specification to an analyzable task network a case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1474, Issue , 1998, Pages 156-165

  Kolloch, Thomas ^a   Färber, Georg ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Design methodology; EDF; Hard real time; Schedulability analysis; Specification and description language SDL

Indexed keywords

COMPLEX NETWORKS; COMPUTATIONAL LINGUISTICS; EMBEDDED SYSTEMS; FORMAL METHODS; FORMAL SPECIFICATION; INTERACTIVE COMPUTER SYSTEMS; MAPPING; PROGRAM COMPILERS; SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS;

APPLICATION EXAMPLES; DESIGN METHODOLOGY; DETERMINISTIC SEMANTICS; EMBEDDED HARD REAL-TIME SYSTEM; FUNCTIONAL COMPLEXITY; HARD REAL-TIME; SCHEDULABILITY ANALYSIS; SPECIFICATION METHODOLOGIES;

REAL TIME SYSTEMS;

EID: 83755226808     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0057788     Document Type: Conference Paper

References (12)

1. ITU-T. ITU-T Recommendation Z.l00: CCITT Specification and Description Language (SDL), June 1994.
2. Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., 605 Third Avenue, New York, 1994.
3. ITU-T. ITU-T Recommendation g.120: Message Sequence Chart (MEG), September 1994.
4. 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 (RTGSA '97), Academia Sinica, Taipei, Taiwan, ROC, October 27-29 1997.
5. 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 Gonference on Parallel and Distributed Processing Techniques and Applications (PDPTA '97), volume 3, pages 1382-1390, Las Vegas, Nevada, USA, June 30 - July 3 1997.
6. Franz Fischer, Annette Muth, and Georg Fiixber. Towards interprocess communication and interface synthesis for a heterogeneous real-time rapid prototyping environment. In Proceedings o/the 6th International Workshop on Hardware/Software Go-Design -- Godes/GASHE '98, pages 35-39, Seattle, Washington, USA, 15-18 March 1998. IEEE, IEEE Computer Society Press.
7. 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.
8. 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/BEE Real-Time Systems Symposium (RTSS'97), San Francisco, California, December 2-5 1997. IEEE Computer Society Press.
9. Marc Diefenbruch, Elke Heck, J5rg Hintelmann, and Bruno Miiller-Clostermann. Performance evaluation of sdl systems adjunct by queueing models. In SDL'95 With MSG in CASE, Proceedings of the Seventh SDL Forum, pages 231-242, Oslo, Norway, September 1995.
10. Klaus Gresser. Echtzeitnachweis ereignisgesteuerter Realzeitsysteme. Number 268 in Fortschrittsberichte VDI, Reihe 10. VDI-Verlag, Diisseldorf, 1993. Dissertation am Lehrstuhl flit Prozessrechner, 2,echnische Universit~it Miinchen.
11. Klans 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.
12. Ralf Henke, Hartmut KSnig, 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.