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 255kB |
Official URL: http://www.erts2016.org/
Abstract
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: | |
| Statistics: | download |
| Deposited On: | 27 Jan 2016 08:57 |
Repository Staff Only: item control page
