Apvrille, Ludovic and Saqui-Sannes, Pierre de
and Vingerhoeds, Rob A.
An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design.
(2020)
The IEEE Journal on Miniaturization for Air and Space Systems (J-MASS), 1 (2). 117-129. ISSN 2576-3164
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 2MB |
Official URL: https://doi.org/10.1109/JMASS.2020.3013325
Abstract
The paper shares an experience in using the Systems Modeling Language (SysML) for the design and formal verification of UAVs. In particular, the paper shows how our approach helps detecting early design errors. A UAV in charge of taking pictures serves as educational and running example throughout the paper. The SysML model of the UAV is simulated and formally verified using the free and open-source tool named TTool. This educational case study gives the authors of the paper an opportunity to draw lessons from teaching SysML.
Item Type: | Article |
---|---|
Audience (journal): | International peer-reviewed journal |
Uncontrolled Keywords: | |
Institution: | 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) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 30 Jul 2020 16:35 |
Repository Staff Only: item control page