Paper Info
Title
Verification of hierarchical IEC 61499 component systems with behavioral event contracts
Abstract
Behavioral event contracts constrain the ordering of input events received and possible output events returned from a software component. Interface automata as introduced by de Alfaro and Henzinger are a light-weight formalism that allow capturing such temporal aspects of software component interfaces and the associated theory allows answering such fundamental questions as interface compatibility, component composition, and refinement. The work presented in this paper applies the results from the theory of interface automata in a hierarchical design and verification approach for IEC 61499 automation solutions. IEC 61499 adapters and service sequences are used for specification of rich behavioral component interfaces. In this approach, components are built hierarchically in master-slave arrangements where each component defines a provided interface contract for its upper-level and specifies required interface contracts for its subcomponents. Verification methods allows verifying if a component uses all its subcomponents according to their contracts, allows checking if a concrete component satisfies a given contract, and allows computing an abstraction of a component representing its externally visible behavior.
Year
DOI
Venue
2013
10.1109/INDIN.2013.6622948
Industrial Informatics
Keywords
Field
DocType
IEC standards,automata theory,building management systems,contracts,distributed control,formal verification,object-oriented programming,user interfaces,IEC 61499 adapters,IEC 61499 automation solutions,behavioral component interfaces,behavioral event contracts,component composition,hierarchical IEC 61499 component system verification,hierarchical design,input event ordering,interface automata,interface compatibility,interface contract,light-weight formalism,master-slave arrangements,output events,service sequences,software component interface,subcomponents,Hierarchical automation solutions,component-based design,hierarchical verification,interface-based design
Automata theory,Programming language,Object-oriented programming,Computer science,Automaton,Real-time computing,Software,Component (UML),Component-based software engineering,User interface,Formal verification,Distributed computing
Conference
ISSN
Citations 
PageRank 
1935-4576
2
0.40
References 
Authors
0
2
Name
Order
Citations
PageRank
Herbert Prähofer118917.00
Alois Zoitl223335.98