2020
DOI: 10.1109/jmass.2020.3013325
|View full text |Cite
|
Sign up to set email alerts
|

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

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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
22
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
4
2
1

Relationship

3
4

Authors

Journals

citations
Cited by 23 publications
(23 citation statements)
references
References 25 publications
0
22
0
Order By: Relevance
“…3) Methods developed for specific tools whilst remaining applicable to a broad variety of systems. For instance, [27] associates a method with SysML and free software TTool [36], and discusses application to drones. 4) Methods non initially developed for MBSE can be extended with MBSE features.…”
Section: E Methodsmentioning
confidence: 99%
See 2 more Smart Citations
“…3) Methods developed for specific tools whilst remaining applicable to a broad variety of systems. For instance, [27] associates a method with SysML and free software TTool [36], and discusses application to drones. 4) Methods non initially developed for MBSE can be extended with MBSE features.…”
Section: E Methodsmentioning
confidence: 99%
“…In [26] Reilly, Edwars, Peak and Mavris state that 'modelbased methods must provide more than just descriptive information'. Models become references for early debugging of design errors in the first steps of the system's life cycle [27], for automated code generation [28], and for automated generation of test sequences [29].…”
Section: Mbse Toolsmentioning
confidence: 99%
See 1 more Smart Citation
“…Prosvirin et al [85] presented model-based systems engineering environment that can auto-generate the code that complies with several aerospace standards. Some well-known general modeling language such as systems modeling language (SysML) and architecture analysis and design language (AADL) were used in avionic system design as well [86][87][88][89]. There were also efforts to challenge the traditional "Waterfall" software development approach.…”
Section: Research Attempts For Certifying Avionics Of Aerial Robotsmentioning
confidence: 99%
“…A comparison and evaluation of real-time modeling languages was addressed in [7] with respect to amongst other criteria the scope, the formalism, and the architectural coverage. Several real-time software system modeling languages were reviewed, namely the Architectural Analysis and Design Language (AADL) [9], the Unified Modeling Language (UML) [10], Systems Modeling Language (SysML) [11], [12], the Modeling and Analysis of Real-Time Embedded Systems (MARTE) UML profile [2], and the AADL for UML profile. As a result, MARTE, in addition to being compatible with all of these languages, appeared to be the most suitable language to model RTES regarding the modeling of the compile time, execution, and deployment nature of software.…”
Section: Related Workmentioning
confidence: 99%