Implementation of safety critical logic controller by means of FPGA

Adamski, M. (1999). Application specific logic controllers for safety critical systems. Proceedings of the 1999 IFAC Triennial World Congress (Vol. Q, pp. 519–524). Beijing, China. Cullyer, W. J., & Pygott, C. H. (1987, May). Application of formal methods to the VIPER microprocessor. IEE Proceedings, 134(Pt. E, No. 3), 133–141. Halang, W. A., & Jung, S.-K. (1994). A programmable logic controller for safety critical systems. High Integrity Systems, 1(2), 179–193. Halang, W. A., & Adamski, M. (1997). A programmable electronic system for safety related control applications. In Proceedings of the International Conference on Safety and Reliability, ESREL’97 (pp. 349–356), Lisbon, Portugal. European Safety and Reliability Association (ESRA), July 17–20, 1997. Mandado, E., Marcos J., & Perez, S. A. (1996). Programmable logic devices and logic controllers. London: Prentice-Hall. Wakerly, J. F. (1994). Digital design principles and practices. Englewood Cliffs, NJ: Prentice-Hall. Wegrzyn, 1998, The application of reconfigurable logic to controller design, Control Engineering Practice (Pergamon), 6, 879, 10.1016/S0967-0661(98)00075-6 Wegrzyn, M., & Adamski, M. (1999). Hierarchical approach for design of application specific logic controller. In Proceedings of the IEEE International Symposium on Industrial Electronics ISIE’99 (Vol. 3, pp. 1389–1394), Bled, Slovenia, July 12–16, 1999. Xilinx. (2003). The Programmable Logic Data Book, http://www.xilinx.com/partinfo/databook.htm.