EDT2012 - Timing Behaviors and EMF models : just married!

Code
(C/Java)
Execution
Execution Traces
OTF, VCD, LTTNG
Requirements = Timing constraints
Model
http://wiki.eclipse.org/Linux_Tools_Project/LTTng
Time profiling
?
2
Code
Execution Traces
Process
Execution
1
2
3
4
Timing Behaviors and
EMF models :
just married !
Frédéric Mallet - Inria
Improve tools
for RT embedded softwares
and
time constrained systems
Mélanie Bats - Obeo
RT
software =
Timing constraints
Case study = Image Processing embedded in a robot
1-Source to Model
2-Set timing constraints
3- Simulate with TimeSquare
4-Instrument code
Execute code
5-Inject traces and detect violated constraints
Re-iterate
Conclusion
Limitations
Instrumentation
Analysis based on one trace
Give it a try!
Timesquare
OTime
+
=
You will love working with timing constraints!
Questions ?
Photo credits (Licence Creative Commons CC by 2.0):
http://www.flickr.com/photos/aneesprince/7202787950/
http://www.flickr.com/photos/aneesprince/7202777822/
Presentation authors:
Frédéric Mallet - Inria,
Frédéric Thomas - Obeo,
Julien DeAntoni - Inria,
Mélanie Bats - Obeo,

Special thanks to Thales RT for let us use the RT-Simex example (EPL license)
Presentation licence :
Creative Commons BY-SA 3.0
Code
Timing traces
Timing constraints
specification
Timing
instrumentation
Timing trace
injection
Reverse
Trace generation
JumpShot , Vampir,
Linux Tool Eclipse Project
Execution on
platforms
How to tool up the timing information analyses from the model point of view ?
Timing requirements
analysing and reporting
How to formalize timing requirements ?
How to extract timing information from a global timing instrumentation ?
How to relate timing requirements to timing execution observations (execution trace ) ?
How to report timing requirement satisfactions ?
Context
Problems
Objectives
soon on http://marketplace.obeonetwork.com
http://timesquare.inria.fr
5
TimeSquare - Kernel
Time constraints
CCSL model
Clock
Solver
Solution
(partial order)
Trace model
http://timesquare.inria.fr
Structure + behavior
EMF model
TimeSquare - Frontend
Clock
Solver
Time constraints
CCSL model
Solution
(partial order)
Trace model
Structure + behavior
EMF model
http://timesquare.inria.fr
TimeSquare - Backend
Clock
Solver
Backend
Manager
VCD
Generator
Code
Executor
Model
Animator
Time constraints
CCSL model
Solution
(partial order)
Trace model
Structure + behavior
EMF model
http://timesquare.inria.fr
Environment & causal model
Timing constraints
Model animation
Process 24 image/s
video too slow
<
>
video too fast
Periodicity constraint
Time response constraint
Timing constraints + EMF models = married!
Tools to :
Description
Simulation
Analyse
Model
Running code