Some links
-
JRWRTC'09: the 3rd Junior Researcher Workshop on Real-Time Computing,
for which I was program chair, was held October 26 and 27 in Paris,
in conjunction with the 17th International Conference on Real Time and Network Systems
(RTNS'09) ;
-
JRWRTC'08: the 2nd Junior Researcher Workshop on Real-Time Computing,
for which I was a committee member, was held October 16 and 17 in Rennes,
in conjunction with the 16th International Conference on Real Time and Network Systems
(RTNS'08) ;
-
ETR'07: the 5th Real Time Summer School (École d'été Temps Réel),
for which I was program chair (of the Ph.D. student sessions), was held September 3-7 2007 at the IRCCyN lab.
-
Roméo is a software tool developped by the
Real Time Systems research team.
It consists of a graphical user interface and several computing units that perform simulations as well as on-the-fly
verification of temporal logical properties on time Petri nets (TPNs) and on scheduling-TPNs.
Roméo is an open-source tool, available as binaries for most operating systems
(I am, incidentally, release manager of the Windows version) and as source code.