Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate
2007-06-06
2011-10-18
Rodriguez, Paul (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Software program
Reexamination Certificate
active
08041554
ABSTRACT:
The present invention is a methodology for developing high-assurance microcode. The method may comprise one or more of the following steps: (a) receiving a plurality of requirements detailing intended behavior of microcode (b) creating a model of microcode behavior; (c) generating microcode based on the model; (d) generating test cases based on the model; (e) simulating the behavior of the microcode; (f) translating the model into a verification tool-specific format; and (g) formally verifying the model using a verification tool.
REFERENCES:
patent: 6625759 (2003-09-01), Petsinger et al.
patent: 7139936 (2006-11-01), Petsinger et al.
patent: 7225417 (2007-05-01), Clarke et al.
patent: 2004/0039966 (2004-02-01), Petsinger et al.
patent: 2006/0247907 (2006-11-01), Qadeer et al.
patent: 2007/0260445 (2007-11-01), Vismane et al.
Tripakis et al., Translating Discrete-Time Simulink to Lustre, Nov. 2005, ACM Transactions on Embedded Computing Systems, vol. 4, No. 4, pp. 779-818.
Greve et al., Evaluatable, High-Assurance Microprocessors, 2002, Rockwell Collins Advanced Technology Center.
Greve et al., A Summary of Intrinsic Partitioning Verification, 2004, Rockwell Collins Advanced Technology Center.
Scaife et al., Defining and Translating a “Safe” Subset of Simulink/Stateflow into Lustre, Sep. 27-29, 2004, ACM, EMSOFT'04, Pisa, Italy.
Hardin David S.
Hiratzka T. Douglas
Limondin Philippe M. T.
Whalen Michael W.
Barbieri Daniel M.
Chad Aniss
Rockwell Collins, Inc.
Rodriguez Paul
LandOfFree
Method and system for the development of high-assurance... 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 system for the development of high-assurance..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for the development of high-assurance... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4302078