A Study of Computerized System Validation Method for PLC Based System
暂无分享,去创建一个
[1] S. Lamperiere-Couffin,et al. Formal validation of PLC programs: A survey , 1999, 1999 European Control Conference (ECC).
[2] Lothar Litz,et al. Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[3] Orlando López. 21 CFR Part 11: Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry , 2004 .
[4] Ansgar Fehnker,et al. Verification and optimization of a PLC control schedule , 2000, International Journal on Software Tools for Technology Transfer.
[5] Philippe Schnoebelen,et al. Towards the automatic verification of PLC programs written in Instruction List , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[6] Masakazu Takahashi,et al. An extraction of failure modes for drug manufacturing computerized system , 2011, SICE Annual Conference 2011.
[7] Masakazu Takahashi. An Efficient Method for Computer Validation for Pharmaceutical Production Facility Control Software Using Programmable Logic Controller , 2006 .