M ODELLING AND A NALYZING BASED ON AADL OSATE VERSUS STOOD Farhana Rahman, Carleton University Yu Sun, University of Ottawa

MODELLING AND ANALYZING BASED ON AADL

OSATE VERSUS STOOD

Farhana Rahman, Carleton University

Yu Sun, University of Ottawa

OUTLINE

Introduction

Scenario & Background

Architecture Analysis & Design Language (AADL)

STOOD & OSATE

Experimental Design

Evaluation Criteria & Method

Test Cases

Comparison, Analysis & Solution

Conclusion

XYZ SOFTWARE SYSTEM INC.

o Established in 2010

o A mid-sized start-up company

o Focus on the development of real-time embedded systems

INTRODUCTION

time consuming & costly

Figure 1. XYZ Software System Inc.

ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL)

INTRODUCTION

Figure 2. Architectural Model

AADL, as an international industry

standard, it

• supports multiple analyses

from a single architectural

model

• enables modeling and analysis

throughout the life cycle

• provides analysis of runtime

behavior such as availability,

performance, and security.

AADL REPRESENTATIONS

Figure 4. AADL Representations [1]

INTRODUCTION

AADL COMPONENTS

Figure 5. AADL Components [1]

INTRODUCTION

CANDIDATE TOOLS: OSATE & STOOD

INTRODUCTION

OSATE (Open-source AADL Tool Environment) [2]

Developed by Software Engineering

Institute, Carnegie Mellon University

Eclipse based, full language, full AADL XMI

support

Integrated text and graphical editing with

TOPCASED

Analysis plug-ins Figure 6. OSATE Plug-In Development for AADL

CANDIDATE TOOLS: OSATE & STOOD

INTRODUCTION

STOOD [3]

Commercial modelling tool developed

by Ellidiss Software

AADL-related features

Legacy Ada and C code import

Industry standards compliance, including

D0178B

Full UNIX/Windows interoperability

Provides state of the art real time

software development offering UML 2.0

with full software modeling

EVALUATION CRITERIA

EXPERIMENTAL DESIGN

• Modelling• Models Verification and Basic Analysis

Essential / Critical Criteria

• Easiness of Use• More Support on Model Analyzing• Technical Support

Important Criteria

• Code and Documents Generation• Low Entry-costDesired Criteria

ESSENTIAL / CRITICAL CRITERIA

EXPERIMENTAL DESIGN

Functional Features: Modelling

Strong support for both the AADL standard textual and graphical notations

Comply with the AADL syntax and semantics

Model import/export

Consistence between model and text

Functional Features: Models Verification and Basic Analysis

Ability of fault detecting at early deigned phase

Model statistic checking along with application

IMPORTANT CRITERIA

EXPERIMENTAL DESIGN

Easiness of Use

Installation and system requirement

Training Requirement

Interface

More Support on Model Analyzing

Schedulability analysis

Problem identification

Technical Support

Supporting documentation available, such as tutorials, examples, on-line help,

etc.

DESIRED CRITERIA

EXPERIMENTAL DESIGN

Code and Document Generation

Essential code and document generated from the system model

Low Entry-cost / Pricing

Lowest cost as possible

METHODOLOGY: NIH SCORING SYSTEM [4]

EXPERIMENTAL DESIGN

METHODOLOGY: SCORING SYSTEM

EXPERIMENTAL DESIGN

Category No. Criteria Priority (Pi) Score (Si)

Essential / Critical

0 Modelling 1 1 - 9

1 Model Verification & Basic Analysis 1 1 - 9

Important

2 Easiness of Use 2 1 - 9

3 More Support on Model Analyzing 2 1 - 9

4 Technical Support 2 1 - 9

Desired5 Code & Document Generation 3 1 - 9

6 Low Entry-cost 3 1 - 9

METHODOLOGY: TEST CASES

EXPERIMENTAL DESIGN

Speed Control System

A simplification of an aeronautical, automotive, or other vehicle speed control

system. It includes a speed sensor that provides data to a controller. The

controller outputs a command to a throttle actuator.

Avionics System Models, SEI, Carnegie Mellon University [5]

sensor data

command data

COMPARISON: MODELLING (OSATE)


graphical design

textual design

property settings

tool bar

menu

object model

COMPARISON: MODELLING (OSATE)


No specification alert

COMPARISON: MODELLING (STOOD)


graphical design

textual design

property settings

