DMCA
Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study (1998)
| Venue: | SOI Bulletin, Spring |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Kolloch98mappingan,
author = {Thomas Kolloch and Georg Färber},
title = {Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study},
booktitle = {SOI Bulletin, Spring},
year = {1998},
pages = {156--165},
publisher = {Springer-- Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
. 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. Keywords: hard real--time, schedulability analysis, design methodology, Specification and Description Langu...
Keyphrases
analyzable task network case study real time system functional complexity possible priority inversion formal specification methodology introduced method mapping rule language sdl analyzable task network mine control system sdl system specification software design schedulability analysis sdl process development effort description langu different step sdl system model non deterministic semantics typical server process hard timing constraint design methodology hard real time application example edf process activation
