Study of concurrency in real-time distributed systems

We will present several recent results, including robust model-checking and robust controller synthesis, both for timed automata and time Petri nets..

A Middleware Approach for Dynamic Real-Time Software Reconfiguration on Distributed Embedded Systems.. Networking and Internet

The article gives comprehensive definitions of timed automata, weighted timed automata, and timed games and highlights a number of results on associated de- cision problems related

Precisely, the paper presents a technique for conformance testing of preemptive real-time systems based on Labelled Prioritized Time Petri Nets with Stopwatches models

Keywords: priority queueing systems, timed Petri nets, performance analysis, quality of service..

Keywords-Vector addition systems, Petri nets, context-freeness, pushdown automata, bounded languages, semilinear sets..

Keywords : Specication of Open Distributed Systems, Petri Nets, Temporal Logic, Verication & Validation..

The article gives comprehensive definitions of timed automata, weighted timed automata, and timed games and highlights a number of results on associated de- cision problems related