Building models of real-time systems from application software

Proceedings of the IEEE

Volumn 91, Issue 1, 2003, Pages 100-111

  Sifakis, Joseph ^a,b   Tripakis, Stavros ^b   Yovine, Sergio ^b  

^a IEEE   (France)

^b VERIMAG   (France)

Author keywords

Automatic code instrumentation; Correct implementation; Modeling; Real time systems; Synchronous and asynchronous execution; Timing analysis

Indexed keywords

CONSTRAINT THEORY; MATHEMATICAL MODELS; PROGRAM COMPILERS; REAL TIME SYSTEMS; SCHEDULING;

AUTOMATIC CODE INSTRUMENTATION; CORRECT IMPLEMENTATION; REAL-TIME SYSTEMS; SYNCHRONOUS AND ASYNCHRONOUS EXECUTION; TIMING ANALYSIS;

COMPUTER SOFTWARE;

EID: 19644394449     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2002.805820     Document Type: Article

References (36)

1. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine, "A framework for scheduler synthesis," in Proc. 20th IEEE Real-Time Syst. Symp., 1999, pp. 154-163.
2. K. Altisen, G. Goessler, and J. Sifakis, "Scheduler modeling based on the controller synthesis paradigm," J. Real-Time Syst., vol. 23, pp. 55-84, 2002.
3. R. Alur and D. L. Dill, "A theory of timed automata," Theoret. Comput. Sci., vol. 126, pp. 183-235, 1994.
4. A. Benveniste and G. Berry, "The synchronous approach to reactive and real-time systems," Proc. IEEE, vol. 79, pp. 1270-1282, Sept. 1991.
5. G. Berry and G. Gonthier, "The Esterel synchronous programming language: Design, semantics, implementation," Sci. Comput. Program., vol. 19, no. 2, pp. 87-152, 1992.
6. 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 systems," in Proc. 40th IEEE Conf. Decision and Control, vol. 3, 2001, pp. 2875-2880.
7. V. Bertin, M. Poize, J. Pulou, and J. Sifakis, "Toward validated real-time software," presented at the 12th Euromicro Conf. Real-Time Systems, Stockholm, Sweden, June 2000.
8. P. Binns and S. Vestal, "Scheduling and communication in metah," in Proc. Real-Time Syst. Symp., 1993, pp. 194-200.
9. _, "Formalizing software architectures for embedded systems," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 451-468.
10. J. R. Burch, R. Passeronne, and A. Sangiovanni-Vincentelli, "Using multiple levels of abstractions in embedded software design," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 324-343.
11. A. Bums and A. Wellings, Real-Time Systems and Programming Languages. Reading, PA: Addison-Wesley, 2001.
12. G. Buttazzo, Hard Real-Time Computing Systems. Norwell, MA: Kluwer, 1997.
13. E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine, "Taxys: A tool for the development and verification real-time embedded systems," in Lecture Notes in Computer Science, Computer Aided Verification. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2102, pp. 391-395.
14. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, "The tool Kronos,'' in Lecture Notes in Computer Science, Hybrid Systems III: Verification and Control. Heidelberg, Germany: Springer-Verlag, 1996, vol. 1066, pp. 208-219.
15. "Response to the OMG RFP for Schedulability, Performance, and Time Revised Submission," Open Management Group, OMG doc. no. ad/2001-06-14, 2001.
16. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire, "Programming real-time applications with signal," Proc. IEEE, vol. 79, pp. 1321-1336, Sept. 1991.
17. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous dataflow programming language Lustre," Proc. IEEE, vol. 79, pp. 1305-1320, Sept. 1991.
18. 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. Norwell, MA: Kluwer, 1993.
19. T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A time-triggered language for embedded programming," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 166-184.
20. "Specification and Description Language (SDL)," International Telecommunication Union-Standardization Sector, Genève, Z-100, 1999.
21. "Real Time Core Extensions for the Java Platform," J-Consortium, Specification no. TI-00-01, 2000.
22. H Kopetz, "The temporal specification of interfaces in distributed real-time systems," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 223-236.
23. H. Kopetz and G. Grunsteidl, "TTP - A protocol for fault-tolerant real-time systems," Computer, vol. 27, no. 1, pp. 14-23, Jan. 1994.
24. E. Lee and A. Sangiovanni-Vincentelli, "A unified framework for comparing models of computation," IEEE Trans. Computer-Aided Design, vol. 17, pp. 1217-1229, Dec. 1998.
25. E. Lee and Y. Xiong, "System-level types for component-based design," in Lecture Notes in Computer Science, Embedded Software, vol. 2211. Heidelberg, Germany, 2001, pp. 237-253.
26. C. L. Liu and J. Layland, "Scheduling algorithms for multiprogramming in a hard real-time environment," J. ACM, vol. 20, pp. 46-61, Jan. 1973.
27. P. Puschner and A. Burns, "A review of WCET analysis," Real Time Syst., vol. 18, no. 2/3, 2000.
28. G. Bollella, J. Gosling, B. M. Brosgol, P. Dibble, S. Furr, D. Hardin, and M. Turnbull, The Real-Time Specification for Java. Reading, MA: Addison-Wesley, 2000.
29. M. Saksena, P. Freedman, and P. Rodzievvicz, "Guidelines for automated implementation of executable object oriented models for real-time embedded control systems," in Proc. 18th IEEE Real-Time Syst. Symp., 1997, pp. 240-251.
30. S. Bornot and J. Sifakis, "An algebraic framework for urgency," Inform. Comput., vol. 163, pp. 172-202, 2000.
31. J. Sifakis, "Modeling real-time systems - Challenges and work directions," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2001, vol. 2211, pp. 373-389.
32. J. Stankovic, M. Spuri, K. Ramamritham, and G. Buttazzo, Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms. Nonvell, MA: Kluwer, 1998.
33. S. Tripakis and S. Yovine, "Timing analysis and code generation of vehicle control software using Taxys," in Electronic Notes in Theoretical Computer Science, RV'2001 Runtime Verification, vol. 55, 2001.
34. P. Varaiya, "Smart ears on smart roads: Problems of control," IEEE Trans. Automat. Contr., vol. 38, pp. 195-207, Feb. 1993.
35. D. Weil, V. Bertin, E. Closse, M. Poize, P. Venier, and J. Pulou, "Efficient compilation of Esterel for real-time embedded systems," in Int. Conf. Compilers, Architectures, and Synthesis for Embedded Syst., 2000, pp. 2-8.
36. D. Wheeler, ADA 95: The Lovelace Tutorial. New York: Springer-Verlag, 1996.