Overview

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.

Issue tracking

View all issues