@inproceedings{KorteS2007,
Author = {Korte, Mario and Slomka, Frank},
Title = {C-based System Development of Asynchronous Distributed Systems},

Year = {2007},
Pages = {134-139},
Month = {09},
Booktitle = {Proceedings of the Forum on Design Languages},
Organization = {ECSI},
type = {inproceedings},
note = {Embedded control systems have to be function- ally correct, stable, and have to fulfil real-time constraints. The presented integrated approach of embedded software and hardware development supports the developer to meet design decisions in a system conte},
Abstract = {Embedded control systems have to be function- ally correct, stable, and have to fulfil real-time constraints. The presented integrated approach of embedded software and hardware development supports the developer to meet design decisions in a system context using simulations at the system level and the task level of modelling. At the system level, first the behaviour of the digital controller model is specified. Secondly, the developer ex- plores at the task level various alternatives of task scheduling policies and hardware/software archi- tectures using simulations based on task models and virtual prototype models of the hardware. Es- timated delays and scheduling times are back- annotated to the system level model. There the annotations are used to correct the digital control algorithm parameters that the embedded system remains functionally correct and stable.}
}
@COMMENT{Bibtex file generated on }