Advanced Hierachical Event-Stream Model

Analyzing future distributed real-time systems, automotive and avionic systems, is requiring compositional hard real-time analysis techniques. Well known established techniques as SymTA/S and the real-time calculus are candidates solving the mentioned problem. However both techniques use quite simple event models. SymTA/S is based on discrete events the real-time calculus on continuous functions. Such simple models has been choosen because of the computational complexity of the considered mathematical operations required for real-time analysis. Advances in approximation techniques are allowing the consideration of more expressive descriptions of events. In this paper such a new expressive event model and its analysis algorithm are described. It integrates the models of both techniques. It is also possible in this module to integrate an approximative real-time analysis into the event model. This allows to propagate the approximation through the analysis of a distributed system leading to a much more efficient analysis.

[1]  Kai Richter,et al.  Compositional scheduling analysis using standard event models , 2004 .

[2]  Simon Künzli,et al.  Efficient design space exploration for embedded systems , 2006 .

[3]  K ParekhAbhay,et al.  A generalized processor sharing approach to flow control in integrated services networks , 1993 .

[4]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[5]  Frank Slomka,et al.  Efficient feasibility analysis for real-time systems with EDF scheduling , 2005, Design, Automation and Test in Europe.

[6]  Lothar Thiele,et al.  Performance evaluation of network processor architectures: combining simulation with analytical estimation , 2003, Comput. Networks.

[7]  Klaus Gresser,et al.  An Event Model for Deadline Verification of Hard Real-Time Systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[8]  Rolf Ernst,et al.  Event model interfaces for heterogeneous system analysis , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[9]  Klaus Gresser,et al.  Echtzeitnachweis ereignisgesteuerter Realzeitsysteme , 1993 .

[10]  Lothar Thiele,et al.  Chapter 4 – Design Space Exploration of Network Processor Architectures , 2003 .

[11]  Frank Slomka,et al.  An event stream driven approximation for the analysis of real-time systems , 2004, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004..

[12]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

[13]  Frank Slomka,et al.  Hierarchical event streams and event dependency graphs: a new computational model for embedded real-time systems , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[14]  Lothar Thiele,et al.  Influence of different system abstractions on the performance analysis of distributed real-time systems , 2007, EMSOFT '07.