Modeling and early validation of software architectures is a key concern for embedded applications. The Architecture Analysis and Design Language (AADL) is a textual and graphical language dedicated to design and analysis of architectural models of applicative software and its execution platform. AADL Inspector can process AADL v2.3 (SAE AS-5506D) as well as its Behavior Annex and Error Annex extensions. The rich semantics of AADL enable the specification of advanced assurance cases sharing a common representation of the system and involving a variety of analysis domains including static properties, real-time, safety and security. Thanks to its textual syntax, AADL is scalable and can be used as a first-class front end modelling language for designing large scale software intensive systems or as a pivot format to implement software development toolchains.
AADL Inspector is a light and standalone tool with an easy-to-use graphical user interface composed of three main parts:
- An AADL source file browser that allows for the definition of hierarchical projects and clear access to available libraries.
- A multi-files AADL text editor.
- A set of customizable tabs to activate and display the outcomes of processing tools.
The current version of AADL Inspector (v1.10) offers the following features:
- SysMLv2 support (New)
- SysMLv2 textual notation parser and printer
- Support of the SysMLv2 domain library for AADL
- Bidirectional SysMLv2 to AADL model transformation
- AADL support
- AADL Project browser
- Support of AADL 2.3 (SAE AS-5506D)
- Support of the AADL Behavior Annex
- Support of the AADL Error Annex (EMV2)
- Support of the AADL ARINC 653 Annex
- Support of the AADL FACE Annex
- Automatic model instantiation
- Other models import/export
- SysMLv1 import
- FACE import
- Capella P.A. import
- Generic XML/XMI/CSV import
- HOOD/SIF export
- Static Analysis
- AADL rules checkers
- Integration of the Ocarina AADL compiler
- Real-time analysis and simulation
- Scheduling Analysis with Cheddar
- AADL simulation with Marzhin
- End to End Flow Latency Analysis
- Safety & Security analysis
- EMV2 to OpenPSA transformation
- Fault Tree Analysis with Arbre Analyst
- Customizable Security rules checker
- LAMP Laboratory
- Prolog rules libraries
- Architectural reasoning
- Multi-languages cross processing
- User defined assurance cases
- AADL graphical modelling interface
- AADL instance model graphical generator
- Round-trip engineering with Stood for AADL
For a more information on the AADL Inspector product please refer to the Ellidiss Technologies wiki (www.ellidiss.fr).
for further information see AADL Inspector.
What's new in AADL Inspector 1.8 ?
What’s new in AADL Inspector 1.8 ?
Release 1.8 of AADL Inspector includes an update of many existing internal features and external tools. The main changes are listed below:
- Update of Cheddar to release 3.2
- Update of the OpenPSA Fault Tree generator
- Major update of the LAMP plugin:
- New Scheduling Aware end-to-end Flow Analysis (SAFLA) plugin, written with LAMP.
- New Security rules checker, written with LAMP.
- New FACE™ to AADL import, written with LAMP.
- New customizable SysML to AADL import, written with LAMP.
- New LAMP laboratory to experiment complex assurance case tools and multi-model processing
Please look at the AADL Inspector 1.8 Quick Start Guide and User Manual for further details.
FACE is a trademark of The Open Group
What about the SysML to AADL import feature ?
What about the SysML to AADL import feature ?
Most of existing SysML to AADL transformation tools are based on the definition of a dedicated UML profile to represent AADL constructs. This approach seems natural; however, it forces the system engineer to “think” AADL and requires SysML tool specific customizations.
On the contrary, our solution takes plain SysML XMI input files and applies LAMP transformation rules to build an AADL model. Source code of the transformation template is provided and can be customized to fit corporate or project specific SysML to AADL mapping.
A similar approach can be applied to any other model transformation.
What is LAMP ?
What is LAMP ?
The LAMP Laboratory included in AADL Inspector 1.8 is a powerful tool that enables the specification of customized processing rules and the implementation of complex assurance cases. LAMP stands for Logical AADL Model Processing and consists in giving access to standard Prolog programs inside AADL annex subclauses associated with AADL packages and components. Ellidiss Technologies provides a set of tools to parse AADL and XML/XMI based languages as well as Prolog libraries containing model accessors and utilities to help the user to develop his own exploration, constraints, transformation, and architectural reasoning rules. Use of an existing standard formal and declarative language such as Prolog brings almost unlimited model processing possibilities.