Verification of coherence of codes for an embedded system such as a smart card or portable device, uses two dimensional data structure to fetch codes that can be applied to coherence rules

• Main Authors: FRAISSE HENRI, LOISEAUX CLAIRE, PHAN GUILLAUME, BOLIGNANO DOMINIQUE, LE METAYER DANIEL, LAVATELLI CAROLINA
• Format: Patent
• Language: English; French
• Published: 19.04.2002
• Edition: 7
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; HANDLING RECORD CARRIERS; PHYSICS; PRESENTATION OF DATA; RECOGNITION OF DATA; RECORD CARRIERS

The verification uses stored (2) data (20) serving as models with a unique format defining a hierarchic two-dimensional space, the first dimension representing level of abstraction and a second representing degree of formalization. Supplementary data (21) provides coherence rules. The coherence code is generated and verified by reference to recorded and captured data (11a,11b). L'invention concerne un procédé de vérification de cohérence de codes destinés à un système embarqué (4, 40). Selon l'invention, un jeu d'enregistrements (20) constituant des modèles à format unique est stocké dans la mémoire (2) d'un système informatique (1). Les modèles définissent un espace à deux dimensions hiérarchisé, une première dimension étant constituée par un niveau d'abstraction associé au code et une seconde dimension étant constituée par un degré de formalisation associé à la représentation du modèle. Des enregistrements supplémentaires (21) comprenant des règles de cohérence à observer sont également stockés dans la mémoire (2). Le code est généré et vérifié par référence à ces données enregistrées (20, 21) et des données saisies (11a, 11b). Des documents de certification (130) peuvent être générés automatiquement également par référence à ces données. Le procédé s'applique plus particulièrement aux cartes à puce (4, 40).