Monitoring of Workload Arrival Functions for Mixed-Criticality Systems

Integrating applications with different safety requirements on a common platform requires either certification of all applications to the highest safety level or "sufficient independence" among them. As the former typically is too costly, isolation mechanisms, such as monitoring, are key in the design of mixed-criticality systems. We regard monitoring of activation patterns of real-time applications in mixed-criticality systems. Existing solutions monitor single tasks in isolation. We present a monitoring scheme which allows to monitor groups of tasks jointly. It allows to express correlations between activations and provides improved resource utilization as no isolation between tasks in a group is enforced.

[1]  Lothar Thiele,et al.  Modeling Hierarchical Event Streams in System Level Performance Analysis TIK Report , 2008 .

[2]  Gang Chen,et al.  Conforming the runtime inputs for hard real-time embedded systems , 2012, DAC Design Automation Conference 2012.

[3]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[4]  Xi Chen,et al.  Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[5]  Rolf Ernst,et al.  Modeling Event Stream Hierarchies with Hierarchical Event Models , 2008, 2008 Design, Automation and Test in Europe.

[6]  Giorgio C. Buttazzo,et al.  Optimal Dimensioning of a Constant Bandwidth Server , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[7]  Rolf Ernst,et al.  Monitoring Arbitrary Activation Patterns in Real-Time Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[8]  Sanjoy K. Baruah,et al.  Dynamic- and Static-priority Scheduling of Recurring Real-time Tasks , 2004, Real-Time Systems.

[9]  Ken Tindell,et al.  ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS , 1994 .

[10]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[11]  Jörg Liebeherr,et al.  Video traffic characterization for multimedia networks with a deterministic service , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[12]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[13]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[14]  Alain Gilberg,et al.  AUTOSAR – Current results and preparations for exploitation , 2006 .

[15]  Rolf Ernst,et al.  Safe Automotive Software Development , 2003, DATE.

[16]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[17]  Sanjoy K. Baruah,et al.  Towards the Design of Certifiable Mixed-criticality Systems , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[18]  Nathan Fisher,et al.  Efficient Admission Control for Enforcing Arbitrary Real-Time Demand-Curve Interfaces , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[19]  Rolf Ernst,et al.  Improved offset-analysis using multiple timing-references , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[20]  Matthias Traub,et al.  Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug , 2010 .

[21]  Anujan Varma,et al.  Latency-rate servers: a general model for analysis of traffic scheduling algorithms , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[22]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[23]  Frank Slomka,et al.  Advanced Hierachical Event-Stream Model , 2008, 2008 Euromicro Conference on Real-Time Systems.

[24]  Lothar Thiele,et al.  Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications , 2004, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..

[25]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[26]  Kai Huang,et al.  Dynamic counters and the efficient and effective online power management of embedded real-time systems , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).