headers

AADL Inspector

DOWNLOAD TRIAL VERSIONS

Download a product trial now and start enjoying the benefits.

AADL Inspector is a model processing framework for AADL. Its aim is to provide an easy to use and extensible tool to perform static and dynamic analysis of AADL architectures, and to easily connect any AADL compliant verification tool or code generator.

The current version of AADL Inspector (v1.6) encompasses the following features:

  • Import of AADL textual specifications (individual files or projects)
    • Syntactic analysis (aadlrev)
    • AADL v2.2 (AS-5506C)
    • AADL Behavior Annex v2.0 (AS-5506/2A Annex D)
    • AADL Error Model Annex v2.0 (AS-5506/1A Annex E)
    • AADL ARINC 653 Annex (AS-5506/1A Annex A)
    • AADL v1, v2.0 and v2.1 upwards compatibility
    • Converts older AADL models into v2.2 (with a few restrictions on property associations)
  • Import of UML/MARTE, SysML or Capella models (experimental)
  • Import of AADL libraries from GitHub
  • Real-Time and Deployment wizards
  • Static rules analysis
    • Turnkey integration of OCARINA syntactic and semantic analysers
    • Customizable AADL rules checkers with LMP
    • Declarative model metrics
    • Automatic detection of the root system
    • Automatic elaboration of the instance model
  • Schedulability analysis
    • Turnkey integration of the CHEDDAR v3 analysis kernel
    • AADL to Cheddar model transformation
    • Enhanced output format for post-processing
    • VCD (Value Change Dump) file output of the scheduling static simulation
    • Response time analysis
  • Dynamic simulation
    • Turnkey integration of the MARZIN v2 Multi-Agents simulation engine
    • Emulation of the AADL run-time (multi-core, multi-processor and multi-partition architectures)
    • Display of dynamic time-lines for Processors, Buses, Processes, Threads and Shared Data
    • Asynchronous user interaction: in and out events and data
    • Simulation scenarios (input ports) and probes (output ports)
    • VCD (Value Change Dump) file output of the simulation trace
  • Model Properties spreadsheet
    • Extracts main RT properties from all the Thread instances
    • Software to Hardware allocation
    • Separate configuration files
  • PDF documentation generator
  • Ada and C code generators (Ocarina)
  • Tool customization capabilities
    • “plug and check” analysis tools
    • Scripting language for plugins definition
    • Command line options
  • Powered by LMP (Logic Model Processing)
    • AADL and XML/XMI parsing
    • Model query language
    • Model constraints language
    • Model transformation language

 

For a more information on the AADL Inspector product please refer to the Ellidiss Technologies website (www.ellidiss.fr).

for further information see AADL Inspector.

In what does AADL brings more than UML ?

In what does AADL brings more than UML ?

Standard definition of UML 1.x or 2.0 provides very powerful general purpose Object-Oriented modelling constructs. However, the core of this language doesn’t provide direct support for real-time applications. Such a support may be found in specialised profiles which status regarding the official standard is not always easy to define. Moreover, there is an action that aims at defining the AADL as a new UML profile.

Learn More about AADL

What about SysML ?

What about SysML ?

SysML is a domain specific language for systems engineering applications. It is specified as a UML 2.0 profile. It currently doesn’t directly focus on the specific issues of real-time embedded systems that are addressed by the AADL.

Learn more about AADL

DOWNLOAD TRIAL VERSIONS

Download a product trial now and start enjoying the benefits.