A. Avizienis, Y. He, "Microprocessor entomology: a taxonomy of design faults in COTS microprocessors", in Dependable Computing for Critical Applications 7, C.B. Weinstock and J. Rushby, eds, IEEE CS Press, 1999, pp. 3-23. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Discussion of Practices for Enhancing Diversity in.. - Littlewood, Strigini (2000) (Correct)
....of diversity that is generally and absolutely necessary, as the system designers usually have no other effective defence against platform faults. Its effectiveness cannot be quantified yet: to our knowledge, there has been no empirical study of it; even studies of design faults in microprocessors [Avizienis Yutao 1999] lack statistical data about design caused failures. We have argued before that diversity in the earlier, higher level stage of development is not a sufficient protection against common failures due to hardware design faults, and hardware diversity should not be assumed to guarantee ....
A. Avizienis and H. Yutao, "Microprocessor entomology: a taxonomy of design faults in COTS microprocessors", in 7-th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7), (C. B. Weinstock and J. Rushby, Eds.), (San Jose, California, USA), pp. 3-23, IEEE, 1999.
Dependability Impairments: Faults, Errors, and Failures - Dörenberg (2001) (Correct)
....required product certification and design assurance level. Mechanisms put in place to ensure consistency, convergence and tracking between dissimilar versions must be carefully evaluated for their effect on version independence. Often, generic faults are referred to as residual design errors [Avizienis99]. However, their causes can be found in system life cycle phases other than design. For instance, all hardware components of a particular type can have the same manufacturing flaw (i.e. a bad lot ) The system specification can have deficiencies that equally affect all systems designed in ....
Avizienis, A., He, Y.: "Microprocessor Entomology: A Taxonomy of Design Faults in COTS Microprocessors", pp. 3-23 of "Dependable Computing for Critical Applications -- Vol. 7" (Proc. Of the 7 th Int'l IFIP Conf. On Dependable Computing for Critical Applications, San Jose/CA, Jan.
Dependability and Its Threats: A Taxonomy - Avizienis, Laprie, Randell Self-citation (Avizienis) (Correct)
No context found.
A. Avizienis, Y. He, "Microprocessor entomology: a taxonomy of design faults in COTS microprocessors", in Dependable Computing for Critical Applications 7, C.B. Weinstock and J. Rushby, eds, IEEE CS Press, 1999, pp. 3-23.
Design Diversity and the Immune System Paradigm.. - Algirdas Avizienis Ucla (2000) Self-citation (Avizienis) (Correct)
.... For example, the seven processors of the Intel P6 family in April 1999 had from 45 to 101 reported design faults, of which from 30 to 60 have remained uncorrected to the most recent versions ( steppings ) of the processors, and new errata are announced at the rate of about one per month [13]. Maintenance mistakes and other unintentional interaction faults have remained a serious concern, while attacks of various types have been gaining in numbers and in severity, especially by exploiting the weakness of complex COTS operating systems and other COTS software. One more consequence of ....
A. Avizienis and Y. He. Microprocessor entomology: A taxonomy of design faults in COTS microprocessors. In J. Rushby and C. B. Weinstock, editors, Dependable Computing for Critical Applications 7, pages 3--23. IEEE Computer Society Press, 1999.
Dependable Pervasive Systems - Jones, Randell (2004) (Correct)
No context found.
A. Avizienis and Y. He. "Microprocessor Entomology: A Taxonomy of Design Faults in COTS Microprocessors," in Proc. Dependable Computing for Critical Applications (DCCA '99), pp. 3-23, San Jose, CA, 1999. ISBN 0-7695-0284-9
Collection of High-Level Microprocessor Bugs from Formal.. - Velev (2003) (1 citation) (Correct)
No context found.
A. Avizienis, and Y. He, "Microprocessor Entomology: A Taxonomy of Design Faults in COTS Microprocessors," Dependable Computing for Critical Applications (DCCA '99), January 1999, pp. 3--23.
Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (11 citations) (Correct)
No context found.
Algirdas Avizienis and Yutao He. Microprocessor entomology: A taxonomy of design faults in COTS microprocessors. In Weinstock and Rushby [112], pages 3--23.
References - Weber Formal Specification (Correct)
No context found.
Algirdas Avizienis and Yutao He. Microprocessor entomology: A taxonomy of design faults in COTS microprocessors. In Weinstock and Rushby [112], pages 3--23.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC