Loading presentation...
Prezi is an interactive zooming presentation

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

EDT2012 - Timing Behaviors and EMF models : just married!

The slides used for the Eclipse Day Toulouse 2012 talk
by

Obeo Network

on 8 January 2016

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of 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
Full transcript