Model-based implementation of real-time applications

Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10

Volumn , Issue , 2010, Pages 229-238

  Abdellatif, Tesnim ^a   Combaz, Jacques ^a   Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

Algorithms; Design; Reliability; Verification

Indexed keywords

ABSTRACT MODELS; APPLICATION SOFTWARES; DETERMINISTIC SYSTEMS; EFFICIENT IMPLEMENTATION; EXECUTION ENGINE; EXECUTION SEQUENCES; EXECUTION TIME; GENERAL MODEL; IMPLEMENTABILITY; IMPLEMENTATION METHODS; IMPLEMENTATION TECHNIQUES; KEY ISSUES; MODEL-BASED; OPEN PROBLEMS; PERIODIC TASKS; PHYSICAL MODEL; REAL-TIME APPLICATION; REAL-TIME SOFTWARE; ROBUST MODELS; SUFFICIENT CONDITIONS; TIMED AUTOMATA; TIMING CONSTRAINTS; TIMING REQUIREMENTS; WORST-CASE EXECUTION TIME;

ABSTRACTING; ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SYSTEMS; MODELS; PROGRAM COMPILERS; TIMING CIRCUITS;

REAL TIME SYSTEMS;

EID: 78650649019     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1879021.1879052     Document Type: Conference Paper

References (17)

1. T. Abdellatif, J. Combaz, and J. Sifakis. Model-based implementation of real-time applications. Technical Report TR-2010-14, Verimag Research Report, 2010.
2. K. Altisen and S. Tripakis. Implementation of timed automata: An issue of semantics or modeling? In P. Pettersson and W. Yi, editors, FORMATS, volume 3829 of LNCS, pages 273-288. Springer, 2005.
3. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comput. Sci., 138(1):3-34, 1995.
4. R. Alur and D. L. Dill. A theory of timed automata. Theor. Comput. Sci., 126(2):183-235, 1994.
5. C. Aussaguès and V. David. A method and a technique to model and ensure timeliness in safety critical real-time systems. In ICECCS, pages 2-12. IEEE Computer Society, 1998.
6. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in BIP. In SEFM, pages 3-12. IEEE Computer Society, 2006.
7. S. Bornot, G. Gößler, and J. Sifakis. On the construction of live timed systems. In S. Graf and M. I. Schwartzbach, editors, TACAS, volume 1785 of LNCS, pages 109-126. Springer, 2000.
8. S. Bornot and J. Sifakis. An algebraic framework for urgency. Inf. Comput., 163(1):172-202, 2000.
9. M. Bozga, M. Jaber, and J. Sifakis. Source-to-source architecture transformation for performance optimization in BIP. In SIES, pages 152-160. IEEE, 2009.
10. J. Combaz, J.-C. Fernandez, J. Sifakis, and L. Strus. Symbolic quality control for multimedia applications. Real-Time Systems, 40(1):1-43, 2008.
11. C. Dima. Dynamical properties of timed automata revisited. In J.-F. Raskin and P. S. Thiagarajan, editors, FORMATS, volume 4763 of LNCS, pages 130-146. Springer, 2007.
12. A. Ghosal, T. A. Henzinger, C. M. Kirsch, and M. A. A. Sanvido. Event-driven programming with logical execution times. In R. Alur and G. J. Pappas, editors, HSCC, volume 2993 of LNCS, pages 357-371. Springer, 2004.
13. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: a time-triggered language for embedded programming. Proc. of the IEEE, 91(1):84-99, 2003.
14. D. Isovic, G. Fohler, and L. Steffens. Timing constraints of MPEG-2 decoding for high quality video: misconceptions and realistic assumptions.
15. J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker. A definition and classification of timing anomalies. In F. Mueller, editor, WCET, volume 06902 of Dagstuhl Seminar Proc. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
16. R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm. Static timing analysis for hard real-time systems. In G. Barthe and M. V. Hermenegildo, editors, VMCAI, volume 5944 of LNCS, pages 3-22. Springer, 2010.
17. M. D. Wulf, L. Doyen, and J.-F. Raskin. Almost ASAP semantics: from timed models to timed implementations. Formal Asp. Comput., 17(3):319-341, 2005.