### Abstract

Original language | Undefined |
---|---|

Title of host publication | Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE |

Place of Publication | Los Alamitos |

Publisher | IEEE |

Pages | 104-114 |

Number of pages | 11 |

ISBN (Print) | 0-7695-0475-2 |

DOIs | |

State | Published - Jan 1999 |

### Publication series

Name | |
---|---|

Publisher | IEEE |

### Fingerprint

### Keywords

- EWI-6468
- FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS
- IR-19086
- FMT-PA: PROCESS ALGEBRAS
- METIS-119609
- FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

### Cite this

*Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE*(pp. 104-114). Los Alamitos: IEEE. DOI: 10.1109/REAL.1999.818832

}

*Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE.*IEEE, Los Alamitos, pp. 104-114. DOI: 10.1109/REAL.1999.818832

**Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.** / d' Argenio, P.R.; Katoen, Joost P.; Brinksma, Hendrik.

Research output: Scientific - peer-review › Conference contribution

TY - CHAP

T1 - Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

AU - d' Argenio,P.R.

AU - Katoen,Joost P.

AU - Brinksma,Hendrik

PY - 1999/1

Y1 - 1999/1

N2 - This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms of stochastic automata, a variant of timed automata where clocks are initialised randomly and run backwards. To analyse quantitative properties, an algorithm is presented for the on-the-fly generation of a discrete-event simulation model from a process algebra specification. On the qualitative side, a symbolic technique for classical reachability analysis of stochastic automata is presented. As a result a unifying framework for the specification and analysis of quantitative and qualitative properties is obtained. We discuss an implementation of both analytic methods and specify and analyse a fault-tolerant multi-processor system

AB - This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms of stochastic automata, a variant of timed automata where clocks are initialised randomly and run backwards. To analyse quantitative properties, an algorithm is presented for the on-the-fly generation of a discrete-event simulation model from a process algebra specification. On the qualitative side, a symbolic technique for classical reachability analysis of stochastic automata is presented. As a result a unifying framework for the specification and analysis of quantitative and qualitative properties is obtained. We discuss an implementation of both analytic methods and specify and analyse a fault-tolerant multi-processor system

KW - EWI-6468

KW - FMT-RT: VERIFICATION OF REAL-TIME SYSTEMS

KW - IR-19086

KW - FMT-PA: PROCESS ALGEBRAS

KW - METIS-119609

KW - FMT-FMPA: FORMAL METHODS FOR PERFORMANCE ANALYSIS

U2 - 10.1109/REAL.1999.818832

DO - 10.1109/REAL.1999.818832

M3 - Conference contribution

SN - 0-7695-0475-2

SP - 104

EP - 114

BT - Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE

PB - IEEE

ER -