Automatic generation of function block applications using evolutionary algorithms: Initial explorations

Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

Abstract

Automation of software development process has been a concern for a long time. Genetic programming is a well-known technique which uses evolutionary computation to generate or improve a computer program for a specific task without human participation. We consider the method which applies model checking and evolutionary computation towards the automatic generation of function block control applications for industrial automation systems. As a first step, we evaluate the effectiveness of a fitness function based on the number of satisfied computation tree logic formulas in UPPAAL query language for a manually created UPPAAL model. Results show that such fitness function and the (1+1) evolutionary algorithm can be successfully applied to generation of the required data connections in the IEC 61499 function block application.
Original languageEnglish
Title of host publicationProceedings 2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
PublisherInstitute of Electrical and Electronics Engineers
Pages700-705
Number of pages6
ISBN (Electronic)978-1-5386-0837-1
DOIs
Publication statusPublished - 13 Nov 2017
Externally publishedYes
Event2017 IEEE 15th International Conference on Industrial Informatics (INDIN) - Emden, Germany
Duration: 24 Jul 201726 Jul 2017

Conference

Conference2017 IEEE 15th International Conference on Industrial Informatics (INDIN)
Country/TerritoryGermany
CityEmden
Period24 Jul 201726 Jul 2017

Fingerprint

Dive into the research topics of 'Automatic generation of function block applications using evolutionary algorithms: Initial explorations'. Together they form a unique fingerprint.

Cite this