Modeling real-time systems – Challenges and work directions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 373-389

  Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947245728     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_26     Document Type: Conference Paper

References (35)

1. N.C. Audsley, A. Burns, and M.F. Richardson. Hard real-time scheduling: the deadline monotonic approach. In Workshop on real-time operating systems and software, 1991.
2. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. K. Altisen, G. G¨oßler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proc. RTSS 1999, pages 154-163. IEEE Computer Society Press, 1999.
4. K. Altisen, G. Gößler, and J. Sifakis. A methodology for the construction of scheduled systems. In M. Joseph, editor, proc. FTRTFT 2000, volume 1926 of LNCS, pages 106-120. Springer-Verlag, 2000.
5. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on”control-theoretical approaches to real-time computing” (to appear), 2001.
6. H. Ben-Abdallah, I. Lee, and O. Sokolsky. Specification and analysis of real-time systems with Paragon. In Annals of Software Engineering, 1999.
7. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
8. S. Bornot, G. Gößler, and J. Sifakis. On the construction of live timed systems. In S. Graf and M. Schwartzbach, editors, Proc. TACAS 2000, volume 1785 of LNCS, pages 109-126. Springer-Verlag, 2000.
9. A. Benveniste, P. LeGuernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103-149, 1991.
10. V. Bertin, M. Poize, and J. Sifakis. Towards validated real-time software. In Proc. 12th Euromicro Conference on Real Time Systems, pages 157-164, 2000.
11. S. Bornot and J. Sifakis. An algebraic framework for urgency. Information and Computation, 163:172-202, 2000.
12. A. Bouajjani, S.Tripakis, and S.Yovine. On-the-fly symbolic modelchecking for real-time systems. In Proc. IEEE Real-Time Systems Symposium, RTSS’97. IEEE Computer Society Press, 1997.
13. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Proc. COMPOS’97, volume 1536 of LNCS. Springer-Verlag, 1998.
14. E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. TAXYS = ESTEREL + KRONOS. a toolfor the development and verification of real-time embedded systems. In Proc. CAV’01, volume 2102 of LNCS, pages 391-395. Springer-Verlag, 2001.
15. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208-219. Springer-Verlag, 1996.
16. R. Ernst, D. Ziegenbein, K. Richter, L. Thiele, and J. Teich. Hardware/ software codesign of embedded systems — the SPI workbench. In Proc. Int. Workshop on VLSI, Orlando, Florida, 1999.
17. M. Gonzáles, M. Klein, and J. Lehoczky. Fixed priority scheduling of periodic tasks with varying execution priorities. In Proc. RTSS 1991, 1991
18. Real-Time Java Working Group. International j consortium specification. Technicalrep ort, InternationalJ Consortium, 2000.
19. OMG Working Group. Response to the omg rfp for schedulability, performance, and time. TechnicalRep ort ad/2001-06-14, OMG, June 2001.
20. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
21. T. A. Henzinger, B. Horowitz, and C. Meyer Kirsch. Embedded control systems development with Giotto. In Proc. LCTES 2001 (to appear), 2001.
22. M.G. Härbour, M.H. Klein, R. Obenza, B. Pollak, and T. Ralya. A Practitioner’s Handbook for Real-Time Analysis. Kluwer, 1993.
23. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
24. E. A. Lee et al. Overview of the Ptolemy project. Technical Report UCB/ERL M01/11, University of California at Berkeley, 2001.
25. E.A. Lee. What’s ahead for embedded software. Computer, IEEE, pages 18-25, September 2000.
26. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1), 1973.
27. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
28. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E.W. Mayr and C. Puech, editors, STACS’95, volume 900 of LNCS, pages 229-242. Springer-Verlag, 1995.
29. X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. CAV’91, volume 575 of LNCS. Springer-Verlag, July 1991.
30. J. Sifakis. Use of petri nets for performance evaluation. In Proc. 3rd Intl. Symposium on Modeling and Evaluation, pages 75-93. IFIP, North Holland, 1977.
31. S. Tripakis and S. Yovine. Modeling, timing analysis and code generation of PATH’s automated vehicle control application software. In Proc. CDC’01 (to appear), 2001.
32. S. Tripakis and S. Yovine. Timing analysis and code generation of vehicle controlsoft ware using taxys. In Proc. Workshop on Runtime Verification, RV’01, volume 55, Paris, France, July 2001. Elsevier.
33. S. Vestal. MetaH support for real-time multi-processor avionics. In Proc. IEEE Workshop on Parallel and Distributed Real-Time Systems, pages 11-21, 1997.
34. D. Wheeler. ADA 95. The Lovelace Tutorial. Springer-Verlag, 1996.
35. S. Yovine. KRONOS: A verification toolfor real-time systems. Software Tools for Technology Transfer, 1(1+2):123-133, 1997