@inproceedings{ferdinand:insu-02270107, TITLE = {{Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables}}, AUTHOR = {Ferdinand, C and Heckmann, R and Le Sergent, T and Lopes, D. and Martin, B and Fornari, X and Martin, F.}, URL = {https://insu.hal.science/insu-02270107}, BOOKTITLE = {{Embedded Real Time Software and Systems (ERTS2008)}}, ADDRESS = {toulouse, France}, YEAR = {2008}, MONTH = Jan, KEYWORDS = {Model-based code generation ; timing analysis ; stack-usage analysis}, PDF = {https://insu.hal.science/insu-02270107/file/ERTS2008_0055_paper.pdf}, HAL_ID = {insu-02270107}, HAL_VERSION = {v1}, }