tool bar

menu

COMPARISON: MODELLING (STOOD)


graphical design

textual design

only available ports shown

save changes

COMPARISON: MODELLING


OSATE STOOD

Graphical & Textual Support

Comply with AADL Syntax & Semantics

Model import/export

Consistency between model and text

Automatically realize the consistency between the

textual and graphical design

Cannot update the

graphical design automatically after changing the text

Mark 2 4

COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (OSATE)


COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (OSATE)


model statistics

application statistics

COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (STOOD)


different checking rules

COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (STOOD)


COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS


OSATE STOOD

Fault Detection at Early Stage

Model Statistic Checking

Mark 2 5

COMPARISON: EASINESS OF USE


OSATE STOOD

Installation

Easy to install, but Java 5.0 or higher and Eclipse 3.3 or higher required;

platform independent

Both the installation file for

Windows and Unix are offered with instructions, easy to install.

Training

With a few background of AADL

language, one can build the illustrated model within 1 day and analysis the

model within one week.

With a few background of AADL,

one can build the illustrated model within 2 days and analysis the

model within 10 days.

Interface

Easier to switch between textual and

graphical view. A lot buttons are offered on the tool bar, but some are

not quite often-used.

Simple interface, but it is not as

easy as OSATE concerning finding certain functions or switching

between the code and diagrams.

Mark 3 5

COMPARISON: MORE SUPPORT ON MODEL ANALYZING (OSATE)


COMPARISON: MORE SUPPORT ON MODEL ANALYZING (STOOD)


COMPARISON: MORE SUPPORT ON MODEL ANALYZING


OSATE STOOD

Schedulability Analysis

Problem Identification

Mark 2 5

COMPARISON: TECHNICAL SUPPORT


OSATE STOOD

Manual

User manual offered together with the eclipse platform

User manuals available with the

installation package

Tutorial

A complete tutorial for the previous release with example available

Complete tutorial for STOOD 5.2, which works well for STOOD 5.3

Example Model

Several examples available online;

one detailed example with instructions offered by SEI course

Examples available together with

the installation package.

Other Resource

AADL community

Technical support from Ellidiss

Mark 3 1

COMPARISON: DOCUMENT & CODE GENERATION


OSATE STOOD

Document Generation

Document Generation not

supported.

Document auto generation

supported with the formation of PDF, PS, Word, etc.

Code Generation

Code generation not supported with

itself, but can be achieved using Ocarina plug-in for Eclipse.

Can generate some basic C and Ada code, but the code is not completely functional and put into use without modification.

Mark 7 3

COMPARISON: LOW ENTRY-COST


OSATE STOOD

Price Open source, free!

STOOD itself is a commercial tool.

Free trial version can be downloaded, but it is limited to 10

hood without analysis support offered with AADL Inspector.

Mark 1 6

ANALYSIS & SOLUTION


Category No. Criteria Priority (Pi) OSATE STOOD

Essential / Critical

0 Modelling 1 2 4

1 Model Verification & Basic Analysis 1 2 5

Important

2 Easiness of Use 2 3 5

3 More Support on Model Analyzing 2 2 5

4 Technical Support 2 3 1

Desired5 Code & Document

Generation 3 7 3

6 Low Entry-cost 3 1 6

Mark 44 58

CONCLUSION

Conclusion

OSATE!

NIH Scoring & Analysis

2 Test Cases

7 criteria

REFERENCES

[1] P. H. Feiler, D. P. Gluch and J. J. Hudak, "The Architecture Analysis & Design Language (AADL):

An Introduction“, Carnegie Mellon University, 2006.

[2] Carnegie Mellon University, "AADL | Tool Integrators |Toolsets | OSATE“, Carnegie Mellon

University, 2011. [Online].

Available: http://www.aadl.info/aadl/currentsite/tool/osate.html. [Accessed 2 2012].

[3] Ellidiss Software, "STOOD - Modeling Tools“, Ellidiss Software, 2012. [Online].

Available: http://www.ellidiss.com/stood.asp . [Accessed 2 2012].

[4] National Institute of Health, "Scoring System and Procedure“, Maryland, USA, 2008.

[5] Software Engineering Institute, "SAE AADL Example Models “, Carnegie Mellon University,

2011. [Online].

Available: http://www.aadl.info/aadl/currentsite/examplemodel.html. [Accessed 2 2012].

THANK YOU!