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 contributionScientificpeer-review

4 Citations (Scopus)

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 of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017
PublisherIEEE
Pages700-705
Number of pages6
ISBN (Electronic)9781538608371
DOIs
Publication statusPublished - 10 Nov 2017
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - Emden, Germany
Duration: 24 Jul 201726 Jul 2017
Conference number: 15

Publication series

NameIEEE International Conference on Industrial Informatics
PublisherIEEE
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
CountryGermany
CityEmden
Period24/07/201726/07/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