00-54 - Ministry of Defence, Interim Defence Standard 00-54 Requirements of Safety Related Electronic Hardware in Defence Equipment, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Safety Assurance of Commercial-Off-The-Shelf Software - Lindsay, Smith (2000) (Correct)
....activities have been conducted or the in service history of the software is appropriate, and detailed guidance is given on this matter. In particular, quantified error rates and failure probabilities for the software may be taken into account. Safety critical hardware standard Def Stan 00 54 [Std00 54] notes the widespread use of Safety Assurance of COTS Software SEA 2000 P. Lindsay G. Smith, Software Verification Research Centre 5 COTS products in hardware development. A COTS product may only be used if evidence of its integrity can be gathered from the process used in its design and ....
UK Ministry of Defence, Interim Defence Standard 00-54: Requirements for Safety Related Electronic Hardware in Defence Equipment, 1999.
Mapping Concurrent Real-Time Software Languages to FPGA - Audsley, Bate, Ward (2003) (Correct)
No context found.
00-54 - Ministry of Defence, Interim Defence Standard 00-54 Requirements of Safety Related Electronic Hardware in Defence Equipment, 1999.
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