Use of Modern Processors in Safety-Critical Applications

@article{Bate2001UseOM,
  title={Use of Modern Processors in Safety-Critical Applications},
  author={Iain Bate and Philippa Conmy and Tim Kelly and John A. McDermid},
  journal={Comput. J.},
  year={2001},
  volume={44},
  pages={531-543}
}
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 processor are considered, commercial off-the-shelf (COTS) processors and purpose-designed bespoke devices… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

Challenges on Complexity and Connectivity in Embedded Systems

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Runtime verification of embedded real-time systems

  • Formal Methods in System Design
  • 2014
VIEW 1 EXCERPT
CITES BACKGROUND

On the on-line functional test of the Reorder Buffer memory in superscalar processors

  • 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

Time-Predictable Computer Architecture

  • EURASIP J. Emb. Sys.
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 13 REFERENCES

Arguing Safety—A Systematic Approach to Safety Case Management

T. P. Kelly
  • DPhil Thesis, Department of Computer Science,
  • 1999
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

HAZOP Studies on Systems Containing Programmable Electronics

Y. C. Yeh
  • 2000

A method to improve the estimated worst-case performance of data caching

  • Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306)
  • 1999
VIEW 1 EXCERPT

Timing anomalies in dynamically scheduled microprocessors

  • Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)
  • 1999
VIEW 2 EXCERPTS

Triple-triple redundant 777 primary flight computer

  • 1996 IEEE Aerospace Applications Conference. Proceedings
  • 1996
VIEW 1 EXCERPT

Similar Papers