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.
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.
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.
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