Use of Modern Processors in Safety-Critical Applications
نویسندگان
چکیده
منابع مشابه
Use of Modern Processors in Safety-Critical Applications
This paper investigates the implications of using modern superscalar processors in the safety-critical domain. Firstly, a description of current certification practice and devices is given as background. This is followed by an exposition of the certification argument for a processor when used in a safetycritical application. Throughout the presentation of the argument two types of modern proces...
متن کاملGenerating evidence for certification of modern processors for use in safety-critical systems
This paper investigates the implications of using a modern super-scalar processor in the safety-critical domain. Firstly, a description of current certification practice and devices is given as background. This is followed by an assessment of how the certification argument and its supporting evidence are affected by the use of a super-scalar processor. Two types of modern processor are consider...
متن کاملSupporting the Use of Cots in Safety Critical Applications
Systematic errors typically dominate the achieved failure rate for complex systems involving software [Bell93]. Such errors are failures of the system with respect to the intended operation. These errors are created as a result of a failure in the design, implementation or operation of the system. They are indicative of the fact that at some point during the phases of system development, some p...
متن کاملthe tragedy of modern man in arthur millers world
what miller wants is a theatre of heightened consciousness. he speaks of two passions in a man, the passion to "feel" and the passion "know". he belives that we can have more of the latter. he says: drama is akin to the other inventions of man in that it ought to help us know more and not merely to spend our feelings. the writing of the crucible shows us that he is trying to give more heightene...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 2001
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/44.6.531