European Robotic Arm is launched into space

Ellidiss Technologies has provided the Stood design tool for the development of the real-time control software embedded into the European Robotic Arm (ERA). ERA has been developed for European Space Agency (ESA) by a European consortium, led by Airbus Defence and Space in the Netherlands. Airbus designed the arm and its software functions, managed the development of subsystems throughout Europe and integrated and tested the system.

The Stood tool is used for software architectural and detailed design tasks in many Avionics and Space projects. I includes a graphical editor as well as synchronized documentation and code generators for Ada and C. It fully supports the HOOD methodology. A dedicated version of Stood has also been developed for AADL.

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

Features in Stood 5.5

Stood 5.5 is now available.

Stood 5.5 is fully compliant with the most recent version of the AADL standard (v2.2) and its annexes.

The following features have been added or enhanced:

  • update of the AADL properties list with help and template
  • update of the AADL generation from instance model diagrams
  • update of the AADL import
  • interface with AADL Inspector 1.6
  • interface with Reqtify 2018
  • automatic generation of End to End flows
  • generation of Behavior Annex from state diagrams

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