Stood demonstration videos

• Click ​here to download a HOOD beginner's tutorial with Stood (executable file for Windows)
• Click ​here to download a AADL beginner's tutorial with Stood (executable file for Windows)

Stood design documentation examples

This section shows documentation that is automatically generated by Stood. The complete version of these examples is provided with the standard distribution under the examples_AADL directory.

• Click ​here A temperature regulation system. It can be used to illustrate the design and analysis of a discrete control system with the AADL Behaviour Annex.
• Click ​here A coffee machine control system. It can be used to show conditional computation with the AADL Behaviour Annex.
• Click ​here Bus communication between processors. It can be used to observe the impact of bus latency on thread scheduling.
• Click ​here A dataflow across a network. Can be used to evaluate end to end flow latency with computed thread response times.
• Click ​here This model is directly inspired from the Flight Control System example provided in APPENDIX B of the Requirements Engineering Management Handbook, DOT/FAA/AR-08/32, June 2009. Authors: David L. Lempia and Steven P. Miller, Rockwell Collins, Inc.
• Click ​here Requirements traceability report for the FightControlSystem design.
• Click ​here A small description of an aircraft flight system.This model is directly inspired from the one developed by Elie Najm and Irfan Hamid in 2004, in the context of the ASSERT European research project.
• Click ​here This example shows how to use Stood project and design concepts to elaborate a well structured system/software architecture from textual specifications.
• Click ​here Several threads with different priority and sharing common data. It can be used to observe the priority inversion problem.
• Click ​here Ventricular pacemaker simulator.
• Click ​here Ventricular pacemaker simulator test cases using AADL Inspector simulation.
• Click ​here A simplistic Fault Detection Isolation and Recovery system. It uses the AADL Behavior Annex to detect erroneous values and isolate the corresponding devices

Stood trial version

It is recommended to download the product via the ​Download page. In case of problem, the following links can be used instead:

• Click ​here to download a trial version of Stood for Windows
• Click ​here to download a trial version of Stood for Linux