Clocks, Dice and Processes - PowerPoint PPT Presentation

About This Presentation
Title:

Clocks, Dice and Processes

Description:

Clocks, Dice and Processes Taolue Chen Vrije Universiteit Amsterdam, The Netherlands PhD Promotion ... – PowerPoint PPT presentation

Number of Views:29
Avg rating:3.0/5.0
Slides: 15
Provided by: chen199
Category:

less

Transcript and Presenter's Notes

Title: Clocks, Dice and Processes


1
Clocks, Dice and Processes
Taolue Chen Vrije Universiteit Amsterdam, The
Netherlands
  • PhD Promotion

    September 21, 2009

2
Cover
3
Context of PhD work
  • General goal of the research

Make ICT systems correct!
4
How?
  • We apply mathematics Formal methods

5
Concurrency theory
  • Modeling and verification of concurrent systems.

6
This dissertation
Theoretical questions
around

7
What models?
  • Automata-based models
  • e.g. finite-state machine labeled transition
    system Kripke structure

states and transitions of an Automatic Pilot
8
What models?
  • Language-based models
  • e.g. process algebra, LOTOS

9
What specifications?
  • Automata-based specifications
  • Logic-based specifications, e.g.


(req ? ? ack)
10
How to verify?
Formal statement
Model Specification?
  • Deductive approach Enumerative approach
  • Theorem prover Model checker

11
This dissertation
  • Part I Axiomatization of Process Algebra
  • Basic questions on deductive approaches for
    language-based models.
  • Part II Verification of Probabilistic Real-time
    Systems
  • Algorithms on enumerative approaches for
    automata-based models.

12
Part I Axiomatization of PA
Crucial!
  • In process algebra,
  • Model Specification


13
Part II Verification of probabilistic real-time
systems
  • Embedded applications feature systems exhibiting
    both and behaviors.
  • Modeled by advanced stochastic processes


Continuous-time Markov chains
Probabilistic timed automata
Piecewise determi- nistic processes
14
Thank you!

and to
Write a Comment
User Comments (0)
About PowerShow.com