Design Strategy for a Formally Veriied Reliable Computing Platform

  • PlatformRicky W. ButlerJames L. CaldwellNASA, Ben L. Di VitoVigyan
  • Published 1991


This paper presents a high-level design for a reliable computing platform for real-time control applications. The design tradeoos and analyses related to the development of a formallyveriied reliable computing platform are discussed. The design strategy advocated in this paper requires the use of techniques that can be completely characterized… (More)

1 Figure or Table


  • Presentations referencing similar topics