Specification of software controlling a discrete-continuous environment

In this paper, we present an object-oriented approach to the specification of discrete software controllers that are embedded in discrete-continuous (or hybrid) environments. The structure of the controller and its environment is specified using object notations extended to include continuous and hy...

Full description

Saved in:
Bibliographic Details
Main Authors: Friesen, Viktor, Jähnichen, Stefan, Weber, Matthias
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Automatic control
Boilers
Continuous time systems
Differential equations
Embedded software
Embedded system
Hardware > Communication hardware, interfaces and storage > Buses and high-speed links
Mathematics of computing > Discrete mathematics
Object oriented modeling
Software and its engineering > Software creation and management > Designing software
Software and its engineering > Software creation and management > Designing software > Requirements analysis
Software and its engineering > Software notations and tools > Development frameworks and environments
Software and its engineering > Software notations and tools > General programming languages > Language types > Object oriented languages
Theory of computation > Randomness, geometry and discrete structures
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we present an object-oriented approach to the specification of discrete software controllers that are embedded in discrete-continuous (or hybrid) environments. The structure of the controller and its environment is specified using object notations extended to include continuous and hybrid objects. Control behavior is specified with state automata and pre/post-conditions using the statechart notation and constructive Z-schemata. The behavior of the environment is specified with systems of differential equations using an object-oriented extension of Z for the specification of hybrid systems. We use a case study on control of a high-pressure steam boiler to illustrate how the environment structure can help to design the controller and how environment simulation can be used to derive control parameters.
ISSN:0270-5257
1558-1225
DOI:10.1145/253228.253297