wiki:CaseStudies
close Warning: Can't synchronize with repository "(default)" (Couldn't open Subversion repository /var/repositories/svn/aadl: SubversionException: ("Failed to load module for FS type 'fsfs'", 160033)). Look in the Trac log for more information.

Case studies

Code generation and Runtime support

Flight Management

The Flight Management system was designed to test PolyORB-HI and prove the correctness of our code generator when designing large systems. This model models an avionics system that uses several threads and introduces many communication. More information are available on this page.

Lustre Integration

This case study shows how we can integrate Lustre application code in AADL models. The model defines three partitions, two partitions are executing C application code while another interacts using Lustre application code.

You can find more information on this page.

Esterel Integration

This case study shows how we can integrate Esterel application code in AADL models. The model defines three partitions, two partitions are executing C application code while another interacts using Esterel application code.

You can find more information on this page.

Simulink integration

This case study integrates Simulink code with our Ocarina generated code. The model defines three processes that executes Simulink subprograms. Data are sent over the network to connect Simulink subprograms.

The Simulink model used in this case study is available as an example in the Mathlab toolsuite. More information can be found on this page.

Scade integration

This case study integrates Scade code (from the Scade toolsuite produces by Esterel Studio with our Ocarina generated code. The model defines three processes that executes Scade subprograms. Data are sent over the network to connect Scade subprograms.


Learning AADL Materials

Streaming sound system

This case study designs a streaming system : one or two processes send data that contain music to other processes that receive and play the music. This example illustrates the importance of many AADL concepts and was used in our tutorial"Learn AADL in a pleasant way". You can also find more information about this example on our technical website.


Examples

AADL

Producer-consumer

The producer/consumer example model a simple system with two processes. One processes send data while the other print received data. This example is detailed here.

Toy

The toy example illustrates the use of shared data between several threads. It illustrates the use of mutexes with AADL. This example was tested with our Ocarina code generator and works with PolyORB-HI-C and PolyORB-HI-Ada. This example is detailed here.

AADL + Behavior Model Annex (AADL-BA)

Multi-modal ping-pong (AADL + Behavior Model Annex)

The multi-modal ping-pong example models a software architecture in which several components can either play the role of a ping component (send a "PING" message and wait for a "PONG" answer) or a pong component (wait for a "PING" message and answer "PONG"). This example illustrates the use of the Behavior Model Annex (AADL-BA) and the AADL modes.


Find more examples !

We also design more examples to test the correctness of our software. However, give a complete list of all our example would be too long. You can find more examples in the developer corner and all examples are included in each release of our software.

Last modified 6 years ago Last modified on 04/08/11 10:51:29