From AadlWiki

Jump to: navigation, search


Requirements Definition and Analysis Language (RDAL) Tool Environment

See presentation and tutorial from the Feb 2013 User Day. It illustrates illustrating the Isolette example from the FAA Requirements Engineering Handbook developed according to the 11 step requirement engineering process specified in the handbook.

You can also find a link to the draft Requirement Annex document at the above link.

RDALTE sources on github

You need to import the projects from these repositories:

RDALTE Download

RDALTE has been updated to work with OSATE2 under Eclipse Juno. OSATE2 was migrated to Juno with its Jan 2013 release. The tool can be installed once OSATE2 has been started with the update manager and the http://www.open-people.fr/osate2-update/ update site. Select everything in the update site. The release contains a complete set of example models for the Isolette example of the FAA Requirement Engineering Management Handbook. The example models can be installed from the "File >> New >> Exmaple" menu.

Use cases are modeled with the User Requirements Notation ITU standard. To be able to view and simulate the use cases, you will need to install the jUCMNav tool in the Eclipse workbench from the http://jucmnav.softwareengineering.ca/jucmnav/updatesite/.

Latest Additions to RDALTE

The requirements specification of the example projects has been modified to include duplicates of existing OCL requirements but expressed in Lute. We have also added a compatibility function to our tool that will prompt for updating existing requirements specifications due to changes of the new release (the OCL language ID in the constraints model defining the available languages has changed).

To be able to express our requirements, we had to add the following features to the Lute language:

  • Handle real values besides integers.
  • Added Self construct.
  • Added set functions such as First, Last, At, Sum.
  • Added Is_Of_Type function for testing the AADL type/implementation of a component.
  • Added / and ^ (power) arithmetical operations.
  • Implemented Unit conversion.
  • Added various string operations (Concat, Substring, Length, Index_Of).
  • Added predefined sets for new V2 categories (abstract, abstract processor, etc.).
  • Allowed the interpreter to work on the declarative model (feature not tested a lot).

As usual, your feed back is welcome (dominique.blouin at univ-ubs.fr).

Personal tools