The use of dataflow-like models for the in-the-large design of real-time applications is
discussed. In these models, modules can only communicate by (asynchronously) receiving …

This paper advocates the use of a high-level, distributed programming language for
programming realtime distributed systems. The advantages of this approach include the …

Critical issues in real-time software systems are addressed. The issues reviewed include:
computational models; an integrated system-wide schedule; real-time communication …

The complexities of real-time systems are such that it is often thought necessary to give a
formal justification of their correctness especially if they are to be used in a safety-critical …

The authors present an application of formal development methodology to an actual real-
time embedded system. The formal methods used are based on Modechart a graphical state …

Many real-time applications are different from ordinary computer applications because they
react to the state or change of state of the external environment within a specified time limit …

Distributed real-time systems often have to maintain the temporal validity of data. In this
paper we present a modelling framework centered on data where a so-called observation …

The methodological issues and practical problems in development and industrial use of a
theory-based design method for embedded, real-time systems are discussed. The method …

Our goal is to settle techniques for the validation of real time distributed systems. We opted
for executable models and simulation techniques. Our approach is to work at the …

The present paper describes a CAD environment developed to model, simulate and
evaluate the correctness and performance of distributed real-time control systems. The …