Transcript Model-Based Development of Real

Advanced Real-Time Simulation
Laboratory
Prof. Gabriel A. Wainer
Dept. of Systems and Computer Engineering
http://www.sce.carleton.ca/faculty/wainer
Engineering @ Carleton University Centre on Visualization
and Simulation (V-Sim)
• Interdisciplinary research
• Defence and Emergency
• Biology
• Environmental Sciences
• Mechanical Engineering
• Aerospace Engineering
• Cognitive Science
• Systems and Computer Engineering
• Architecture and City Planning
• Traffic
• Gaming
Research areas
• Defining advanced modelling and Simulation methodologies
• Integrating techniques for development of simulations with
hardware-in-the-loop
• M&S as basis for development of embedded Real-Time systems
• Improved performance and collaboration through parallel and
distributed techniques
• Open-Source model
Layered View on M&S
Visualization
Applications
Models
Execution Engines (Simulators)
(single/multi Proc/RT)
Middleware/OS (Corba/HLA/P2P/MPI/WS…;
Windows/Linux/RTOS…)
Hardware (Workstations/Clusters/SBC…)
Simulation Techniques
Model-Based Development of Real-Time Systems

Integrate M&S in every step of the development
of embedded RT systems.

M&S-based architecture: models used in
simulation are the target for end products.


Rapid prototyping
Encourages reuse
Cost-effective

Prototype tools readily available

