MASIW Framework

MASIW Framework is an open source Eclipse-based IDE for development and analysis of AADL models. It is developed by ISPRAS in cooperation with GosNIIAS.

The main features of the toolkit includes:

• textual and graphical editors for AADL model;
• checking AADL models for compliance with constraints described in REAL theorems.

See installation instructions in wiki.

You can introduce yourself with MASIW Framework features using the following Tutorial.

Additional information:

• MASIW-2017 booklet (in Russian)