Checking of the atomicity of commands executed by a...

Details Checking of the atomicity of commands executed by a... Checking of the atomicity of commands executed by a...

2005-06-02

2008-10-14

Iqbal, Nadeem (Department: 2114)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

Reexamination Certificate

active

07437610

ABSTRACT:
A method and a system for checking the atomic character of at least one command executed by a microprocessor of an electronic component including at least one rewritable non-volatile memory, including: selecting a command including at least one updating of at least one piece of data in the non-volatile memory; executing this command several times; interrupting each execution at a different time of its development; and checking, after each interrupt, the coherence of the data in the non-volatile memory with respect to at least one predetermined authorized state.

REFERENCES:
patent: 6535997 (2003-03-01), Janson et al.
patent: 6539448 (2003-03-01), Deng
patent: 2005/0223279 (2005-10-01), Malpani et al.
patent: 2005/0269400 (2005-12-01), Fontaine
French Search Report from French Patent Application No. 04/51087, filed Jun. 2, 2004.
Engelbert Hubbers and Erik Poll: “Reasoning About card Tears and Transactions In Java Card” Proc. Of Fundamental Approaches To Software Engineering—Fase' 04, vol. 2984, Mar. 2004, pp. 114-128, XP002314878.
Reiner Hahnle and Wojciech Mostowski: “Verification of Safety Properties in the Presence of Transactions” Cassis' 04 Post Workshop Proceedings, vol. 3362, March 224, pp. 151-171, XP002314879.
Kohler W.H. A Survey of Techniques For Synchronization And Recovery In Decentralized computer Systems: ACM Computing Surveys, New York, NY, US, vol. 13, No. 2, Jun. 1981, pp. 149-183, XP000747618.

Affiliated with

Also associated with

Rating

Checking of the atomicity of commands executed by a... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Checking of the atomicity of commands executed by a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Checking of the atomicity of commands executed by a... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3992086