A Distributed WCET Computation Scheme for Smart Card Operating Systems

Nadia Bel Hadj Aissa (1) , Christophe Rippert (1, 2, 3) , Damien Deville (1) , Gilles Grimaud (1, 4)

1 POPS - System and Networking for Portable Objects Proved to be Safe
2 VERIMAG - IMAG - VERIMAG
3 SARDES - System architecture for reflective distributed computing environments
4 LIFL - Laboratoire d'Informatique Fondamentale de Lille

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.

Domains: Embedded Systems

Nadia Bel Hadj Aissa, Christophe Rippert, Damien Deville, Gilles Grimaud. A Distributed WCET Computation Scheme for Smart Card Operating Systems. 4th International Workshop on Worst-Case Execution Time Analysis, in association with the 16th Euromicro ECRTS conference, Jun 2004, Catania, Italy. ⟨hal-00309686⟩