Evènement pour le groupe Modélisation et Verification


Date 2015-03-19  11:00-12:00
TitreThe subtle alchemy of concurrency and real-time 
RésuméFormal models for real-time distributed systems, like time Petri nets and networks of timed automata have proved their interest for the verification of real-time systems. On the other hand, the question of using these models as specifications for designing real-time systems raises several difficulties. Here we focus on the ones that are related to the distributed nature of the system. Implementing a model may be possible at the cost of some transformations, which make it suitable for the target device. In this talk, I present several results about semantics of distributed real-time systems and provide methods for the design of such systems. 
Lieu076 
OrateurThomas Chatain 
Emailchatain@lsv.ens-cachan.fr 
UrlLSV 



Aucun document lié à cet événement.

Retour
Retour à l'index