Developing critical systems with PLD components

Adrian Hilton, Jon G. Hall
2005 Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05  
Programmable logic devices (PLDs) are now common components of critical systems, and are increasingly used for safety-related or safety-critical functionality. Since 1999 avionics-and defence-related safety standards have advised and prescribed various approaches for PLD programming in safety-related systems. There are many differences between current and recommended practice, and safety engineers differ on how to apply the existing standards. This paper describes past and current practice in
more » ... ogramming PLDs in critical systems. It summarises the relevant safety and security standards and anticipates forthcoming changes to UK standards. It describes the work that the authors and others have done in the field of specifying, designing and proving correct PLD programs and maps out avenues of work that the authors believe necessary for PLD programming technology to keep pace with PLD functionality.
doi:10.1145/1081180.1081190 fatcat:pjv34dxiv5hf7ir64zruxpy5xe