AADL models for the Crazyflie UAV, demonstrating various AADL toolchains
Note: This model is used as part of Georgia Tech OMSCS Class CS7639.
This set of models has been built as part of various classes on AADL. This model captures the high-level elements of the Crazyflie UAV by the bitcraze. It aims at illustrating basic CPS designs capabilities of AADL: model construction, analysis (flow latency, schedulability, fault analysis, code generation, ...)
This project has been defined to work properly with Ocarina, AADL-Inspector and OSATE
This model is organized as follows
diagrams
: graphical representation of the models, used by OSATElibrary
: reusable AADL modelsmodels
: core AADL models of the Crazyflie UAV
Simply import the GitHub project directly from OSATE, using the following menus:
File
-> Import
-> Git
-> Projects from Git
then, indicate the project URI
The following capabilities of OSATE are demonstrated:
- text editing
- graphical model browsing/editing
- flow latency analysis
- fault analysis, including fault tree analysis
Load the project file crazyflie.aic
from the models
folder
The following capabilities of AADL Inspector are demonstrated:
- text editing
- schedulability analysis using Cheddar
- model simulation using Marzhin
Use the provided makefile, type make help
for details
This model has been tested with
Tool | Version |
---|---|
OSATE | 2.2.3 |
AADLInspector | 1.6 |
Ocarina | 2017.x |