A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 21-33

  Sofronis, Christos ^a   Tripakis, Stavros ^b   Caspi, Paul ^a,c  

^a VERIMAG   (France)

^b CADENCE DESIGN SYSTEMS   (United States)

^c Centre Equation   (France)

Author keywords

Embedded software; Model based design; Optimality; Preemptive scheduling; Process communication; Semantical preservation; Synchronous programming

Indexed keywords

EMBEDDED SOFTWARE; MODEL-BASED DESIGNS; PREEMPTIVE SCHEDULING; PROCESS COMMUNICATIONS; SEMANTICAL PRESERVATION;

BUFFER STORAGE; COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; OPTIMAL CONTROL SYSTEMS; SCHEDULING; SEMANTICS;

NETWORK PROTOCOLS;

EID: 34547453769     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176892     Document Type: Conference Paper

References (19)

1. AUDSLEY, N., BURNS, A., DAVIS, R., TINDELL, K., AND WELLINGS, A. Fixed priority pre-emptive scheduling: An historical perspective. Real Time Systems 8, 2-3 (1995).
2. BALEANI, M., FERRARI, A., MANGERUCA, L., AND SANGIOVANNI-VINCENTELLI, A. Efficient embedded software design with synchronous models. In 5th ACM International Conference on Embedded Software (EMSOFT'05) (2005), pp. 187-190.
3. BENVENISTE, A., AND BERRY, G. The synchronous approach to reactive a,nd real-time systems. IEEE Proceedings 79 (Sept. 1991), 1270-1282.
4. BENVENISTE, A., CASPI, P., GUERNIC, P. L., MARCHAND, H., TALPIN, J., AND TRIPAKIS, S. A protocol for loosely time-triggered architectures. In Embedded Software (EMSOFT'08) (2002), vol. 2491 of LNCS, Springer.
5. [B] BHATTACHARYYA, S. S., MURTHY, P. K., AND LEE, E. A. Software Synthesis from Dataflow Graphs. Kluwer, 1996.
6. CASPI, P., CURIO, A., MAIGNAN, A., SOPRONIS, C, TRIPAKIS, S., AND NIEBERT, P. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Languages, Compilers, and Tools for Embedded Systems (LCTES'OS) (2003), ACM.
7. CHEN, J., AND BURNS, A. A three-slot asynchronous reader-writer mechanism for multiprocessor real-time systems. Tech. Rep. YCS-286, Department of Computer Science, University of York, May 1997.
8. FERSMAN, E., AND YI, W. A generic approach to schedulability analysis of real-time tasks. Nordic J. of Computing 11, 2 (2004), 129-147.
9. HALBWACHS, N. Synchronous Programming of Reactive Systems. Kluwer, 1992.
10. HARBOUR, M., KLEIN, M., OBENZA, R., POLLAK, B., AND RALYA, T. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems. Kluwer, 1993.
11. HUANG, H., PILLAI, P., AND SHIN, K. Improving wait-free algorithms for interprocess communication in embedded real-time systems. In USENIX'OS (2002).
12. LEE, E., AND MESSERSCHMITT, D. Synchronous data flow. Proceedings of the IEEE 75, 9 (1987), 1235-1245.
13. LIU, C., AND LAYLAND, J. Scheduling algorithms for multiprogramming in a, hard real-time environment. Journal of the ACM 20, 1 (Jan. 1973), 46-61.
14. MURTHY, P. K., AND BHATTACHARYYA, S. S. Buffer merging -a powerful technique for reducing memory requirements of synchronous dataflow specifications. ACM Transactions on Design Automation of Electronic Systems 9, 2 (April 2004), 212-237.
15. NATALE, M. D. Optimizing the multitask implementation of multirate Simulink models. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) (2006). To appear.
16. SGAIPE, N., AND CASPI, P. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Euromicro conference on Real-Time Systems (ECRTS'04) (2004).
17. SHA, L., RAJKUMAR., R., AND LEHOOZKY, J. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Computers (Sept. 1990).
18. STANKOVIC, J., SPURI, M., RAMAMRITHAM, K., AND BUTTAZZO, G. Deadline Scheduling For Real-Time Systems: EDF and Related Algorithms. Kluwer Academic Publishers, 1998.
19. TRIPAKIS, S., SOPRONIS, C., SCAIFE, N., AND CASPI, P. Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. In 5th ACM International Conference on Embedded Software (EMSOFT'05) (2005), pp. 353- 360.