-----------------------------
 ASYNCHRONOUS CONTROL SYSTEM
-----------------------------
This project shows an event driven "coffee machine" automata.
The user can control the coffe machine thanks to its 
automatically generated user interface.

The AADL Behavior Annex is used to implement the behavior 
of each thread. It shows examples of use of if..end if and for 
statements

A predefined scenario starts the production of coffe with milk 
and suggar, before refilling the water tank. Then, it is possible 
to interact directly with the coffee machine thanks to the 
control board. To open the control board, click on the icon of 
the process (sw) in the simulation display.