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

P.R. d' Argenio; Joost P. Katoen; Hendrik Brinksma

doi:10.1109/REAL.1999.818832

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

P.R. d' Argenio, Joost P. Katoen, Hendrik Brinksma

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

16 Citations (Scopus)

150 Downloads (Pure)

Abstract

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

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	https://doi.org/10.1109/REAL.1999.818832
Publication status	Published - Jan 1999
Event	20th IEEE Real-Time Systems Symposium, RTSS 1999 - Phoenix, AZ, USA, Phoenix, Arizona Duration: 1 Feb 1999 → 3 Feb 1999 Conference number: 20

Publication series

Name
Publisher	IEEE

Conference

Conference	20th IEEE Real-Time Systems Symposium, RTSS 1999
Abbreviated title	RTSS
City	Phoenix, Arizona
Period	1/02/99 → 3/02/99
Other	12/01/1999 - 12/03/1999

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

Access to Document

10.1109/REAL.1999.818832

Cite this

@inproceedings{df3037603f8e4b54b4ce92bf2895bf90,

title = "Specification and Analysis of Soft Real-Time Systems: Quantity and Quality",

abstract = "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",

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",

author = "{d' Argenio}, P.R. and Katoen, {Joost P.} and Hendrik Brinksma",

year = "1999",

month = jan,

doi = "10.1109/REAL.1999.818832",

language = "Undefined",

isbn = "0-7695-0475-2",

publisher = "IEEE",

pages = "104--114",

booktitle = "Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE",

address = "United States",

note = "20th IEEE Real-Time Systems Symposium, RTSS 1999 ; Conference date: 01-02-1999 Through 03-02-1999",

}

TY - GEN

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

AU - d' Argenio, P.R.

AU - Katoen, Joost P.

AU - Brinksma, Hendrik

N1 - Conference code: 20

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

CY - Los Alamitos

T2 - 20th IEEE Real-Time Systems Symposium, RTSS 1999

Y2 - 1 February 1999 through 3 February 1999

ER -