Advertisement

Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System

  • Stavros Tripakis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2491)

Abstract

We describe the software architecture of an automated vehicle control system implemented in the PATH lab1. The system is responsible for automatic lateral and longitudinal control of a set of vehicles traveling in a platoon formation at close distance and at high speeds [15]. The software architecture consists of a set of processes running concurrently and communicating through a publish/subscribe database. Some processes are triggered periodically by external inputs (e.g., from sensors) while others are triggered by events from other (internal) processes. We model the architecture as a set of periodic tasks each consisting of a sequence of sub-tasks with varying priorities [3,4]. We perform a schedulability analysis to check whether a set of timing requirements expressed as deadlines are met.

Keywords

Execution Time Software Architecture Total Execution Time Periodic Task Device Driver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    N.C. Audsley, A. Burns, R.I. Davis, K.W. Tindell, and A.J. Wellings. Fixed priority pre-emptive scheduling: An historical perspective. Real Time Systems, 8(2–3), 1995.Google Scholar
  2. 2.
    A. Burns, K.W. Tindell, and A.J. Wellings. Effective analysis for engineering realtime fixed priority schedulers. IEEE Trans. Software Engineering, 21(5):475–480, 1995.CrossRefGoogle Scholar
  3. 3.
    M. Harbour, M.H. Klein, and J. Lehoczky. Fixed priority scheduling of periodic tasks with varying execution priority. In IEEE Real-Time Systems Symposium, 1991.Google Scholar
  4. 4.
    M.G. Harbour, M.H. Klein, and J.P. Lehoczky. Timing analysis for fixed-priority scheduling of hard real-time systems. IEEE Transactions on Software Engineering, 20(1):13–28, 1994.CrossRefGoogle Scholar
  5. 5.
    M.G. Harbour, M.H. Klein, R. Obenza, B. Pollak, and T. Ralya. A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems. Kluwer, 1993.Google Scholar
  6. 6.
    M.H. Klein, J. Lehoczky, and R. Rajkumar. Rate monotonic analysis for real-time industrial computing. IEEE Computer, January 1994.Google Scholar
  7. 7.
    J. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In IEEE Real-Time Systems Symposium, 1989.Google Scholar
  8. 8.
    C.L. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46–61, January 1973.Google Scholar
  9. 9.
    Swedish WCET Network. Home page: http://www.docs.uu.se/artes/wcet/.
  10. 10.
  11. 11.
    P. Puschner and A. Burns. A review of WCET analysis. Real Time Systems: Special Issue on Worst-Case Execution-Time Analysis, 18(2/3), 2000.Google Scholar
  12. 12.
    R. Rajkumar, M. Gagliardi, and L. Sha. The real-time publisher/subscriber interprocess communication model for distributed real-time systems: Design and implementation. In IEEE Real-time Technology and Applications Symposium, 1995.Google Scholar
  13. 13.
    L. Sha, R. Rajkumar, and S.S. Sathaye. Generalized rate-monotonic scheduling theory: A framework for developing real-time systems. IEEE Proceedings, January 1994.Google Scholar
  14. 14.
    J. Stankovic, M. Spuri, K. Ramamritham, and G. Buttazzo. Deadline Scheduling For Real-Time Systems: EDF and Related Algorithms. Kluwer Academic Publishers, 1998.Google Scholar
  15. 15.
    P. Varaiya. Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control, 38(2):195–207, February 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Stavros Tripakis
    • 1
  1. 1.VERIMAG Centre EquationGièresFrance

Personalised recommendations