Solving the Instance Model-View Update Problem in AADL : Artifact : OSATE-DIM

Artifact for the Evaluation of the OSATE-DIM tool proposed in "Solving the Instance Model-View Update Problem in AADL", published at the International Conference on Model-Driven Engineering Languages and Systems (MODELS) 2022.

Cite this work as:

Mittal et al., "Solving the Instance Model-View Update Problem in AADL", International Conference on Model-Driven Engineering Languages and Systems 2022 (MODELS'22).

Files in the repository:

• osate2-2.11.0-vfinal-linux.gtk.x86_64_dim.zip : Eclipse product with pre-installed OSATE and OSATE-DIM for Linux x86_64 architecture platforms.
• osate2-2.11.0-vfinal-win32.win32.x86_64_dim.zip : Eclipse product with pre-installed OSATE and OSATE-DIM for Windows 32-bit x86_64 architecture platforms.
• OSATE-DIM Artifact README.pdf : Guide to use the OSATE-DIM artifact.