OSATE-DIM: Examples

OSATE-DIM is validated through 2 case studies.

The first case-study is taken from the MC-DAG framework [1] where the change on instance models consists of addition of various mixed-criticality static scheduling tables and time-related properties to various components of an unmanned aerial vehicle control system. These additions need to be reflected on the declarative side in the appropriate AADL objects.

The second case-study is an example from the RAMSES benchmark suite, which consists of various refinements on an instance model corresponding to design patterns. This is a more complex example which includes additions, deletions, and object updates.


[1] Roberto Medina, Étienne Borde, and Laurent Pautet. 2018. Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures. In2018 IEEE Real-Time Systems Symposium (RTSS). 254–264. https://doi.org/10.1109/RTSS.2018.00042