AADL Inspector 1.8

AADL Inspector 1.8 is ready for download

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, and go to the download page to get a trial version of the product.

FACE is a trademark of The Open Group

AADL Inspector 1.6

AADL Inspector 1.6 is now available to download.

The new release includes:

  • Import of AADL textual specifications (individual files or projects)
  • Import of UML/MARTE, SysML or Capella models (experimental)
  • Import of AADL libraries from GitHub
  • Real-Time and Deployment wizards
  • Static rules analysis
  • Schedulability analysis

New Features in CP-HOOD release 7.2

CP HOOD release 7.2 is now available.

Improved Diagram Editor

Several improvements have been made to the diagram editing programs:-

  • The formal diagrams (HOOD diagrams, DFDs and STDs) are now in colour. Each symbol type has a colour. These can be modified using the maintenance program (HMAINT).
  • The canvas can be dragged by pressing the middle button and moving the mouse.
  • Items can be deleted from diagrams by pressing the delete key

New ADA Code generator

The code generator has been re-written. The new program makes it easier to control the style of the generated code

New EFA Document Format

A new document format has been added in response to the request EQN-J-460-M-101282. This includes the following features:-

  • Extra text fields on the front cover.
  • Security classification in national language as well as standard NATO classification.
  • Security classification in colour (red for secret, blue for confidential, black otherwise).
  • Security classification on front cover is same as highest in document.
  • Table with classified pages summary on front cover.
  • The table of contents contains hyperlinks to the pages referred to.

Extra Command Line Options on HMW

Object and design rename and the requirements cross reference export can now be performed non-interactively using command line options to HMW.

Mouse Wheel

The text editors (HITE and HSTE) now allow vertical scrolling using the mouse wheel.

New Options for Object List Program

The object list program (listobjs) has extra command line options to include the security classification in the output and to display details for a single object.

New 64 bit Linux Build

A second Linux version is available built on a 64 bit platform and using Motif 2.3.4.

New Features in CP-HOOD release 7.1

CP HOOD release 7.1 is now available.

Compare Facility

Version 7.1 includes a new facility to compare designs, objects or units. This allows you to compare a variant with the master or with another variant of the same master. You can also compare two different versions of the same unit.

The Compare facility uses the UNIX “sdiff” command to compare informal text units and ODSs.

Compare can also display lists of units showing which units are different and which only occur in one of the designs.

Extended Integrity Checker

The HPROBE integrity checker has been extended to perform a more thorough test on the data. It now checks that the list of objects in the dictionary is consistent with the directories. It also checks that the shared elements of variants are the same as the master. Where items are indexed, it checks that the indices correctly reflect the data. In the case of EFA customization installations, it checks that all the item names are in capitals.

Improved ODS Import

The program to import ODSs from text files has been re-written. It now handles reserved words in the free text. It additionally continues to scan the text after a syntax error has been found so that it can report more than one error.

Further Support for Variants

The variants feature added in release 7 has been extended. It is now possible to copy units or objects from a variant. In addition, the rename facility can now be used in variants.

Features in Stood 5.4 and AADL Inspector 1.2

STOOD 5,4 and AADL Inspector 1.2 are now available.

Stood 5.4 supports the latest release of the SAE AADL standard (AS-5506 rev B) by providing updated versions of the AADL code generator to interact with the other AADL compliant tools and the AADL code reversor to create diagrams from textual specifications.

Stood 5.4 also embeds AADL Inspector 1.2 for AADL code analysis.

AADL Inspector 1.2 includes updated versions of the following analysis tools:

  • Cheddar v3, including schedulability analysis for ARINC 653 partitioned systems
  • AADL 2.1 static rules checker
  • improved management of multi-files projects

New Features in CP-HOOD release 7.0

CP HOOD release 7.0 is now available.


Version 7 supports variants of a design.  A variant can be treated as a complete design for checking or document production but most of the data is taken from the master design. Variant specific elements can be whole objects, units such as sketches or ODS items such as operations and constants.


A sandbox is way of trying out changes to the design. Objects or units can be moved into a sandbox where they can be changed without affecting the originals. Changes to the originals are disallowed but they can still be used to produce documents. If the changes tried in the sandbox are acceptable, they can be moved back into the main design.


The help system has been modified to use HTML which can be viewed using a standard web browser. This will make it easier to navigate through the help pages.