Modelling and Analyzing based on AADL OSATE versus STOOD
description
Transcript of Modelling and Analyzing based on AADL OSATE versus STOOD
![Page 1: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/1.jpg)
MODELLING AND ANALYZING BASED ON AADL
OSATE VERSUS STOOD
Farhana Rahman, Carleton University
Yu Sun, University of Ottawa
![Page 2: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/2.jpg)
OUTLINE
Introduction
Scenario & Background
Architecture Analysis & Design Language (AADL)
STOOD & OSATE
Experimental Design
Evaluation Criteria & Method
Test Cases
Comparison, Analysis & Solution
Conclusion
![Page 3: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/3.jpg)
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.
![Page 4: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/4.jpg)
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.
![Page 5: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/5.jpg)
AADL REPRESENTATIONS
Figure 4. AADL Representations [1]
INTRODUCTION
![Page 6: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/6.jpg)
AADL COMPONENTS
Figure 5. AADL Components [1]
INTRODUCTION
![Page 7: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/7.jpg)
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
![Page 8: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/8.jpg)
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
![Page 9: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/9.jpg)
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
![Page 10: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/10.jpg)
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
![Page 11: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/11.jpg)
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.
![Page 12: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/12.jpg)
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
![Page 13: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/13.jpg)
METHODOLOGY: NIH SCORING SYSTEM [4]
EXPERIMENTAL DESIGN
![Page 14: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/14.jpg)
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
![Page 15: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/15.jpg)
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
![Page 16: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/16.jpg)
COMPARISON: MODELLING (OSATE)
Comparison, Analysis & Solution
graphical design
textual design
property settings
tool bar
menu
object model
![Page 17: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/17.jpg)
COMPARISON: MODELLING (OSATE)
Comparison, Analysis & Solution
No specification alert
![Page 18: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/18.jpg)
COMPARISON: MODELLING (STOOD)
Comparison, Analysis & Solution
graphical design
textual design
property settings
tool bar
menu
![Page 19: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/19.jpg)
COMPARISON: MODELLING (STOOD)
Comparison, Analysis & Solution
graphical design
textual design
only available ports shown
save changes
![Page 20: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/20.jpg)
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
![Page 21: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/21.jpg)
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (OSATE)
Comparison, Analysis & Solution
![Page 22: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/22.jpg)
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (OSATE)
Comparison, Analysis & Solution
model statistics
application statistics
![Page 23: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/23.jpg)
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (STOOD)
Comparison, Analysis & Solution
different checking rules
![Page 24: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/24.jpg)
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS (STOOD)
Comparison, Analysis & Solution
![Page 25: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/25.jpg)
COMPARISON: MODEL VERIFICATION & BASIC ANALYSIS
Comparison, Analysis & Solution
OSATE STOOD
Fault Detection at Early Stage
Model Statistic Checking
Mark 2 5
![Page 26: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/26.jpg)
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
![Page 27: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/27.jpg)
COMPARISON: MORE SUPPORT ON MODEL ANALYZING (OSATE)
Comparison, Analysis & Solution
![Page 28: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/28.jpg)
COMPARISON: MORE SUPPORT ON MODEL ANALYZING (STOOD)
Comparison, Analysis & Solution
![Page 29: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/29.jpg)
COMPARISON: MORE SUPPORT ON MODEL ANALYZING
Comparison, Analysis & Solution
OSATE STOOD
Schedulability Analysis
Problem Identification
Mark 2 5
![Page 30: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/30.jpg)
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
![Page 31: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/31.jpg)
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
![Page 32: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/32.jpg)
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
![Page 33: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/33.jpg)
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
![Page 34: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/34.jpg)
CONCLUSION
Conclusion
OSATE!
NIH Scoring & Analysis
2 Test Cases
7 criteria
![Page 35: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/35.jpg)
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].
![Page 36: Modelling and Analyzing based on AADL OSATE versus STOOD](https://reader036.fdocuments.in/reader036/viewer/2022062315/56816492550346895dd665ad/html5/thumbnails/36.jpg)
THANK YOU!