Get documents about "Generation of AADL Architecture Consistent
Document Sample
Generation of AADL Architecture Consistent
Models,
Work Products: Simulink Behavioral Models and
Distributed Embedded Software using OCARINA
AADL Workshop
, ,
June 12, 2009,
14th International Conference on RELIABLE SOFTWARE TECHNOLOGIES, ADA-Europe 2009
Gopal Raghav, Swami Gopalswamy (Emmeskay, Inc)
g , g (Telecom Paris-Tech)
Julien Delange, Jerome Hugues ( )
www.emmeskay.com
CONFIDENTIAL
info@emmeskay.com
Traditional Development vs. …
Requirements
Program
Definition
Release
Software
Specifications
V&V
Embedded
Software
Distributed Real Time
Embedded System
Physical System,
Embedded Hardware
2 CONFIDENTIAL
Model Driven Development vs. …
Requirements
Program
Definition
Release
V&V
Behavioral,
Executable
Models V&V
Embedded
Software
Distributed Real Time
Embedded System
Physical System,
Embedded Hardware
3 CONFIDENTIAL
Architecture Driven Development
Requirements
Program
Definition
V&V
Program Release
Architecture
V&V
Behavioral,
Executable
Models V&V
D
Demo
Toolchain: Embedded
OSATE Software
IME
Simulink
Distributed Real Time
Embedded System
Physical System,
Embedded Hardware
4 CONFIDENTIAL
Architecture Driven Development
Requirements
Program
Definition
V&V
Program Release
Architecture
V&V
Behavioral,
Executable
Models V&V
V&V
D
Demo
Toolchain: Embedded
OSATE Software
IME
Simulink
Distributed Real Time
Embedded System Models
Demo
Toolchain:
IME
Distributed Real Time
Simulink Embedded System
OCARINA Physical System,
Embedded Hardware
5 CONFIDENTIAL
Demo 1 Scenario (Apr Mtg)
AADL User Groups
(Corporate)
Program Controls
Program Team Suppliers
Development
Architecture
Business
Team Systems Design, Analysis
Engineering and Optimization
Program P j t
Project
Kick-off Management
Consistency?
Systems
Engineering D l t Environment
Development E i t
Other
Program Specific Application
Stakeholders
Analysis and
Behavioral Models (Simulink, Simulation
C, Modelica, )
C Modelica …) ( ,
Tools (Matlab,
Simulink, …)
6 CONFIDENTIAL
Demo 1 Workflow - Generation of Simulink Model
Consistent with Corporate Architecture
OSATE AADL architecture consists of systems only
dl
.aadl .aaxl
Import into IME
IME (scope of Demo)
Configure Architecture Consistent
Instantiation Tree Visualize
Compose Model and Architecture
Export from IME
Mine out Relevant Behavioral Models
Simulink
Author or Simulate
Behavioral Model
and perform V&V
7 CONFIDENTIAL
Multiple Architectural Views
Plant
Sensor Physical System Actuator Dynamics
Multiple, Valid, Architectural Dynamics Behavior
Views exist Control
Control Task 1
Different views or perspectives
Control Task 2
better suited for different
Actuator
analysis/development …
Drivers
Sensor Drivers
purposes Control Task n
Home Org Tasks at Tasks at
ECU1 Exec Rate 1 Exec Rate 2
Supplier A Div 1
ECU2 … Tasks at
Supplier B Div 2 Exec Rate n
…
Div 3 Scheduler Interrupt Service
ECUn Routines
8 CONFIDENTIAL
Example Need for Multiple Architectural Views
Application Software
Application Software ECU 1
X _Z
e e target_range
P1
Altitude look_angle
P2
C_T utsR sults
T estInp e
e e
X _Z
target range
target_ issile osition
M P
Altitude
look_angle issile ltitude
M A
alpha alpha
m
fin_com and m
fin_com and
mach mach
az m
_
az_m Bus
gyro_rate
q
Controller
irfram
A e
M B A
issile ody ngular Rate
ECU 2
P3
P5
P4
Distribute application software components among the different ECUs as separate tasks
9 CONFIDENTIAL
Controller Model 3 alpha
X _Z
e e target_range
Missile Guidance
lp a
ah
Auto System Model
4
a
m ch
speed
pilot Results
Altitude look_angle
5 az m
_ m
fin_com and 1
6
az_m m ad
fin_co mn
gyro_rate
e a d d o n le u g rg t a
D mn e lo ka g d rin ta e se rch
C_T utsR
T estInp esults
ro_rate
gy _
ad
sigm _
a dot
sigm_l_ sigm_l_dot
a a
sigm_d
1 target_range _
az d
rg t_ra g
ta e n e Targeting ated _elocity
estim _closing v
Guidance
ated
estim _closing v
_elocity az
_d target_range
e e
X _Z
M P
issile osition
2 al
sigm _
up t
a to ilo
o n le
lo k_a g
ro_
gy rate
Altitude
look_angle issile ltitude
M A
ated
estim _range ated
estim _range _fsm_
guidance state
guidance fsm_state
_ Controller
alpha alpha
acquire acquire _fsm_ state
guidance prev_
_
guidance fsm_prev_state m
fin_com and m
fin_com and
ta e g
rg tin u a ce
g id n mach mach
az m
_ Air frame
az_m
gyro_rate
q
o ller
C ntro
irfra e
A m
THR3
P2
issile ody ngular R
M B A ate
THR2
THR1
Demo2 Scenario
P1 P3
10 CONFIDENTIAL
Demo 2 Workflow Workflow in IME Workflow in Ocarina
AADL model with
references to
Behavioral Model Simulink model
AADL
Allocate Simulink Components to
AADL components
Real-time
Modified
Workshop Add Missing Elements
AADL
Application
Code
Embedded
Distributed Embedded
Di t ib t d E b dd d System
Code
Ocarina
O i
Software
11 CONFIDENTIAL
Workflow in IME
Simulink Behavioral
Set Attributes for
Model h
each component t
Set the Processor,
Process and Thread
View in different
Perspective
AADL
Export
12 CONFIDENTIAL
Application Software Architecture
X e _ Z e ta r g e t _ r a n g e
A ltitu d e lo o k _ a n g le
t c _ t e s t in p u t s re s u lt s
tc testinputsresults
tc_testinputsresults X e _ Z e
M is s ile P o s itio n
ta r g e t _ r a n g e
A ltitu d e
lo o k _ a n g le M is s ile A ltitu d e
airframe
a lp h a a lp h a
m a c h controller fin _ c o m m a n d fin _ c o m m a n d
m a c h
a z _ m
a z _ m
g y r o _ r a te
Simulink Model
q
c o n t ro lle r
a i r fr a m e
M is s ile B o d y A n g u la r R a te
IME
Architectural
View
13 CONFIDENTIAL
Original Architecture View
Embedded Architecture View
Processor
Process
Thread
Application
Software
Component
14 CONFIDENTIAL
Integrating Simulink and Ocarina
Simulink Matlab
C code
model RTW
AADL System AADL Deployment
IME Ocarina
architecture architecture
Generation of applications from AADL models using Application
Ocarina
15 CONFIDENTIAL
Simulation Results
3
-3
x 10 Alpha
1
Simulink
alph (deg)
Controller Prs
0.5
ha
0
0 2 4 6 8 10 12 14
time (sec)
3
-3
x 10 Fin Command
2
mmand (deg)
1
Simulink
fin com
Plant Prs
0
0 2 4 6 8 10 12 14
time (sec)
4
x 10 Missile Position
2
xe ze (m)
1
Simulink
e
Results Prs
0
0 2 4 6 8 10 12 14 16
time (sec) 16 CONFIDENTIAL
Where next …
Can we demonstrate an end-to-end process for
Architecture Driven Development on an Industrial Scale
Problem?
Combination of Models, Tools, and Hardware working
in sync to demonstrate the true benefits.
Can we actually calculate the ROI on these?
Program Requirements
Definitio
n
V&V
Program
g Release
Architecture
V&V
Behavioral,
Executable
Models V&V
V&V
Embedded
Software
Distributed Real Time
Embedded System Models
Distributed Real Time
Embedded System
Physical System,
Embedded Hardware
17 CONFIDENTIAL
Related docs
