Parametrized semantics for fault tolerant real-time systems

@inproceedings{Coenen1993ParametrizedSF,
  title={Parametrized semantics for fault tolerant real-time systems},
  author={Jaa Jos Coenen and Jjm Jozef Hooman},
  year={1993}
}
Motivated by the close relation between real-time and fault tolerance, we investigate the foundations of a formal framework to specify and verify real-time distributed systems that incorporate fault tolerance techniques. Therefore a denotational semantics is presented to describe the real-time behaviour of distributed programs in which concurrent processes communicate by synchronous message passing. In this semantics we allow the occurrence of faults, due to faults of the underlying execution… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers