×
Copy the page URI to the clipboard
Hilton, Adrian and Hall, Jon G. (2000). On Applying Software Development Best Practice to FPGAs in Safety-Critical Systems. Technical Report 2000/06; Department of Computing, The Open University.
DOI: https://doi.org/10.21954/ou.ro.00015fee
Abstract
New standards for developing safety-critical systems require the developer to demonstrate the safety and correctness of the pro-grammable logic in such systems. In this paper we adapt software development best practice to developing high-integrity FPGA programs.