HK1040304B - 用於一种嵌入式系统的代码变换器的检验方法 - Google Patents

用於一种嵌入式系统的代码变换器的检验方法 Download PDF

Info

Publication number
HK1040304B
HK1040304B HK02101583.9A HK02101583A HK1040304B HK 1040304 B HK1040304 B HK 1040304B HK 02101583 A HK02101583 A HK 02101583A HK 1040304 B HK1040304 B HK 1040304B
Authority
HK
Hong Kong
Prior art keywords
code
source code
transformed
virtual machine
subset
Prior art date
Application number
HK02101583.9A
Other languages
English (en)
Chinese (zh)
Other versions
HK1040304A1 (en
Inventor
克里斯蒂安‧高雷
托马斯‧简森
帕斯卡‧弗拉德特
托馬斯‧簡森
丹尼尔‧勒‧梅塔耶
埃文‧丹尼
丹尼爾‧勒‧梅塔耶
Original Assignee
Cp8 Technologies
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Cp8 Technologies filed Critical Cp8 Technologies
Publication of HK1040304A1 publication Critical patent/HK1040304A1/xx
Publication of HK1040304B publication Critical patent/HK1040304B/zh

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/52—Binary to binary
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Debugging And Monitoring (AREA)
  • Storage Device Security (AREA)
  • Hardware Redundancy (AREA)
HK02101583.9A 1999-07-01 2000-06-28 用於一种嵌入式系统的代码变换器的检验方法 HK1040304B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
FR99/08460 1999-07-01
FR9908460A FR2795835B1 (fr) 1999-07-01 1999-07-01 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce
PCT/FR2000/001815 WO2001002955A1 (fr) 1999-07-01 2000-06-28 Procede de verification de transformateurs de codes pour un systeme embarque, notamment sur une carte a puce

Publications (2)

Publication Number Publication Date
HK1040304A1 HK1040304A1 (en) 2002-05-31
HK1040304B true HK1040304B (zh) 2006-03-10

Family

ID=9547574

Family Applications (1)

Application Number Title Priority Date Filing Date
HK02101583.9A HK1040304B (zh) 1999-07-01 2000-06-28 用於一种嵌入式系统的代码变换器的检验方法

Country Status (9)

Country Link
US (1) US7020872B1 (enExample)
EP (1) EP1112536A1 (enExample)
JP (2) JP2003525482A (enExample)
CN (1) CN1231838C (enExample)
BR (1) BR0006883A (enExample)
CA (1) CA2342322C (enExample)
FR (1) FR2795835B1 (enExample)
HK (1) HK1040304B (enExample)
WO (1) WO2001002955A1 (enExample)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2840084A1 (fr) * 2002-05-27 2003-11-28 Gemplus Card Int Procede de verification de codes pour microcircuits a ressources limitees
CN1989697B (zh) * 2004-05-26 2010-06-16 日本电气株式会社 空间复用信号检测方法以及空间与时间迭代解码器
KR100804207B1 (ko) 2006-08-01 2008-02-18 성인환 인삼씨를 재료로 하는 인삼차의 제조방법
US7810073B2 (en) * 2006-09-05 2010-10-05 International Business Machines Corporation Method of translating n to n instructions employing an enhanced extended translation facility
CN101458638B (zh) * 2007-12-13 2010-09-01 安凯(广州)微电子技术有限公司 一种用于嵌入式系统的大规模数据验证方法
US8869257B2 (en) * 2008-05-27 2014-10-21 Open Invention Network, Llc Identity selector for use with a user-portable device and method of use in a user-centric identity management system
CN101382892B (zh) * 2008-09-24 2012-04-18 飞天诚信科技股份有限公司 下载.Net程序的方法和装置
US20120054501A1 (en) * 2010-08-25 2012-03-01 Toshiba Tec Kabushiki Kaisha Image processing apparatus
US8789033B2 (en) * 2012-02-03 2014-07-22 International Business Machines Corporation Reducing application startup time by optimizing spatial locality of instructions in executables
CN106201896A (zh) * 2016-07-26 2016-12-07 华中科技大学 一种嵌入式环境下基于检查点的调试方法、系统及装置
DE102018122920A1 (de) * 2018-09-19 2020-03-19 Endress+Hauser Conducta Gmbh+Co. Kg Verfahren zur Installation eines Programms auf einem eingebetteten System, ein eingebettetes System für ein derartiges Verfahren sowie ein Verfahren zur Erstellung einer Zusatzinformation

Family Cites Families (27)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4736320A (en) * 1985-10-08 1988-04-05 Foxboro Company Computer language structure for process control applications, and translator therefor
DE3731736A1 (de) * 1986-09-27 1988-04-07 Toshiba Kawasaki Kk Verarbeitungssystem fuer tragbare elektronische vorrichtung
EP0722596A4 (en) * 1991-11-12 1997-03-05 Security Domain Pty Ltd METHOD AND SYSTEM FOR SECURE, DECENTRALIZED PERSONALIZATION OF CHIP CARDS
US5293424A (en) * 1992-10-14 1994-03-08 Bull Hn Information Systems Inc. Secure memory card
GB9307623D0 (en) * 1993-04-13 1993-06-02 Jonhig Ltd Data writing to eeprom
EP0795844A1 (en) * 1996-03-11 1997-09-17 Koninklijke KPN N.V. Method of securely modifying data on a smart card
US5889941A (en) * 1996-04-15 1999-03-30 Ubiq Inc. System and apparatus for smart card personalization
US5923884A (en) * 1996-08-30 1999-07-13 Gemplus S.C.A. System and method for loading applications onto a smart card
ES2184066T3 (es) * 1996-10-25 2003-04-01 Schlumberger Systems & Service Uso de un lenguaje de programacion de alto nivel con microcontrolador.
FR2757970B1 (fr) * 1996-12-30 1999-03-26 Gemplus Card Int Procede de chargement d'un programme d'utilisation dans un support a puce
EP1021801B1 (en) * 1997-03-24 2004-11-03 Visa International Service Association A system and method for a multi-application smart card which can facilitate a post-issuance download of an application onto the smart card
JPH1165832A (ja) * 1997-08-21 1999-03-09 Sony Corp ソースコード変換方法及び記録媒体
US5987256A (en) * 1997-09-03 1999-11-16 Enreach Technology, Inc. System and process for object rendering on thin client platforms
US6128774A (en) * 1997-10-28 2000-10-03 Necula; George C. Safe to execute verification of software
US6253370B1 (en) * 1997-12-01 2001-06-26 Compaq Computer Corporation Method and apparatus for annotating a computer program to facilitate subsequent processing of the program
US6324685B1 (en) * 1998-03-18 2001-11-27 Becomm Corporation Applet server that provides applets in various forms
US5999732A (en) * 1998-03-23 1999-12-07 Sun Microsystems, Inc. Techniques for reducing the cost of dynamic class initialization checks in compiled code
US6216227B1 (en) * 1998-06-29 2001-04-10 Sun Microsystems, Inc. Multi-venue ticketing using smart cards
US6591229B1 (en) * 1998-10-09 2003-07-08 Schlumberger Industries, Sa Metrology device with programmable smart card
AU770396B2 (en) * 1998-10-27 2004-02-19 Visa International Service Association Delegated management of smart card applications
EP0997815A3 (en) * 1998-10-29 2004-05-26 Texas Instruments Incorporated Interactive translation system and method
US6115719A (en) * 1998-11-20 2000-09-05 Revsoft Corporation Java compatible object oriented component data structure
JP3173728B2 (ja) * 1998-12-07 2001-06-04 日本電気株式会社 半導体装置
US6390374B1 (en) * 1999-01-15 2002-05-21 Todd Carper System and method for installing/de-installing an application on a smart card
US6256690B1 (en) * 1999-01-15 2001-07-03 Todd Carper System and method for facilitating multiple applications on a smart card
US6581206B2 (en) * 1999-11-12 2003-06-17 Sun Microsystems, Inc. Computer program language subset validation
FR2794543B1 (fr) * 1999-06-04 2001-08-24 Gemplus Card Int Migration de differents langages sources vers un support d'execution

Also Published As

Publication number Publication date
CA2342322C (en) 2011-10-18
HK1040304A1 (en) 2002-05-31
FR2795835A1 (fr) 2001-01-05
BR0006883A (pt) 2001-06-12
JP2003525482A (ja) 2003-08-26
JP2012027936A (ja) 2012-02-09
CN1316073A (zh) 2001-10-03
WO2001002955A1 (fr) 2001-01-11
US7020872B1 (en) 2006-03-28
EP1112536A1 (fr) 2001-07-04
CN1231838C (zh) 2005-12-14
FR2795835B1 (fr) 2001-10-05
CA2342322A1 (en) 2001-01-11

Similar Documents

Publication Publication Date Title
CN1324467C (zh) 基于标记的链接
US6980979B2 (en) Method and apparatus for customizing Java API implementations
CN1079968C (zh) 包括便携式数据处理单元的数据交换系统
HK1040304B (zh) 用於一种嵌入式系统的代码变换器的检验方法
CN103810008B (zh) 插件加载方法及系统
US20090172657A1 (en) System, Method, Apparatus, Mobile Terminal and Computer Program Product for Providing Secure Mixed-Language Components to a System Dynamically
CN1530817A (zh) 有效内容的向导：任务和结构内容的执行
CN1759376A (zh) 用于加载到一装置上的程序数据的排序
CN102696016B (zh) 用于压缩标识符的方法
US8949821B2 (en) Cap file for the personalization of a java application
CN106547527A (zh) 一种JavaScript文件构建方法及装置
CN114816417B (zh) 一种交叉编译方法、装置、计算设备及存储介质
CA3154035A1 (en) Flink engine-based data parsing method and apparatus
Helal Pervasive java
WO2005081506A1 (en) System and method for dynamically adding features to software applications
CN1581071A (zh) 具有xml驱动的体系结构的信息处理方法、装置和程序
EP1303802B1 (en) System and method of verifying the authenticity of dynamically connectable executable images
CN1013316B (zh) 计算机程序的动态适应环境
CN1292115A (zh) 分布系统中动态验证信息的装置和方法
US7634764B2 (en) Method and system for flexible/extendable at command interpreter
CN1696910A (zh) 有效地打补丁
CN117075891B (zh) 一种为测试用例关联配置文件的方法及装置
CN118193071A (zh) 一种硬件芯片接入方法、装置、设备及介质
CN101561884A (zh) 一种可变数据印刷过程中的脚本实现方法及装置
CN116719531A (zh) 基于运行时字节码编辑的对象转换方法、系统、介质及设备

Legal Events

Date Code Title Description
PC Patent ceased (i.e. patent has lapsed due to the failure to pay the renewal fee)

Effective date: 20150628