Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study

@inproceedings{Kolloch1998MappingAE,
  title={Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study},
  author={Thomas Kolloch and Georg F{\"a}rber},
  booktitle={LCTES},
  year={1998}
}
It is undoubtedly true, that the usage of a formal speciica-tion methodology in software design will reduce the development eeort, 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… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 10 references

HRT-HOOD: A structured design method for hard real-time systems

Real-Time Systems • 1994
View 5 Excerpts
Highly Influenced

Real-time object-oriented modeling

Wiley professional computing • 1994
View 7 Excerpts
Highly Influenced

Derivation of e cient implementations from SDL speci cations employing data referencing, integrated packet framing and activity threads

Ralf Henke, Hartmut Konig, Andreas Mitschele-Thiel
In Proceeding of the Eighth SDL Forum, • 1997

uller{Clostermann. Performance evaluation of sdl systems adjunct by queueing models

Marc Diefenbruch, Elke Heck, Jorg Hintelmann, M Bruno
With MSC in CASE, Proceedings of the Seventh SDL Forum, • 1995
View 2 Excerpts

An Event Model for Deadline Verification of Hard Real-Time Systems

Fifth Euromicro Workshop on Real-Time Systems • 1993
View 1 Excerpt

Similar Papers

Loading similar papers…