OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Making Modeling Assumptions an Explicit Part of Real-Time Systems Models

Saqui-Sannes, Pierre de and Apvrille, Ludovic Making Modeling Assumptions an Explicit Part of Real-Time Systems Models. (2016) In: the 8th European Congress Embedded Real Time software and systems ERTS2 2016, 27 January 2016 - 29 January 2016 (Toulouse, France).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://www.erts2016.org/


A model abstracts a system. The model is valid for a precise set of assumptions. The authors recommend to include the assumptions into the model and discuss a solution based on Modeling Assumption Diagrams. SysML and TTool respectively serve as support language and tool to discuss the use of MADs.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Institut Mines-Télécom (FRANCE)
Other partners > Télécom Paris (FRANCE)
Other partners > Université Paris-Sud 11 (FRANCE)
Laboratory name:
Deposited On:27 Jan 2016 08:57

Repository Staff Only: item control page