European Robotic Arm is launched into space

Posted on by

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

Posted on by

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

Posted on by

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

Posted on by

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

Posted on by

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

Posted on by

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

Posted on by

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