Abstract--Automated passenger tracking in public transportation systems can be used to estimate the short-term demand and, thereby, to optimize the fleet schedule in real time. It ...
Christian Oberli, Miguel Torres-Torriti, Dan Landa...
In some real-time application systems, there are only a few distinct kinds of tasks, each of which may be instantiated several times during runtime. The scheduling of such sporadi...
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
Manuel Lluesma, Anton Cervin, Patricia Balbastre, ...