Soft-testing of industrial control systems programmed in IEC 1131-3 languages

ISA Transactions

Volumn 39, Issue 3, 2000, Pages 345-355

  Hassapis, George ^a  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE PORTABILITY; CONTROL SYSTEMS; CONVOLUTION; REGULATORY COMPLIANCE; SIMULATORS;

DISCRETE CONVOLUTION MODELS; FUNCTIONAL AND TEMPORAL REQUIREMENTS; IEC 1131-3 LANGUAGES; INDUSTRIAL CONTROL SYSTEMS; PROGRAM RUNTIME; SOFT TESTING; STANDARDS;

PROGRAMMABLE LOGIC CONTROLLERS;

ARTICLE; COMPUTER AIDED DESIGN; COMPUTER LANGUAGE; COMPUTER PROGRAM; COMPUTER SIMULATION; EQUIPMENT; EQUIPMENT DESIGN; EVALUATION; INDUSTRY; INTERNATIONAL COOPERATION; METHODOLOGY; PRACTICE GUIDELINE; STANDARD; THEORETICAL MODEL;

COMPUTER SIMULATION; COMPUTER-AIDED DESIGN; EQUIPMENT DESIGN; EQUIPMENT FAILURE ANALYSIS; GUIDELINES; INDUSTRY; INTERNATIONALITY; MODELS, THEORETICAL; PROGRAMMING LANGUAGES; SOFTWARE; SOFTWARE VALIDATION;

EID: 0033699672     PISSN: 00190578     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0019-0578(00)00029-X     Document Type: Article

References (16)

1. International Standard CEI IEC 1131-1, Programmable Controllers Part 1: General Information. First Edition, IEC, Geneva, 1993.
2. Crispin A. Programmable Logic Controllers and their Engineering Applications. 2nd Edition:1996;McGraw-Hill, New York.
3. Schutz W. Fundamental issues in testing distributed real-time systems. Real-Time Systems. 7:1994;129-157.
4. Yau S.S., Tsai J.P. A survey of software design techniques. IEEE Tr. on Software Engineering. 12:1986;713-721.
5. P.T. Ward, S.J. Mellor, Structured Development of Real-Time Systems. Yourdon Press, 1985.
6. Gomaa H. Software development of real-time systems. Communications of ACM. 29:1986;657-668.
7. J. Martin, C. Mclure, Structured Techniques - the Basis for Case. Prentice Hall, 1988.
8. I. Sommerville, Software Engineering, 3rd Edition, Addison-Wesley, 1989.
9. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, 1991.
10. Calvez J.P. Embedded real-time systems: A specification and design methodology. 1993;John Wiley and Sons, New York.
11. O. Nierstrasz, D. Tsichritzis (Eds), Object-Oriented Software Composition, Prentice Hall, 1995.
12. International Standard CEI IEC 1131-3, Programmable Controllers Part 3: Programming Languages. First Edition, IEC, Geneva, 1993.
13. R.W. Lewis, Programming Industrial Control Systems using IEC1131-3. IEE, London, 1995.
14. Seborg D., Edgar T.F., Mellichamp D.N. Process Dynamics and Control. 1989;John Wiley and Sons, New York.
15. Pep Modular Computers, User's Manual of Smart I/O Micro PPC and Real-Time Computer, Kaufbeuren, Germany, 1994.
16. The Mathworks Inc., SIMULINK Dynamic System Simulation Software, User's Guide, Natick, Mass. USA, 1993.