A BOTTOM-UP METHODOLOGY FOR TESTING COMPLEX CONTROL FUNCTIONS OF PROCESS AND POWER PLANTS
作者： Emanuele Carpanzano , Luca Ferrarini , Claudio Maffezzoni
DOI: 10.3182/20020721-6-ES-1901.01212
关键词:
摘要: Abstract In the present work a modular simulation-based technique for automatic verification of logic control functions is introduced and exploited to define structured bottom-up methodology testing overall process power plants. The proposed method has been implemented in CACSD environment which uses Matlab toolboxes Simulink Stateflow via simulation. portion thermal plant considered as an application example framework.
sci-hub.se 参考文章(7)
A.K. Mok, D. Stuart, Simulation vs. verification: getting the best of both worlds Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96. pp. 12- 22 ,(1996) , 10.1109/CMPASS.1996.507871
A.J. Daga, W.P. Birmingham, A symbolic-simulation approach to the timing verification of interacting FSMs international conference on computer design. pp. 584- 589 ,(1995) , 10.1109/ICCD.1995.528927
G.J. Holzmann, The model checker SPIN formal methods in software practice. ,vol. 23, pp. 279- 295 ,(1997) , 10.1109/32.588521
The state of computer-aided control system design (CACSD) IEEE Control Systems Magazine. ,vol. 15, pp. 6- 7 ,(1995) , 10.1109/37.375277
M. Gravenstein, Modeling techniques to support system level simulation and a top-down development methodology Image and Vision Computing. pp. 43- 50 ,(1994) , 10.1109/IVC.1994.323749
Claudio Maffezzoni, Luca Ferrarini, Emanuele Carpanzano, Object-Oriented Models for Advanced Automation Engineering Control Engineering Practice. ,vol. 7, pp. 957- 968 ,(1998) , 10.1016/S1474-6670(17)40525-8
W. Dieterle, H.-D. Kochs, E. Dittmar, COMMUNICATION ARCHITECTURES FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS IFAC Proceedings Volumes. ,vol. 27, pp. 13- 18 ,(1994) , 10.1016/S1474-6670(17)45743-0