OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

An Educational Case Study of Using SysML and TTool for Unmanned Aerial Vehicles Design

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. ( In Press: 2020) The IEEE Journal on Miniaturization for Air and Space Systems (J-MASS). ISSN 2576-3164

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

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