A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Developing critical systems with PLD components
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
doi:10.1145/1081180.1081190
fatcat:pjv34dxiv5hf7ir64zruxpy5xe