Modelling Discrete Behaviour in a Continuous-Time Formalism

Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about both discrete and continuous-time components. We show how these two models can be integrated in a timed-trace formalism by treating discrete components as a restricted class of continuous ones.

• Type: Conference
• Year: 1999
• Where: IFM
• Authors: Colin J. Fidge
• Keywords: Continuous-time Components, Discrete Components, Formal Methods, IFM 1999, Real-time Systems