Towards a theory of interface-based design of hierarchical reactive systems

Authors:
Herbert Prähofer
Affiliations:
Johannes Kepler University, Linz, Austria
Venue:
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Year:
2013

Citing 4
Cited 0

Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Theory of Modeling and Simulation

Theory of Modeling and Simulation
Minimal Model Generation

CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Programming assistance based on contracts and modular verification in the automation domain

Proceedings of the 2010 ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal methodology for hierarchical interface-based design of component-based reactive automation systems with behavioral contracts. Based on seminal work of de Alfaro and Henzinger, a hierarchical component approach with behavioral interface contracts and verification methods for checking that components fulfill specified contracts is presented. In contrast to other approaches, components form a strict hierarchical structure of upper and sub-ordinate components. We discuss different questions which arise in such settings and present formal methods to answer those. Moreover, as an extension of the interface-based design methodology, a method is introduced which allows deriving the externally observable behavior of a component as a structure-preserving abstraction.