Analyzing the real-time behaviour of deeply embedded event driven systems

Most embedded control systems react on events in the real world by reading sensors and controlling actuators in real-time. This general behavior can be directly mapped onto event-driven systems in a natural and straightforward manner for a large variety of applications. Further real-time analysis and profiling on the same level of abstraction is possible for event-driven systems. This significantly helps developers of deeply embedded real-time applications. In this paper we introduce simulative profiling concepts and static analysis basics for the real-time analysis of event-driven systems. Furthermore we present a prototype analysis tool for the REFLEX operating system that integrates real-time analysis into the software development cycle.

[1]  Alan Burns,et al.  Real-Time Systems and Programming Languages - Ada, Real-Time Java and C / Real-Time POSIX, Fourth Edition , 2009, International computer science series.

[2]  P Black Andrew,et al.  Timber: A Programming Language for Real-Time Embedded Systems , 2002 .

[3]  William S. Levine,et al.  Handbook Of Networked And Embedded Control Systems , 2007 .

[4]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .

[5]  Karl-Erik Årzén,et al.  TrueTime: Simulation of Control Loops Under Shared Computer Resources , 2002 .

[6]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[7]  John Baillieul,et al.  Handbook of Networked and Embedded Control Systems , 2005, Handbook of Networked and Embedded Control Systems.

[8]  David B. Whalley,et al.  Supporting User-Friendly Analysis of Timing Constraints , 1995, Workshop on Languages, Compilers, & Tools for Real-Time Systems.

[9]  Anton Cervin,et al.  JITTERBUG: a tool for analysis of real-time control performance , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[10]  David Whalley,et al.  Supporting user-friendly analysis of timing constraints , 1995 .

[11]  Alan Burns,et al.  Real-Time Scheduling for Embedded Systems , 2005, Handbook of Networked and Embedded Control Systems.

[12]  Jörg Nolte,et al.  A Flexible Scheduling Framework for Deeply Embedded Systems , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[13]  Thomas A. Henzinger,et al.  The embedded machine: predictable, portable real-time code , 2002, PLDI '02.