Model-Based Development of Real-Time Systems
M icrocontroller
Button Controller
button_1
button_2
button_3
button_4
M icrocontroller
Display Controller
Button Controller
Display Controller
Elevator
Controller
Unit
Sensor Controller
RT-CD++
display
Elevator Box
Elevator
Controller
Unit
Engine
a ctivate
direction
Sensor
Controller
RT-CD++
-
Engine
result
Time
00:06:120
00:06:130
00:15:930
00:56:800
00:56:810
01:01:130
01:22:710
Port
direction
activate
activate
direction
activate
activate
direction
Time
00:06:130
00:15:930
00:56:810
01:01:130
(…)
Out-port
result
result
result
result
Value
1
1
0
2
1
0
2
components: eng@Engine
in
: activate_in direction_in
out : result
link : activate_in
activate@eng
link : direction_in
direction@eng
Value
1
0
2
0
- Users develop simulated models
- Move components to target
platform (no changes in model’s
coding)
Model-Based Development of Real-Time Systems
- Robot prototype
- 6 man-hours to develop the whole
controller, test, modify, retest
- Simulation-based solution (model
controls the robot)
- Motor controller
- Multi-motor controller
Model-Based Development of Real-Time Systems
- Model-based applications
- Enhanced facilities for testing
- Model execution: guaranteed to be
correct (formal specification)
- Fully developed controller with
sensor feedback
- Remote control application
Model-Based Distributed Simulation
Rendering/Visualization
(CIMS
Parallel Simulation
CA*net 4/
Internet
WSRF-Engine
(Globus)
Stand-alone Simulation
`
UCLP Services
Web service client
Data capture
(Camera)
BPEL engine
(Webspher)
* see Notes
Modelling and Simulation
Methodologies and Tools
Layered View on M&S
Visualization
Applications
Models
Execution Engines (Simulators)
(single/multi Proc/RT)
Middleware/OS (Corba/HLA/P2P/MPI/WS…;
Windows/Linux/RTOS…)
Hardware (Workstations/Clusters/SBC…)
Main Goals
•
Reuse of simulation software in a different context?
•
Reuse of experiments carried out?
•
Changes/Updates in the model?
•
Engineering approach?
•
How do we validate the results?
Varied methods for modelling
- High level specifications translated into
executable code
* see Notes
Varied methods for modelling
High Level Specifications
model circuit
Modelica.Electrical.Analog.Sources.PulseVoltage
V(V=10, width=50, period=2.5);
Modelica.Electrical.Analog.Basic.Resistor R1(R=0.001);
Modelica.Electrical.Analog.Basic.Inductor I1(L=500);
Modelica.Electrical.Analog.Basic.Inductor I2(L=2000);
Modelica.Electrical.Analog.Basic.Capacitor C(C=10);
Modelica.Electrical.Analog.Basic.Resistor R2(R=1000);
Modelica.Electrical.Analog.Basic.Ground Gnd;
equation
connect(V.p, R1.p);
connect(R1.n, I1.p);
connect(R1.n, I2.p);
connect(I2.n, C.p);
connect(I2.n, R2.p);
connect(C.n, I1.n);
connect(R2.n, C.n);
connect(I1.n, V.n);
connect(V.n, Gnd.p);
end circuit;
Integrated Development Environment
Applications
Layered View on M&S
Visualization
Applications
Models
Execution Engines (Simulators)
(single/multi Proc/RT)
Middleware/OS (Corba/HLA/P2P/MPI/WS…;
Windows/Linux/RTOS…)
Hardware (Workstations/Clusters/SBC…)
Current developments
Applications
Traffic Modelling
- High-level specification
language for traffic M&S
-Automated simulation
generation
- Integration with GIS
and Immersive
Environment
applications
- Advanced 3D visualization
(work-in-progress)
3D visualization (being updated)
Applications
Biology and Medicine
Molecular Biology
Enzyme kinetics
Ion channels
Metabolic Pathways in human cells
Synapsin/Vesicle
interactions
Biology
40
Heart tissue
20
0
données expémentales et approximation polynomiale
-20
Liver cells
-40
-60
-80
-100
Encapsulated Cancer
- Ottawa Heart Institute
- UC Berkeley/UCSF
- Dept. of Biology, Carleton
0
0.5
1
1.5
2
2.5
4
x 10
Physics and Chemistry
Heat Spread

Binary solidification
Surface Tension
Flow Injection Analysis Model
No Quantum, 120ms
Q-DEVS 0.1, 120ms
Quantum Standard 0.7 Dynamic 1 - 0.05, 120ms
Applications
Environmental Systems Analysis
Landslides
Pollution
Forest Fires
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
110
105
100
95
90
85
80
75
70
65
60
55
50
45
40
35
30
25
20
15
10
5
0
110
105
100
95
90
85
80
75
70
65
60
55
50
45
40
35
30
25
20
15
10
5
0
Flooding
1
2
3
4
5
6
7
8
9
28 29 30
25 26 27
22 23 24
19 20 21
16 17 18
13 14 15
10 11 12
1
2
3
4
5
6
7
8
9
28 29 30
25 26 27
22 23 24
19 20 21
16 17 18
13 14 15
10 11 12
Fire Spread Modeling
T (K)
Tig = 573 K
Tf = 333 K
(ti, Ta)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
active
unburned
t
burning
burned
Applications
Networking
Network Performance Analysis
Type
Signal
Physical
Layer
Data
Sensing
Output to Applicaion
Layer
Datagram
(TCP Packet)
Stripper
Trasnport Layer
FTP
Telnet
Checksum
Verifier
HTTP
Data from
user (EV)
Output to
next Device
Data link
layer
Receiver
Output to
Data link
layer
Transmitter
Checksum
Creator
Output to
Transport
Layer
Network Layer
Output to user
(Console/ out file)
Datagram
(TCP Packet)
Creator
Network
transmitter
Incoming
From Data
Link Layer
Receiver
Signal if TCP Packet has been
received or lost
Input From Applicaion
Layer
Signal
Output to Network
Layer
Data
Destination IP
SMTP
Input from Network
Layer
SNMP
Data from
user (EV)
Source IP
Network Prototyping

Real time simulation on
embedded
microcontrollers

Rapid design and
testing potential
network devices
Applications
Defence and Emergency Planning
SAT Building Evacuation: crowds + interoperability
Collaboration with School of Architecture
(CIMS)
SAT Evacuation Visualization
Maya (and other 3D visualization tools) integrated
with simulation engine
Summary
•
•
•
•
•
•
Well-established team
Expertise in M&S
Record of collaboration locally, Nationally and Internationally
Collaboration with Government, Industry and Academia
Truly interdisciplinary
The intersection of RCTI with V-SIM for a blend of:
• real-time systems, virtual and live simulation
• simulation interoperability
• engineering methodology
• military applications of M&S