KOPERNIC

A cyber-physical system (CPS) has cyber (or computational) components and physical components that communicate. The Kopernic team deals with the problem of studying time properties (execution time of a program or the schedulability of communicating programs, etc.) of the cyber components of a CPS.  The cyber components may have functions with different criticalities with respect to time and a solution should come with appropriate proofs for each criticality. A solution is appropriate for a criticality level if all functions fulfill the expectations of that criticality level.

Based on their mathematical foundations, the solutions are: either non-probabilistic when all time properties are estimated and/or bounded by numerical values or probabilistic when at least one time property is estimated and/or bounded by probability distributions.

The Kopernic team proposes a system-oriented solution to the problem of studying time properties of the cyber components of a CPS. The solution is expected to be obtained by composing probabilistic and non-probabilistic approaches for these systems.