Project

General

Profile

News

MASIW Framework update at 27.03.2017

Added by Alexandr Ugnenko over 4 years ago

New features:
  • Pycl - Python-based Constraint Language allows you to create functions to verify the requirements and constraints applied to the being developed software and hardware systems;
  • integration with Requality - tool for managing of the requirements applied to the being developed software and hardware systems ( https://forge.ispras.ru/projects/reqdb );

Also the update includes a number of bug fixes across various components of MASIW Framework.

MASIW Framework update at 16.05.2016

Added by Alexandr Ugnenko over 6 years ago

This update adds support of controlling modes in components/subcomponents.
Now you can:
  • change current mode for component/subcomponent in the MASIW Projects View or in the Graphical Editor;
  • edit component/subcomponent contents in certain mode in the Graphical Editor.
Known issues:
  • if model was edited in the Graphical Editor you must save changes before change a mode in any component/subcomponent;
  • after project was (re)built all components/subcomponents in instance file will be in initial mode.

MASIW Framework 4.1.1 released

Added by Alexey Khoroshilov over 8 years ago

The main new feature of this update is support for viewing connection, memory and processor bindings in AADL Graphical Editor.
Now you can
  • enable/disable showing all bindings of a particular kind using corresponding MASIW Toolbar buttons;
  • enable/disable showing bindings for a particular component using context menu.

Also the update includes a number of bug fixes across various components of MASIW Framework.

MASIW Framework released under open source license

Added by Alexey Khoroshilov about 9 years ago

We are happy to announce availability of MASIW Framework 4.1 under Eclipse Public License.

MASIW Framework is an Eclipse-based IDE for development and analysis of AADL models.
The major features of the toolset include:
- support of AADL v2.1;
- textual and graphical editors for AADL models;
- checker for AADL legality and consistency rules;
- checker of AADL models for compliance with constraints described as REAL theorems.

You are welcome to leave your feedback and bug reports at the main project site:
http://forge.ispras.ru/projects/masiw-oss

    (1-4/4)

    Also available in: Atom