A Distributed WCET Computation Scheme for Smart Card Operating Systems

Computing WCET in a resource-constrained device such as a smart card in a safe manner raises some difficulties. In- deed, most of the classical algorithms for computing WCET do not address resource-limitation or security issues. In this article, we propose to distribute the computation process between the off-card part running on a powerful workstation and the on-card part specific to the hardware included in the smart card. We also guarantee the safety of our com- putation process by inserting assertions in the generated code and preventing information leaks from the card to the outside