Data processing: software development – installation – and managem – Software program development tool – Code generation
Reexamination Certificate
2006-02-07
2006-02-07
Vo, Ted T. (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Code generation
C717S118000, C717S126000
Reexamination Certificate
active
06996802
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 method 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.
REFERENCES:
patent: 4734568 (1988-03-01), Watanabe
patent: 5107418 (1992-04-01), Cramer et al.
patent: 5384749 (1995-01-01), Lisart et al.
patent: 5423027 (1995-06-01), Jackson
patent: 5615137 (1997-03-01), Holzmann et al.
patent: 5650948 (1997-07-01), Gafter
patent: 5659754 (1997-08-01), Grove et al.
patent: 5668999 (1997-09-01), Gosling
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5790859 (1998-08-01), Sarkar
patent: 5802519 (1998-09-01), de Jong
patent: 5836014 (1998-11-01), Faiman, Jr.
patent: 5887161 (1999-03-01), Cheong et al.
patent: 5968169 (1999-10-01), Pickett
patent: 5974255 (1999-10-01), Gossain et al.
patent: 6038397 (2000-03-01), Iwanishi et al.
patent: 6052690 (2000-04-01), de Jong
patent: 6094656 (2000-07-01), de Jong
patent: 6282700 (2001-08-01), Grover et al.
patent: 6292874 (2001-09-01), Barnett
patent: 6349344 (2002-02-01), Sauntry et al.
patent: 6463581 (2002-10-01), Bacon et al.
patent: 6526571 (2003-02-01), Aizikowitz et al.
patent: 6604190 (2003-08-01), Tran
patent: 6684261 (2004-01-01), Orton et al.
patent: 6718485 (2004-04-01), Reiser
patent: 6735758 (2004-05-01), Berry et al.
patent: 2002/0019969 (2002-02-01), Hellestrand et al.
patent: 2002/0097269 (2002-07-01), Batcha et al.
patent: 2002/0147903 (2002-10-01), Hubert et al.
patent: 2003/0097581 (2003-05-01), Zimmer
patent: 2004/0015920 (2004-01-01), Schmidt
patent: 2004/0103416 (2004-05-01), Orton et al.
patent: 0 390 339 (1990-10-01), None
patent: 0 543 588 (1993-05-01), None
patent: 0 605 872 (1994-07-01), None
patent: 0 751 458 (1997-01-01), None
patent: 0 821 305 (1998-01-01), None
patent: 1 056 002 (2000-11-01), None
patent: 2 806 813 (2000-03-01), None
patent: 94/24673 (1994-10-01), None
patent: 98/19237 (1998-07-01), None
patent: 99/24944 (1999-05-01), None
Hartel et al., “Formalizing the Safety of Java, the Java Virtual Machine, and Java Card”, ACM, pp. 517-558, Dec. 2001.
Qian et al., “A Formal Specification of Java™ Class Loading”, CiteSeer, pp. 1-47, Jul. 2000.
Cap et al., “Extending the data storage capabilities of a Java-based smartcard”, IEEE, pp. 680-685, Jul. 2001.
Chan, “Infrastructure of Multi-Application Smart Card”, http://home.hkstar.com/˜alanchan/papers/multiApplicationSmartCard/, Jul. 25, 2002.
Chen, Zhiqun, “Java Card™ Technology for Smart Cards”,Sun Microsystems, pp. 11-16, Jun., 2000.
Philips Semiconductor, “Designers offered first 16-bit smart card IC architecture with development tools”, Press Release, Jul. 25, 2002.
Ritchey, Tim, “Advanced Topics: The Java Virtual Machine”,Java!, Chapter 14, pp. 25-346, Sep. 22, 1995.
Sun Microsystems, Inc., “Java Card™ 2.0 Language Subset and Virtual Machine Specification”, Oct. 13, 1997, Revision 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.0 Programming Concepts”, Oct. 15, 1997, Revision 1.0 Final.
“Sun Delivers On Vision to Bring JAVA Technology to the Consumer and Embedded Market”, Business Wire, Sep. 28, 1999.
“Sun Microsystems Announces JAVACARD API”, Business Wire, Oct. 1996.
Sun Microsystems: “Sun's JAVA Technology Leads Open Worldwide Market for Smart Cards”, M2, Presswire, May 1999.
Dean, Jeffrey, “ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors”,IEEE1072-451/97.
Dolby, Julian, “Automatic Inline Allocation of Objects”, Concurrent Systems Architecture Group, Department of Computer Science, University of Illinois.
Zhao, Jianjun “Applying Program Dependence Analysis to Java Software” Fukuoka Kogyo Daigaku Kenkyu Ronshu (Research Bulletin of Fukuoka Institute of Technology), vol. 31, No. 1, pp. 29-41 1998.
“Memory Corruption Debugging System”, IBM Technical Disclosure Bulletin, IBM Corp., N.Y., Jan. 1, 1995, XP000498811, vol. 38, No. 1, pp. 395-400.
“Pseudo-Dynamic Algorithm for Computer Memory Allocation”, IBM Technical Disclosure Bulletin, IBM Corp., N.Y., Sep. 1, 1993, vol. 36, No. 9A, XP000396177, pp. 597-599.
A. Johan Cockx, “Whole Program Comilation for Embedded Software: The ADSL Experiment”, Apr. 25-27, 2001, pp. 214-218.
International Search Report, PCT/FR 03/08508, International filing date Mar. 17, 2003.
International Search Report, PCT/FR 03/08506, International filing date Mar. 17, 2003, Search Report mailed Mar. 17, 2004.
Allen, et al., “A Program Data Flow Analysis Procedure”, Mar. 76', Comm. of the ACM, vol. 19, No. pp. 137-147.
Back, G. et al., “Java Operating Systems”, Design and Implementation, Technical Report UUCS-98-015, Online!, Aug. 6, 1998, Dept. of Computer Science, Univ. of Utah, US (located at http://www.cs-tr.cornell.edu:80/Dienst/UI/1.0/Display
cstrl.utahcs/UUCS098-015).
Dreifus, H., Smart Cards; A Guide to Building and Managing Smart Card Applications; Copyright 1998; Publisher Robert Ipsen′ “Smart Card Development Skills, Methods, and Tools”; pp. 159-176; 224-225.
Hecht, et al., “A Simple Algorithm for Global Data Flow Analysis Problems”, Dec. 1975, SIAM Journal of Computing, vol. 4, No. 4, pp. 519-532.
Heiss, J. et al., “Java Card™ Technology Grows Up Smart”, printed on Apr. 22, 2000 at http://java.sum.com/features/1990/01/javacard.html, 5 pages.
Helaihel, et al., “Java as a Specification Language for Hardware-Software Systems”, IEEE 1997 (0-89791-993), pp 8.
Kennedy, K., “A Global Flow Analysis Algorithm”, 71', Intl. Journal of Comp. Math Sect. A., vol. 3, pp. 5-15.
Thomas David, J., “Smart and Smarter: The Emergence of Java Card™ Technology”, printed on Apr. 22, 2000 from http://java/sun.com/features/1998/04/javacard.html, pp 1-8.
Sun Microsystems, Inc., “Java TM Card TM Runtime Environment (JCRE) 2.1 Specification-Draft 2”, printed Dec. 4, 1998m YS XO002138793 cited in the application p. 6-2 p. 6-10.
Sun Microsystems, Inc., “Smart Cards: A primer”, printed on Apr. 22, 2000 from http://www.javaworld.com/javaworld/jw-12-19—b97/f—jw-12-javadev—p.html, pp. 1-13.
Sun Microsystems, Inc., “Java Card™ 2.1 Runtime Environment (JCRE) Specification”, Jun. 7, 1999, Final Revision 1.1.
Aho, et al., Code Optimization, Mar. 1988, Compilers-Principles, Techniques, and Tools, Addison-Wesley Publishing Co., Chapter 10, pp. 585-722.
Togethersoft Corporation, “Together Documentation Set: Together Getting Started Guide version 4.2”,Online Manual, p. 26, lines 1-4, [Online] 2000. (XP002292559).
Attali, I. et al., “Smart Tools for Java Cards”,Fourth Working Conference on Smart Card Research and Advanced Applications Bristol UK, pp. 155-174, [Online] Sep. 20, 2000. (XP002292560).
Martin, H. et al., “Automatic Test Generation for Java-Card Applets”,Java on Smart Cards Programming and Security, Cannes, France, pp. 121-136 , [Online] Sep. 14, 2000. (XP002292561).
Aho, A. et al., “Compilers Principles, Techniques, and Tools”, Addison-Wesley Publishing Co, US, pp. 1-646, 1986. (XP002941830).
Vendicator, “Stack Shield Technical Info
Gunnison Forrest
Gunnison McKay & Hodgson, L.L.P.
Vo Ted T.
LandOfFree
Method and apparatus for deployment of high integrity... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for deployment of high integrity..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for deployment of high integrity... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3654682