Isolette example

From AadlWiki

Jump to: navigation, search

The isolette example is a joint project that involves different AADL contributors. It aims at demonstrating different capabilities of the AADL, among them:

  • Error Model Annex
  • BLESS annex
  • Requirements Annex

Contents

Overview

The project code and AADL source file can be found on https://github.com/osate/examples/tree/master/isolette

Specifications

Requirements

Behavior description

Error Model Definition

Use of tools

Error-Model Annex

Behavior validation

Requirements traceability

Personal tools