Closed world specification of embedded real-time controllers

Abstract

We propose integrated engineering of embedded controllers where process control engineering (PCE) and software engineering (SWE) are fully integrated into one process of development. The PCE products are transformed into a formal hybrid specification language, H-ASTRAL, an extension of ASTRAL currently being developed at TU Delft, which enables the specification of closed models, such that both the discrete controller and the continuous controlled system are modeled in H-ASTRAL. The H-ASTRAL specification can be simulated and is starting point for implementation. In our approach the abstract closed-world specification is transformed into a concrete open-world model, in which the continuous mathematical model of the controlled process is replaced with the interface to reality. The paper reports on work in progress, summarizes the approach and discusses a real-world example.