m odelling and a nalyzing based on aadl osate versus stood farhana rahman, carleton university yu...
TRANSCRIPT
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)
Comparison, Analysis & Solution
graphical design
textual design
property settings
tool bar
menu
object model
COMPARISON: MODELLING (OSATE)
Comparison, Analysis & Solution
No specification alert
COMPARISON: MODELLING (STOOD)
Comparison, Analysis & Solution
graphical design
textual design
property settings
tool bar
menu
COMPARISON: MODELLING (STOOD)
Comparison, Analysis & Solution
graphical design
textual design
only available ports shown
save changes
COMPARISON: MODELLING
Comparison, Analysis & Solution
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, Analysis & Solution
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (OSATE)
Comparison, Analysis & Solution
model statistics
application statistics
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (STOOD)
Comparison, Analysis & Solution
different checking rules
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (STOOD)
Comparison, Analysis & Solution
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS
Comparison, Analysis & Solution
OSATE STOOD
Fault Detection at Early Stage
Model Statistic Checking
Mark 2 5
COMPARISON: EASINESS OF USE
Comparison, Analysis & Solution
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, Analysis & Solution
COMPARISON: MORE SUPPORT ON MODEL ANALYZING (STOOD)
Comparison, Analysis & Solution
COMPARISON: MORE SUPPORT ON MODEL ANALYZING
Comparison, Analysis & Solution
OSATE STOOD
Schedulability Analysis
Problem Identification
Mark 2 5
COMPARISON: TECHNICAL SUPPORT
Comparison, Analysis & Solution
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
Comparison, Analysis & Solution
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
Comparison, Analysis & Solution
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
Comparison, 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!