skip to main content
10.1145/1254766.1254794acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
Article

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

Authors Info & Claims
Published:13 June 2007Publication History

ABSTRACT

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.

References

  1. K.-E. Arzen, A. Cervin, and D. Henriksson. Handbook of Networked and Embedded Control Systems, chapter Implementation-Aware Embedded Control Systems, pages 377--394. Birkhäuser, 2005.Google ScholarGoogle Scholar
  2. A. Black, M. Carlsson, M. Jones, R. Kieburtz, and J. Nordlander. Timber: A programming language for real-time embedded systems, 2002.Google ScholarGoogle Scholar
  3. A. Burns and A. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. Caccamo, T. Baker, A. Burns, G. Buttazzo, and L. Sha. Handbook of Networked and Embedded Control Systems, chapter Real-Time Scheduling for Embedded Systems, pages 173--195. Birkhäuser, 2005.Google ScholarGoogle Scholar
  5. D. Henriksson, A. Cervin, and K.-E. Årzén. TrueTime: Simulation of control loops under shared computer resources. In Proceedings of the 15th IFAC World Congress on Automatic Control, Barcelona, Spain, July 2002.Google ScholarGoogle ScholarCross RefCross Ref
  6. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Lecture Notes in Computer Science, 2211:166+, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. T. A. Henzinger and C. M. Kirsch. The embedded machine: predictable, portable real-time code. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 315--326, New York, NY, USA, 2002. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. L. Ko, D. B. Whalley, and M. G. Harmon. Supporting user-friendly analysis of timing constraints. In LCTES '95: Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems, pages 99--107, New York, NY, USA, 1995. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. B. Lincoln and A. Cervin. Jitterbug: A tool for analysis of real-time control performance. In In Proceedings of the 41st IEEE Conference on Decision and Control, Las Vegas, 2002.Google ScholarGoogle ScholarCross RefCross Ref
  10. K. Walther and J. Nolte. A flexible scheduling framework for deeply embedded systems. In In Proc. of 4th IEEE International Symposium on Embedded Computing, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

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

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        LCTES '07: Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
        June 2007
        258 pages
        ISBN:9781595936325
        DOI:10.1145/1254766
        • cover image ACM SIGPLAN Notices
          ACM SIGPLAN Notices  Volume 42, Issue 7
          Proceedings of the 2007 LCTES conference
          July 2007
          241 pages
          ISSN:0362-1340
          EISSN:1558-1160
          DOI:10.1145/1273444
          Issue’s Table of Contents

        Copyright © 2007 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 13 June 2007

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

        Acceptance Rates

        Overall Acceptance Rate116of438submissions,26%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader