New architectures for smart cards: the OCEAN approach

ABSTRACT

There are today many and important reasons for giving future smart card generation new processors. This requirement is the result of more sophisticated applications that have to respect specific constraints such as response time and memory capacities.In a smart card, hardware and software and closely interdependent because the code is stored in a rom at the production level. Thus, both hardware and software must be realized in an unique design process.OCEAN project (Outils de Conception et d'Evaluation d'Architectures Nouvelles) has been proposed to respond to that constraint. It bring the possibility to obtain a global evaluation of the chip and its embedded software. The project comprise the OCEAN Hardware description language, a specific C compiler to produce the application, a generic translator and an evaluation tool.OCEAN is a part of the ESPRIT CASCADE project.

REFERENCES

• 1: T. Alexandre, "La compression de données dans la carte à microprocesseur", Publication LIFL, décembre 1993.
• 2: P. Bakowski, A. Pawlak, "LIDO-A Silicon Compiler Preprocessor", EUROMICRO Conf., Venice 1986.
• 3: P. Bakowski, "Mode d'emploi de LIDO", Document LIFL, 1987.
• 4: M. Barbacci, "Instruction Set Processor Specifications (ISPS): The Notation and Its Applications, IEEE Transactions on computers, vol. C30, No 1, Janvier 1981.
• 5: Olivier Caron, G. Grimonprez, "O.C.E.A.N.: langage de spécifications d'architectures", Publication LIFL, juin 93.
• 6: Olivier Caron , Vincent Cordonnier , Georges Grimonprez, OCEAN: a hardware and software tool for design of future smart cards, Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications, p.467-474, September 1993, Barcelona, Spain
• 7: O. Caron, G. Grimonprez, "O.C.E.A.N.: A C compiler for new smart card applications", International Conference in Compiler Construction, CC'94, Edinburgh, avril 1994.
• 8: O. Caron "Méthodologies de conception et d'évaluations d'architectures RISC adaptéAes aux futures cartes a microprocesseur", Thesis 1994.
• 9: V. Cordonnier, G. Grimonprez, R. Beuscart, "Smart Cards and Portable Data Files: a glance at the future.", Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Vol 13, N03, 1991, page 1387.
• 10: V. Cordonnier, "Smart Cards: present and future applications and techniques", Electronics & communication engineering journal, Octobre 1991.
• 11: V. Cordonnier, "Assessing the future of smart cards", Proc. of the CardTech'92, Washington, DC, avril 92.
• 12: J. McCrindle, "Smart Cards", IFS Publications/Springer-Verlag, 1990.
• 13: E. Gordons, G. Grimonprez, "A card as element of a distributed database", IFIP WG8.4 Workshop, Ottawa 1992.
• 14: G. Grimonprez, P. Paradinas, "A new approach in code development: C-Card and Cossack", Card-Tech 1991.
• 15: G. Grimonprez, "Etude et réAalisation d'une carte a micro-processeur intégrée aux systémes de gestion de bases de donnees", Memoire d'habilitation, Fevrier 1992.
• 16: M. P. Haye, "The problematic of designing an information system using smart card", Inforsid'92, Clermont-Ferrand, 1992.
• 17: J. L. Hennessy, D. Patterson, "Architecture des ordinateurs: une approche quantitative", Mc Graw-Hill.
• 18: Proceedings of the IFIP WG 10.2 Ninth International Symposium on "Computer Hardware Description Languages and their Applications", Washington D.C. 19--21 Juin 89
• 19: Normes internationales ISO, 7816-4, "Commandes d'échanges".
• 20: S. P. Levitan, A. R. Martello, R. M. Owens, M. J. Irwin, "Using VHDL as a language for synthesis of CMOS VLSI circuits", Juin 1989.
• 21: T. Peltier "Operating System for nomadic object", APPLICA'93.
• 22: M. Ugon,"Le futur de la carte a puce", Cartes'93. October 1993.