Generating evidence for certification of modern processors for use in safety-critical systems

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 125-132

  Bate, I ^a   Conmy, P ^a   McDermid, J ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Certification; Computer science; Degradation; Job production systems; Manufacturing processes; Modems; Performance analysis; Pipelines; Production systems; Timing

Indexed keywords

COMPUTER SCIENCE; DEGRADATION; MODEMS; PIPELINES; SYSTEMS ENGINEERING;

CERTIFICATION; JOB PRODUCTION; MANUFACTURING PROCESS; PERFORMANCE ANALYSIS; PRODUCTION SYSTEM; TIMING;

SAFETY ENGINEERING;

EID: 84898805493     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895450     Document Type: Conference Paper

References (18)

1. Static Timing Analysis and Program Proof, R. Chapman, Department of Computer Science, University of York, PhD Thesis, YCST-95-05, 1995.
2. Guide for the Use of the Ada Programming Language in High Integrity Systems, ISO/IEC PDTR 15952, 1998.
3. Requirements for Safety Related Electronic Hardware in Defence Equipment, Ministry of Defence, UK, 00-54, March 1999.
4. Requirements for Safety Related Software in Defence Equipment, Ministry of Defence, UK, 00-55, August 1997.
5. Software Considerations in Airborne Systems and Equipment Certification, RTCA/EUROCAE, DO-178B/ED-12B, December 1992.
6. Design Assurance Guidelines for Airborne Electronic Hardware, RTCA/EUROCAE, DO-254B, 2000.
7. Dependability of the 777 Primary Flight Control System, Y.C. (Bob) Yeh, Boeing Commercial Airplane Group, USA, 5th IFIP Conference on Dependable Computing for Critical Applications. IFIP, 1995.
8. Functional safety of electrical/electronic/programmable electronic safety related systems, International Electrotechnical Commission, IEC 61508, Draft, 1998.
9. The Potential for a generic Approach to the Certification of Safety-Critical Systems in the Transportation Sector, Y. Papadopoulos, J McDermid, Reliability Engineering and System Safety, 63(1), pp. 47-66, 1999.
10. Static Cache Simulations and its Applications, F. Mueller, Department of Computer Science, Florida State, PhD Thesis, 1994.
11. Timing Anomalies in Dynamically Scheduled Microprocessors, T. Lundqvist, P. Stenström, Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS'99), pp. 12-21, December 1999.
12. Worst-Case Execution Time Analysis for Optimized Code, J. Engblom, MSc Thesis Uppsala University, DoCS 97/94, September 1997. 104 pages.
13. Effectiveness Evaluation of the Buffer-Oriented Microarchitecture Validation, N. Utamaphethai, R.D. Blanton, J. P. Shen, Proceedings of the Second International Workshop on Microprocessor Test and Verification, Atlantic City, September 1999
14. TDF Specification, I. E. Currie, Defence Evaluation Research Agency, United Kingdom, Version 4, DRA/CIS(SE2)/CR/94/36/4.0, June 1995.
15. th International Conference on Real-Time Computing Systems and Applications, pp. 111-119, December 1999.
16. Statistical Analysis of Floating Point Flaw, Intel White Paper, November 1994
17. st Quarter, 1999
18. Assessing the Safety of Integrity Level Partitioning in Software, John A McDermid and David J Pumfrey, Proceedings of the Eighth Safety-critical Systems Symposium, Southampton, UK, 2000