WO2003081424A3 - Method and apparatus for deployment of high integrity software using initialization order and calling order constraints - Google Patents

Method and apparatus for deployment of high integrity software using initialization order and calling order constraints Download PDF

Info

Publication number
WO2003081424A3
WO2003081424A3 PCT/US2003/008385 US0308385W WO03081424A3 WO 2003081424 A3 WO2003081424 A3 WO 2003081424A3 US 0308385 W US0308385 W US 0308385W WO 03081424 A3 WO03081424 A3 WO 03081424A3
Authority
WO
WIPO (PCT)
Prior art keywords
module
order
modules
initialization
deployment
Prior art date
Application number
PCT/US2003/008385
Other languages
French (fr)
Other versions
WO2003081424A2 (en
WO2003081424A9 (en
Inventor
Jong Eduard De
Original Assignee
Sun Microsystems Inc
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 Sun Microsystems Inc filed Critical Sun Microsystems Inc
Priority to EP03721396.4A priority Critical patent/EP1535150B1/en
Priority to AU2003224713A priority patent/AU2003224713A1/en
Publication of WO2003081424A2 publication Critical patent/WO2003081424A2/en
Publication of WO2003081424A9 publication Critical patent/WO2003081424A9/en
Publication of WO2003081424A3 publication Critical patent/WO2003081424A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4482—Procedural
    • G06F9/4484—Executing subprograms
    • G06F9/4486—Formation of subprogram jump address

Abstract

A method for designing a software program including multiple modules includes defining an initialization sequence wherein each of the modules is initialized according to a predetermined order. The method also includes defining calling order constraints wherein a first module may call a second module if the first module succeeds the second module in the allowed order. The module also includes creating a program specification for the software program. The program specification includes a module specification for each of the modules and each module specification indicates other modules called by an implementation of the module. According to one aspect, one of a plurality of initialization sequences is selected based upon the presence of one or more markers in a memory.
PCT/US2003/008385 2002-03-18 2003-03-17 Method and apparatus for deployment of high integrity software using initialization order and calling order constraints WO2003081424A2 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
EP03721396.4A EP1535150B1 (en) 2002-03-18 2003-03-17 Method and apparatus for deployment of high integrity software using initialization order and calling order constraints
AU2003224713A AU2003224713A1 (en) 2002-03-18 2003-03-17 Method and apparatus for deployment of high integrity software using initialization order and calling order constraints

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US10/101,296 US6996802B2 (en) 2002-03-18 2002-03-18 Method and apparatus for deployment of high integrity software using initialization order and calling order constraints
US10/101,296 2002-03-18

Publications (3)

Publication Number Publication Date
WO2003081424A2 WO2003081424A2 (en) 2003-10-02
WO2003081424A9 WO2003081424A9 (en) 2004-04-22
WO2003081424A3 true WO2003081424A3 (en) 2005-04-07

Family

ID=28039984

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2003/008385 WO2003081424A2 (en) 2002-03-18 2003-03-17 Method and apparatus for deployment of high integrity software using initialization order and calling order constraints

Country Status (4)

Country Link
US (1) US6996802B2 (en)
EP (1) EP1535150B1 (en)
AU (1) AU2003224713A1 (en)
WO (1) WO2003081424A2 (en)

Families Citing this family (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6990186B2 (en) * 2002-12-09 2006-01-24 Bellsouth Intellectual Property Corporation Systems and methods for facilitating provisioning of circuits and work control in a telecommunications environment
US7281237B2 (en) * 2003-01-16 2007-10-09 Sun Microsystems, Inc. Run-time verification of annotated software code
US7421680B2 (en) * 2003-09-22 2008-09-02 Microsoft Corporation Persisted specifications of method pre-and post-conditions for static checking
US7434110B2 (en) * 2004-04-19 2008-10-07 Sezweed Systems Error handling scheme for time-critical processing environments
US20050289531A1 (en) * 2004-06-08 2005-12-29 Daniel Illowsky Device interoperability tool set and method for processing interoperability application specifications into interoperable application packages
US7389410B1 (en) * 2005-07-13 2008-06-17 Symantec Corporation Automatically deriving order of initialization for computing services across multiple computing systems
US8065662B1 (en) * 2007-03-30 2011-11-22 Oracle America, Inc. Compatibility testing of an application programming interface
US10335034B2 (en) * 2012-10-31 2019-07-02 Volcano Corporation Dependency-based startup in a multi-modality medical system
US9509550B2 (en) * 2013-08-30 2016-11-29 Microsoft Technology Licensing, Llc Generating an idempotent workflow
CN113419795B (en) * 2021-07-21 2022-05-03 网易（杭州）网络有限公司 Call relation display method and device, computer equipment and storage medium

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0390339A2 (en) * 1989-03-29 1990-10-03 Hewlett-Packard Company Path measurement and analysis tool for evaluating the performance of software designs
EP0543588A2 (en) * 1991-11-21 1993-05-26 International Business Machines Corporation Generating and processing computer programs
US5423027A (en) * 1991-09-27 1995-06-06 Massachusetts Institute Of Technology Tool for error detection in software using aspect specification
EP1056002A2 (en) * 1999-05-27 2000-11-29 Sun Microsystems, Inc. Fully lazy linking with module-by-module verification
US20020147903A1 (en) * 2001-04-10 2002-10-10 Discreet Logic Inc. Initialising modules

Family Cites Families (37)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0818473B2 (en) 1985-07-31 1996-02-28 トッパン・ムーア株式会社 IC card that can set confidentiality level
US5107418A (en) 1990-06-11 1992-04-21 Supercomputer Systems Limited Partnership Method for representing scalar data dependences for an optimizing compiler
IL100987A (en) 1991-02-27 1995-10-31 Digital Equipment Corp Method and apparatus for compiling code
US5666296A (en) 1991-12-31 1997-09-09 Texas Instruments Incorporated Method and means for translating a data-dependent program to a data flow graph with conditional expression
FR2694120B1 (en) 1992-07-24 1994-09-23 Sgs Thomson Microelectronics Memory word management circuit.
US5421020A (en) 1993-01-08 1995-05-30 International Business Machines Corporation Counter register implementation for speculative execution of branch on count instructions
GB9307623D0 (en) 1993-04-13 1993-06-02 Jonhig Ltd Data writing to eeprom
US6684261B1 (en) 1993-07-19 2004-01-27 Object Technology Licensing Corporation Object-oriented operating system
US5974255A (en) 1993-10-18 1999-10-26 Motorola, Inc. Method for state-based oriented testing
EP0666550B1 (en) 1994-02-08 1997-05-02 Belle Gate Investment B.V. Data exchange system comprising portable data processing units
JPH07319710A (en) 1994-05-20 1995-12-08 Matsushita Electric Ind Co Ltd Compiling processing method
CA2147536A1 (en) 1994-06-01 1995-12-02 Gerard Johan Holzmann On-the-fly model checking with partial-order state space reduction
US5748964A (en) 1994-12-20 1998-05-05 Sun Microsystems, Inc. Bytecode program interpreter apparatus and method with pre-verification of data type restrictions
US5668999A (en) 1994-12-20 1997-09-16 Sun Microsystems, Inc. System and method for pre-verification of stack usage in bytecode program loops
US5659754A (en) 1995-03-31 1997-08-19 Sun Microsystems, Inc. Method and apparatus for an improved optimizing compiler
US5968169A (en) 1995-06-07 1999-10-19 Advanced Micro Devices, Inc. Superscalar microprocessor stack structure for judging validity of predicted subroutine return addresses
US6604190B1 (en) 1995-06-07 2003-08-05 Advanced Micro Devices, Inc. Data address prediction structure and a method for operating the same
US5809268A (en) 1995-06-29 1998-09-15 International Business Machines Corporation Method and system for tracking resource allocation within a processor
PT757336E (en) 1995-08-04 2001-04-30 Belle Gate Invest B V DATA EXCHANGE SYSTEM INCLUDING PORTAL DATA PROCESSING UNITS
US5790859A (en) 1995-12-21 1998-08-04 International Business Machines Corporation Method of, system for, and computer program product for efficient identification of private variables in program loops by an optimizing compiler
EP0888585A1 (en) * 1996-03-19 1999-01-07 Massachusetts Institute Of Technology Computer system and computer implemented process for representing software system descriptions and for generating executable computer programs and computer system configurations from software system descriptions
US5740419A (en) 1996-07-22 1998-04-14 International Business Machines Corporation Processor and method for speculatively executing an instruction loop
US6463581B1 (en) 1996-10-03 2002-10-08 International Business Machines Corporation Method for determining reachable methods in object-oriented applications that use class libraries
CN1183449C (en) 1996-10-25 2005-01-05 施卢默格系统公司 using a high level programming language with a microcontroller
US5887161A (en) 1997-03-31 1999-03-23 International Business Machines Corporation Issuing instructions in a processor supporting out-of-order execution
FR2770918B1 (en) 1997-11-07 1999-12-10 Gemplus Card Int METHOD FOR SECURE MANAGEMENT OF A MEMORY
US6349344B1 (en) 1997-12-16 2002-02-19 Microsoft Corporation Combining multiple java class files into a run-time image
US6282700B1 (en) 1998-05-21 2001-08-28 Hewlett Packard Company Mechanism for maintaining revisions of objects in flash memory
US6526571B1 (en) 1999-03-16 2003-02-25 International Business Machines Corporation Method for identifying calls in java packages whose targets are guaranteed to belong to the same package
US6292874B1 (en) 1999-10-19 2001-09-18 Advanced Technology Materials, Inc. Memory management method and apparatus for partitioning homogeneous memory and restricting access of installed applications to predetermined memory ranges
US6263302B1 (en) 1999-10-29 2001-07-17 Vast Systems Technology Corporation Hardware and software co-simulation including simulating the cache of a target processor
US6718485B1 (en) 1999-11-16 2004-04-06 Parasoft Corporation Software emulating hardware for analyzing memory references of a computer program
FR2806813A1 (en) 2000-03-17 2001-09-28 Jean Michel Poupeau Smart card memory management system allowing card users access to a number of services offered by a town
US6735758B1 (en) 2000-07-06 2004-05-11 International Business Machines Corporation Method and system for SMP profiling using synchronized or nonsynchronized metric variables with support across multiple systems
US6957418B2 (en) 2001-01-23 2005-10-18 Altia, Inc. System and method of designing, testing, and employing graphical computer code
US7076773B2 (en) 2001-03-20 2006-07-11 International Business Machines Corporation Object oriented apparatus and method for allocating objects on an invocation stack in a dynamic compilation environment
US6978018B2 (en) 2001-09-28 2005-12-20 Intel Corporation Technique to support co-location and certification of executable content from a pre-boot space into an operating system runtime environment

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0390339A2 (en) * 1989-03-29 1990-10-03 Hewlett-Packard Company Path measurement and analysis tool for evaluating the performance of software designs
US5423027A (en) * 1991-09-27 1995-06-06 Massachusetts Institute Of Technology Tool for error detection in software using aspect specification
EP0543588A2 (en) * 1991-11-21 1993-05-26 International Business Machines Corporation Generating and processing computer programs
EP1056002A2 (en) * 1999-05-27 2000-11-29 Sun Microsystems, Inc. Fully lazy linking with module-by-module verification
US20020147903A1 (en) * 2001-04-10 2002-10-10 Discreet Logic Inc. Initialising modules

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
ATTALI I.,CAROMEL D., COURBIS C., HENRIO L.,NILSSON H: "Smart Tools for Java Cards", CONFERENCE PROCEEDINGS, 20 September 2000 (2000-09-20), FOURTH WORKING CONFERENCE ON SMART CARD RESEARCH AND ADVANCED APPLICATIONS BRISTOL UK, pages 155 - 174, XP002292560, Retrieved from the Internet <URL:www.ida.liu.se/~henni/Publications/cardis2000.pdf> [retrieved on 20040813] *
MARTIN H,DE BOUSQUET L: "Automatic test generation for Java-Card applets", CONFERENCE PROCEEDINGS, 14 September 2000 (2000-09-14), JAVA ON SMART CARDS PROGRAMMING AND SECURITY ,CANNES, FRANCE, pages 121 - 136, XP002292561, Retrieved from the Internet <URL:http://www-sop.inria.fr/oasis/JCW/martin.pdf> [retrieved on 20040813] *
TOGETHERSOFT CORPORATION: "Together Documentation Set : Together Getting Started Guide version 4.2", ONLINE MANUAL, 2000, XP002292559, Retrieved from the Internet <URL:http://usuarios.lycos.es/oopere/files/tman.pdf> [retrieved on 20040813] *

Also Published As

Publication number Publication date
AU2003224713A8 (en) 2003-10-08
US6996802B2 (en) 2006-02-07
WO2003081424A2 (en) 2003-10-02
EP1535150B1 (en) 2019-11-06
AU2003224713A1 (en) 2003-10-08
EP1535150A2 (en) 2005-06-01
WO2003081424A9 (en) 2004-04-22
US20030177475A1 (en) 2003-09-18

Similar Documents

Publication Publication Date Title
WO2004040455A3 (en) Method and apparatus for splitting a logical block
WO2003054666A3 (en) System and method for automated test-case generation for software
WO2006018843A3 (en) A system and method for the synchronization of data across multiple computing devices
WO2003081424A3 (en) Method and apparatus for deployment of high integrity software using initialization order and calling order constraints
WO2001055845A3 (en) System and method for flexible software linking
WO2004038618A3 (en) Method and device for synthesising an electrical architecture
DE60328663D1 (en) METHOD AND SYSTEM FOR CONNECTING FIRMWARE MODULES IN A STORAGE MANAGEMENT ENVIRONMENT
WO2005114504A3 (en) Method and apparatus for executing event driven simulations
EP1499053A3 (en) Orthogonal complex spreading method for multichannel and apparatus thereof
WO2005106761A3 (en) Automated template generation algorithm for implantable device
DE60222410D1 (en) TRIGGERING AN APPLICATION ON A CHIP CARD
WO2003088125A3 (en) System and method for integrated computer-aided molecular discovery
EP1560120A4 (en) Access method
DK1527503T3 (en) DISTRIBUTOR CONNECTOR MODULE FOR TELECOMMUNICATION AND COMPUTER TECHNOLOGY
EP0862293A3 (en) Information devices whitch select and use one out of a plurality of encryption utilization protocols for protecting copyrights of digital productions
CA2428821A1 (en) Accessing a platform independent input method editor from an underlying operating system
WO2005008412A8 (en) Shared input key method and apparatus
EP1168161A3 (en) System and method of executing hybridized code on a dynamically cofigurable hardware environment
EP1085411A3 (en) A relocation format for linking
ATE433607T1 (en) REDUCING CLOSE-UP AMBIGUITY
WO2001069391A3 (en) Difference engine method and apparatus
WO2002093379A3 (en) Benchmark testing of a computer component
WO2003081388A3 (en) Method, system, and program for an improved enterprise spatial system
WO2001042997A3 (en) Method and apparatus for synthesizing communication support based on communication types of application
AU2003292534A1 (en) Method and system for simulating communications networks, object and computer program product therefor

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ OM PH PL PT RO RU SC SD SE SG SK SL TJ TM TN TR TT TZ UA UG UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IT LU MC NL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
121 Ep: the epo has been informed by wipo that ep was designated in this application
COP Corrected version of pamphlet

Free format text: PAGES 1/16-16/16, DRAWINGS, REPLACED BY NEW PAGES 1/16-16/16; DUE TO LATE TRANSMITTAL BY THE RECEIVING OFFICE

WWE Wipo information: entry into national phase

Ref document number: 2003721396

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 2003721396

Country of ref document: EP

NENP Non-entry into the national phase

Ref country code: JP

WWW Wipo information: withdrawn in national office

Country of ref document: JP