Modeling real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2004, Pages 5-6

  Sifakis, Joseph ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES; RESOURCE SHARING; RESTRICTION OPERATORS; TIME CONSTRAINTS;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONSTRAINT THEORY; MATHEMATICAL MODELS; SCHEDULING; SYNCHRONIZATION;

REAL TIME SYSTEMS;

EID: 21644475972     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REAL.2004.34     Document Type: Conference Paper

References (7)

1. Joseph Sifakis "Modeling real-time systems-challenges and work directions" EmSoft01, LNCS 2211, Tahoe City, October 2001.
2. J. Sifakis, S. Tripakis, S. Yovine "Building models of real-time systems from application software" Proceedings of the IEEE, Special issue on modeling and design of embedded systems, 91(1):100-111, January 2003.
3. K. Altisen, G. Goessler, J. Sifakis "Scheduler modeling based on the controller synthesis paradigm" Journal of Real-time Systems, Vol. 23, pp.55-84, 2002.
4. G. Goessler, J. Sifakis "Composition for component-based modelling", FMCO02, LNCS 2852, pp. 443-466.
5. E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Vernier, D. Weil S. Yovine " TAXYS: a tool for the development and verification of real-time embedded systems" CAV01, LNCS 2102, Paris, July 2001.
6. C.Kloulinas, C. Nakhli, S. Yovine "A methodology and tool support for generating scheduled native code for real-time Java applications" EmSoft03, LNCS 2855, pages 274-289. Philadelphia, October 2003.
7. The IF toolbox http://www-verimag.imag.fr/~async/IF/index.shtml.en