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:

Issue tracking  Details

open closed Total
Bug 0 0 0
Feature 0 0 0
Support 0 0 0
Task 0 0 0

View all issues | Summary