A conservative extension of synchronous data-flow with state machines, Proceedings of EMSOFT 2005, 5th ACM International Conference On Embedded Software, pp.173-182, 2005. ,
SCADE 6 -A model based solution for safety critical software development, 4th European Congress ERTS Embedded Real Time Software, 2008. ,
URL : https://hal.archives-ouvertes.fr/insu-02270108
, Esterel Technologies. SCADE language tutorial, 2007.
Reliable and precise WCET determination for a real-life processor, Proceedings of EMSOFT 2001, vol.2211, pp.469-485, 2001. ,
New developments in WCET analysis, Program Analysis and Compilation, vol.4444, pp.12-52, 2007. ,
Performance Analysis of Embedded Software Using Implicit Path Enumeration, Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995. ,
Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation, Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, vol.34, pp.35-44, 1999. ,
Extracting Safe and Precise Control Flow from Binaries, Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, 2000. ,
Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis, Proceedings of the 19th IEEE Real-Time Systems Symposium, pp.144-153, 1998. ,
Staschulat, and Per Stenström. The worst-case execution time problem -overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.5, pp.1-47, 2007. ,