START Conference Manager    

Towards a Methodology for Interface-Based Design of Hierarchical Automation Components with Dynamic Contracts and Modular Verification

Herbert Praehofer and Dominik Hurnaus

Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS 2011)
Boston, MA, USA, April 4-9, 2011


This paper presents a methodology for hierarchical interface-based design of automation components with dynamic contracts. Based on seminal work on interface-based design of de Alfredo and Henzinger we formulate a component approach with static and dynamic interface contracts and verification methods for checking that components fulfill specified contracts. In contrast to other work, in our approach components form a strict hierarchical structure of upper and subordinate components where the upper has full control over its subcomponents. We discuss different questions which arise in such settings and present verification method to answer those. Then, this paper shortly reviews a language and respective tools which partly implements such methods in a hierarchical verification solution.

START Conference Manager (V2.56.8 - Rev. 1568)