--------------------
 PRIORITY INVERSION 
--------------------
This model is an adapted copy of the one provided in the AADLib site: 
https://github.com/OpenAADL/AADLib/tree/master/examples/pathfinder_system
It gives a simplified representation of the "priority inversion" problem 
that caused an unplanned reboot of the mars pathfinder rover in 1997.
The problem was solved by changing the RTOS configuration from the earth 
by switching on the shared data concurrency access control protocol.

The correct and erroneous behaviors can be simulated with the AADL model by 
keeping or removing the Concurrency_Control_Protocol property 
in the root system (click on the "Show root" button while this project 
is selected to access the right location)