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 OSATE
• library: reusable AADL models
• models: 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