UML-based Development Process for IEC 61499 with Automatic Test-case Generation

Development of distributed control applications within a standard framework was actually the strongest motivation behind the introduction of IEC 61499. Yet, scarcity of its application is due to the fact that the development is more complex as compared to the existing languages and standards. This p...

Full description

Saved in:
Bibliographic Details
Published in2006 IEEE Conference on Emerging Technologies and Factory Automation pp. 1277 - 1284
Main Authors Hussain, T., Frey, G.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2006
Subjects
Application software
Automatic testing
Distributed control
Formal verification
IEC standards
Industrial control
Performance evaluation
Programming
Software testing
Standards development
Online AccessGet full text
ISBN9780780397583
0780397584
ISSN1946-0740
DOI10.1109/ETFA.2006.355407

Cover

More Information
Summary:Development of distributed control applications within a standard framework was actually the strongest motivation behind the introduction of IEC 61499. Yet, scarcity of its application is due to the fact that the development is more complex as compared to the existing languages and standards. This paper addresses an UML-based development process for IEC 61499 which attempts to consider the aspects related to the utilization of the unique features that this standard brought into the field of industrial control applications. Reliability is an important consideration in this particular realm of software development and apart from formal verification tests are often performed to verify the software components. An automatic test-case generation methodology is introduced to complement the proposed development process.
ISBN:9780780397583
0780397584
ISSN:1946-0740
DOI:10.1109/ETFA.2006.355407