Populating binary compatible resource-constrained devices...

G - Physics – 06 – F

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

G06F 9/00 (2006.01) G06F 9/44 (2006.01) G06F 9/445 (2006.01) G06F 21/00 (2006.01)

Patent

CA 2422634

A method for remote incremental program verification includes receiving content verified by at least one content provider, installing the content on a resource-constrained device and issuing the resource-constrained device to an end user. The content includes at least one program unit and each program unit includes an Application Programming Interface (API) definition file and an implementation. Each API definition file defines items in its associated program unit that are made accessible to one or more other program units, each implementation includes executable code corresponding to the API definition file and the executable code includes type specific instructions and data. The verification includes determining binary compatibility of earlier program unit implementations with later program unit implementations using their associated API definition files. According to one aspect, subsequent installation of content on the resource-constrained device is disabled. A resource-constrained device includes a memory for providing content verified by at least one content provider and a virtual machine that is capable of executing instructions included within the content. The content includes at least one program unit and each program unit includes an Application Programming Interface (API) definition file and an implementation. The verification includes determining binary compatibility of earlier program unit implementations with later program unit implementations using their associated API definition files.

Cette invention a trait à une méthode relative à une vérification de programme incrémentiel à distance, laquelle méthode consiste à recevoir un contenu vérifié par au moins un fournisseur de contenu, à installer ce contenu dans un dispositif à ressources limitées et à délivrer ce dispositif à un utilisateur final. Ledit contenu comporte au moins une unité de programme, chacune de ces unités, en cas de pluralité, renfermant un fichier de définition API (interface de programme d'application) et une mise en oeuvre. Chaque fichier de définition API définit des articles dans l'unité de programme qui lui est associée, lesquels sont rendus accessibles à une ou à plusieurs unités de programme et chaque mise en oeuvre renferme un code exécutable correspondant au fichier de définition API. Ce code exécutable renferme des instructions et des données spécifiques d'un type donné. La vérification consiste à déterminer une compatibilité binaire entre les mises en oeuvre de l'unité de programme antérieure et celles de l'unité de programme suivante au moyen de leurs fichiers de définition API associés. Dans l'un des aspects de l'invention, une installation subséquente de contenu dans le dispositif à ressources limitées est invalidée. Ce dispositif à ressources limitées contient une mémoire servant à fournir un contenu vérifié par au moins un fournisseur de contenu ainsi qu'une machine virtuelle capable d'exécuter les instructions incluses dans le contenu. Celui-ci comporte au moins une unité de programme, chacune de ces unités, en cas de pluralité, renfermant un fichier de définition API (interface de programme d'application) et une mise en oeuvre. La vérification consiste à déterminer une compatibilité binaire entre les mises en oeuvre de l'unité de programme antérieure et celles de l'unité de programme suivante au moyen de leurs fichiers de définition API associés.

LandOfFree

Say what you really think

Search LandOfFree.com for Canadian inventors and patents. Rate them and share your experience with other people.

Rating

Populating binary compatible resource-constrained devices... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Populating binary compatible resource-constrained devices..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Populating binary compatible resource-constrained devices... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFCA-PAI-O-1740761

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.