@inproceedings{Bü2010,Author = {Büker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand Ingo},Title = {Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks},Year = {2010},Month = {09},type = {inproceedings},note = {For checking the temporal behaviour of embedded systems, real-time scheduling analysis based on abstract, formal models is a well-established method. A major difficulty for such analytical models in practical use-cases is the non-trivial representation of},Abstract = {For checking the temporal behaviour of embedded systems, real-time scheduling analysis based on abstract, formal models is a well-established method. A major difficulty for such analytical models in practical use-cases is the non-trivial representation of a real implementation model.To overcome this limitation we propose a formal mapping of a concurrent, object-oriented, executable implementation model with explicit shared resources to a real-time task network with functional extensions. The mapping starts from a C++ subset and maps the functional behaviour based on externally observable synchronisation events. The proposed mapping allows to check the implementation model against functional and temporal requirements, like local and end-to-end deadlines.}}@COMMENT{Bibtex file generated on }