A Distributed WCET Computation Scheme for Smart Card Operating Systems
Résumé
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.
Domaines
Systèmes embarqués
Origine : Fichiers produits par l'(les) auteur(s)
Loading...