Verification of hierarchical IEC 61499 component systems with behavioral event contracts.

Herbert Prähofer Alois Zoitl

Published in: INDIN (2013)

Keyphrases

distributed systems
management system
multiscale
behavioral model
data streams
publish subscribe systems
computer systems
complex systems
event detection
automated verification
real time
asynchronous circuits
event driven
formal methods
expert systems
decision making
search engine
genetic algorithm