Closed world specification of embedded real-time controllers
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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 Author(s) Brink, E. Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands Bun, L. ; Van Katwijk, J. ; Toetenel, W.J.Keywords
This publication has 5 references indexed in Scilit:
- Issues in real-time process controller realizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hybrid specification of control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Hybrid SystemsPublished by Springer Nature ,1993
- Executing formal specificationsPublished by Association for Computing Machinery (ACM) ,1991