Formal model of IEC 61499 execution trace in FBME IDE.

Tatiana Liakh Radimir Sorokin Daniil Akifev Sandeep Patil Valeriy Vyatkin

Published in: INDIN (2022)

Keyphrases

formal model
execution traces
control system
formal models
distributed systems
data flow
execution model
interactive evolutionary computation
real time
smart grid
security properties
predicate calculus
database
source code
goal oriented
execution environment