Toward Parametric Timed Interfaces for Real-Time Components

Youcheng Sun, Giuseppe Lipari, Étienne André +1

We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is…