Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn 16, Issue , 2004, Pages 119-126

  Scaife, N ^a   Caspi, P ^a  

^a VERIMAG   (France)

Author keywords

Double buffers; Fixed priority; Model based design; Preemptive scheduling; Synchrony; Wait free communication

Indexed keywords

DOUBLE BUFFERS; FIXED PRIORITY; MODEL-BASED DESIGN; PREEMPTIVE SCHEDULING; SYNCHRONY; WAIT-FREE COMMUNICATION;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SEMANTICS; STANDARDS; THREE TERM CONTROL SYSTEMS;

SCHEDULING;

EID: 5644294637     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. J Anderson, S. Ramamurthy, and K. Jeffay. Real-time computing with lock-free shared objects. In Proceedings of the 16th Real-Time Systems Symposium, pages 28-37. IEEE Computer Society, 1995.
2. N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings. Hard Real-Time Scheduling: The Deadline Monotonic Approach. In Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atalanta, 1991.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceeding of the IEEE, 79(9):1270-1282, September 1991.
4. G. Berry and G. Gonthier. The ESTEREL synchronous programming language, design, semantics, implementation. Science Of Computer Programming, 19(2):87-152, 1992.
5. V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded. In Conference on Decision and Control, CDC'01. IEEE Control Systems Society, December 2001.
6. A. Burns, G. Bernat, and I. Broster. A probabilistic framework for schedulability analysis. In R Alur and I Lee, editors, Proceedings of the Third International Embedded Software Conference, EMSOFT, number LNCS 2855 in Lecture Notes in Computer Science, pages 1-15, 2003.
7. P. Caspi, A. Curie, A. Maignan, C. Sofronis, and S. Tripakis. Translating discrete-time simulink to lustre. In R. Alur and I. Lee, editors, EMSOFT'03, Lecture Notes in Computer Science. Springer Verlag, 2003.
8. P. Caspi and N. Halbwachs. A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. Acta Informatica, 22:595-627, 1986.
9. J. Chen and A. Burns. Loop-free asynchronous data sharing in multiprocessor real-time systems based on timing properties. In Proceedings of the Real-Time Computing Systems and Applications Conference, pages 236-246, 1999.
10. Esterel Technologies, Inc. SCADE Language - Reference Manual 2.1.
11. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
12. H. Huang, P. Pillai, and K. G. Shin. Improving wait-free algorithms for interprocess communication in embedded real-time systems. In USENIX 2002 Annual Technical Conference, pages 303-316. http://www.usenix.org/publications/library/proceedings/, 2002.
13. K.J. Aström and B.Wittenmark. Computer Controlled Systems. Prentice-Hall, 1984.
14. H. Kopetz. Real-time Systems - Design Principles for Distributed Embedded Applications. Kluwer Academic, 1997.
15. H. Kopetz and J. Reisinger. Nbw: A non- blocking write protocol for task communication in real-time systems. In Proceedings of the 14th Real-Time System Symposium, pages 131-137. IEEE Computer Society, 1993.
16. L. Lamport. Concurrent reading and writing. Communications of ACM, 20(11):806-811, 1977.
17. J. P. Lehoczky, L. Sha, and J. K. Strosnider. Enhanced Aperiodic Responsiveness in Hard Real-Time Environments. In Proceedings of the IEEE Real-Time Systems Symposium, pages 261-270, San Jose, CA, December 1987.
18. J.Y.T. Leung and J. Whitehead. On the Complexity of Fixed-Priority Scheduling of Periodic, Real-Time Tasks. Performance Evaluation, 2(4):237-250, December 1982.
19. C. L. Liu and James W. Layland. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. JACM, 20(1):46-61, 1973.
20. The Mathworks Inc. Simulink 5 Reference Manual.
21. OSEK Group, http://www.osek-vdx.org. OSEK/VDX Time-Triggered Operating System Specification 1.0, version 1.0 edition, July 2001.
22. OSEK Group, http://www.osek-vdx.org. OSEK/VDX Operating System Specification 1.0, version 2.2.1 edition, January 2003.
23. Marco A.A. Sanvido, Arkadeb Ghosal, and Thomas A. Henzinger. xgiotto Language Report. Technical Report UCB/CSD-3-1261, Computer Science Division (EECS) University of California, July 2003.
24. C. Scheidler, G. Heiner, R. Sasse, E. Fuchs, H. Kopetz, and C. Temple. Time-Triggered Architecture (TTA). In Proceedings EMMSEC'97, Florence, Italy, Nov 1997.
25. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real- time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, 1990.
26. Brinkley Sprunt, Lui Sha, and John P. Lehoczky. Aperiodic task scheduling for hard real-time systems. Real-Time Systems, 1(1):27-60, 1989.
27. S. Yovine. Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer, 1(1/2):123-133, October 1997.