= Stood demonstration videos =
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/HOOD_tutorial1.exe here] to download a HOOD beginner's tutorial with Stood (executable file for Windows)
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/AADL_tutorial1.exe 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 [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/AirConditioner.pdf 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 [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/CoffeeMachine.pdf here] A coffee machine control system. It can be used to show conditional computation with the AADL Behaviour Annex.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/EcoSolar.pdf here] Bus communication between processors. It can be used to observe the impact of bus latency on thread scheduling.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/EndToEndFlow.pdf here] A dataflow across a network. Can be used to evaluate end to end flow latency with computed thread response times.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/FlightControlSystem.pdf 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 [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/RequirementsTraceability.pdf here] Requirements traceability report for the !FightControlSystem design.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/FlightSystem.pdf 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 [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/Isolette.pdf here] This example shows how to use Stood project and design concepts to elaborate a well structured system/software architecture from textual specifications.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/MarsPathfinder.pdf here] Several threads with different priority and sharing common data. It can be used to observe the priority inversion problem.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/Pacemaker.pdf here] Ventricular pacemaker simulator.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/PacemakerTests.pdf here] Ventricular pacemaker simulator test cases using AADL Inspector simulation.
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/RedundantSystem.pdf 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 [http://www.ellidiss.com/downloads/ Download] page.
In case of problem, the following links can be used instead:
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/Stood550Windows.exe here] to download a trial version of Stood for Windows
 * Click [http://www.ellidiss.fr/public/wiki/attachment/wiki/demonstrationStood/Stood551Linux.tar.gz here] to download a trial version of Stood for Linux