Académique Documents
Professionnel Documents
Culture Documents
LSV, ENS-Cachan
P. Bouyer, F. Laroussinie, N. Markey, . . .
VERIMAG, Grenoble
K. Altisen, S. Tripakis, . . .
LAAS, Toulouse
B. Berthomieu, F. Vernadat
IRCCyN, Nantes
D. Lime, O.H. Roux, O. Roux, F.C.
IRISA, Rennes
C. Jard
LMI, Marseille
P. Niebert
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 3 / 11
Collaborations avec la communaut internationale
. . .
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 4 / 11
Modles pour les systmes temps-rel
hypothse de temps-dense
descriptions modulaires/hierarchiques
thorie solide
inconvnients :
analyse complexe
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 5 / 11
Analyse des modles temporiss
vrication
outils :
observation/contrle/test
thorie :
SED [Ramadge & Wonham89]
temporiss :[Maler et al. (1995), Krichen & Tripakis (2004)]
optimisation
production de code
outils : Elastic
automates hybrides vers BrickOS,
smantique au plus tt
PGP,
correction prouve avec UPPAAL
ux multimedias
dbit, latence, etc
job-shop scheduling
ordonnancement, KRONOS
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 8 / 11
References
[Altisen & Tripakis (2005)] M. Krichen and S. Tripakis.
Implementation of timed automata : an issue of semantics or modeling ?
In FORMATS05, 2005.
[Alur & Dill (1994)] R. Alur and D. Dill.
A theory of timed automata.
Theoretical Computer Science B, 126 :183235, 1994.
[De Wulf et al. (2004a)] M. De Wulf, L. Doyen, J.-F. Raskin.
Almost ASAP Semantics : From Timed Models to Timed Implementations.
HSCC04 LNCS 2993.
[De Wulf et al. (2004b)] M. De Wulf, L. Doyen, N. Markey, J.-F. Raskin.
Robustness and Implementability of Timed Automata.
FORMATS+FTRTFT04 LNCS 3253.
[Henzinger (1996)] Thomas A. Henzinger.
The theory of hybrid automata.
In Proc. of the 11th Annual Symposium on Logic in Computer Science (LICS96),
pages 278292, IEEE Computer Society Press, 1996.
[Merlin (1974)] P.M. Merlin.
A study of the recoverability of computing systems.
PhD thesis, University of California, Irvine, CA, 1974.
[Alur et al. (2004)] R. Alur, M, Bernadsky, and P. Madhusudan.
Optimal reachability in weighted timed games.
In Proc. 31st International Colloquium on Automata, Languages and Programming
(ICALP04), Lecture Notes in Computer Science. Springer, 2004.
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 9 / 11
References (cont.)
[Alur et al. (2001)] R. Alur, S. La Torre, and G. Pappas.
Optimal paths in weighted timed automata.
In Proc. 4th Int. Work. Hybrid Systems : Computation and Control (HSCC01), LNCS
2034, pp. 4962. Springer, 2001.
[Asarin & Maler (1999)] E. Asarin and O. Maler.
As soon as possible : Time optimal control for timed automata.
In Proc. 2nd Int. Work. Hybrid Systems : Computation and Control (HSCC99), volume
1569 of LNCS, pages 1930. Springer, 1999.
[Behrmann et al. (2001)] G. Behrmann, A. Fehnker, T. Hune, K. Larsen, P. Pettersson, J. Romijn, and F.
Vaandrager.
Minimum-cost reachability for priced timed automata.
In Proc. 4th Int. Work. Hybrid Systems : Computation and Control (HSCC01), LNCS
2034, pp. 147161. Springer, 2001.
[Bouyer et al. (2004)] P. Bouyer, F. Cassez, E. Fleury, K. G. Larsen.
Optimal Strategies in Priced Timed Game Automata. FSTTCS04 (LNCS 3328).
[Maler et al. (1995)] Oded Maler, Amir Pnueli, and Joseph Sifakis.
On the synthesis of discrete controllers for timed systems.
In Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science
(STACS95), volume 900, pages 229242. Springer, 1995.
[Krichen & Tripakis (2004)] M. Krichen and S. Tripakis.
Real-time testing with timed automata testers and coverage criteria.
In Joint conference on Formal Modelling and Analysis of Timed Systems and Formal
Techniques in Real-Time and Fault Tolerant System (FORMATS-FTRTFT04), 2004.
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 10 / 11
References (cont.)
[Ramadge & Wonham89] P.J. Ramadge and W.M. Wonham.
The control of discrete event processes.
Proc. of IEEE, 77 :8198, 1989
CNAM, Paris (02/2006) Dveloppement de systmes embarqus 11 / 11