Runtime monitoring plays a key role in the assurance of modern intelligent cyber-physical
systems, which are frequently data-intensive and safety-critical. While graph queries can …

Estimating the worst-case execution time (WCET) of an application is an essential step in the
context of developing real-time or safety-critical software, but it is also a complex and error …

Cyber-physical systems (CPS) are smart systems that include highly interconnected digital,
analog, physical, and human components. They are increasingly prevalent in safety critical …

Multiple components affect the behavior of CPU execution tasks, mainly mutual exclusion
during access to the shared resources and synchronous transmissions between tasks that …

Cyber-physical systems (CPS) are smart systems that include highly interconnected digital,
analog, physical, and human components. They are increasingly prevalent in safety critical …

Validation of timing requirements of multicore, heterogenous and distributed systems is
difficult problem because of a large number of situations that introduce temporal variability …

This paper revisits the polyhedral model's key analysis, dependency analysis. The semantic
formulation we propose allows a new definition of the notion of dependency and the …

La mise en œuvre de systèmes temps-réels de sûreté requiert souvent l'élaboration de
stratégies de provisionnement de temps; cette pratique est particulièrement répandue dans …