Un verificador de bytecodes es una pieza larga de software que no cabe dentro de una tarjeta inteligente. Debido a ello, la implementación de la JVM para tarjetas inteligentes se divide en dos partes, como muestra la figura 1:

Figura 1. Arquitectura del Verficador de ByteCodes en la Java Card.

• La parte implementada fuera de la tarjeta se encarga de manejar la verificación de las clases y asegura que todas las clases necesarias se encuentren disponibles.

• La parte residente en la tarjeta tiene como responsabilidad primaria la ejecución del código (bytecodes).

La máquina JVM es persistente, de tal forma que el estado de los programas y objetos son preservados aunque la tarjeta sea desconectada.  Todos los datos relacionados se guardarán en la memoria interna EEPROM. Otra consecuencia de la JVM, es que las clases son cargadas e inicializadas solo una vez, permaneciendo activas hasta que se las elimine.

…..continuará