OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Early Detection of Design Errors in the Life Cycle of Unmanned Aerial Vehicles: A SysML Approach

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Vingerhoeds, Rob A. Early Detection of Design Errors in the Life Cycle of Unmanned Aerial Vehicles: A SysML Approach. (2018) [Report] (Unpublished)

[img]
Preview
(Document in English)

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

Abstract

The widespread of Unmanned Aerial Vehicles (UAVs) in various application domains has questioned the design methods used by UAV manufacturers. Migration from document centric approaches to Model-Based ones has stimulated research work on modeling languages and tools that reduce cost development and time to market. Among the various benefits one may expect from using a Model-Based System Engineering approach, the paper essentially considers a model as a reference for early detection of design errors in the life cycle of UAVs. The paper proposes designers to model the UAV in SysML and to use the free software TTool for safety analysis. TTool includes a SysML model editor, a model simulator and formal verification modules that rely safety analysis on mathematics rather than chance. The method associated with SysML and TTool is applied to a UAV in charge of taking pictures.

Item Type:Report
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 > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:27 Sep 2018 14:29

Repository Staff Only: item control page