@inproceedings{hugues:insu-02270096, TITLE = {{Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project}}, AUTHOR = {Hugues, J and Pautet, Laurent and Zalila, B and Dissaux, P and Perrotin, M}, URL = {https://insu.hal.science/insu-02270096}, BOOKTITLE = {{Embedded Real Time Software and Systems (ERTS2008)}}, ADDRESS = {toulouse, France}, YEAR = {2008}, MONTH = Jan, KEYWORDS = {IST-ASSERT ; AADL ; MDD ; Stood ; Ocarina}, PDF = {https://insu.hal.science/insu-02270096/file/ERTS2008_0039_paper.pdf}, HAL_ID = {insu-02270096}, HAL_VERSION = {v1}, }