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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 16 Citations

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
LanguageUndefined
Title of host publicationReal-Time Systems Symposium, 1999. Proceedings. The 20th IEEE
Place of PublicationLos Alamitos
PublisherInstitute of Electrical and Electronics Engineers
Pages104-114
Number of pages11
ISBN (Print)0-7695-0475-2
DOIs
StatePublished - Jan 1999

Publication series

Name
PublisherIEEE

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

d' Argenio, P. R., Katoen, J. P., & Brinksma, H. (1999). Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE (pp. 104-114). Los Alamitos: Institute of Electrical and Electronics Engineers. DOI: 10.1109/REAL.1999.818832
d' Argenio, P.R. ; Katoen, Joost P. ; Brinksma, Hendrik. / Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos : Institute of Electrical and Electronics Engineers, 1999. pp. 104-114
@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 = "1",
doi = "10.1109/REAL.1999.818832",
language = "Undefined",
isbn = "0-7695-0475-2",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "104--114",
booktitle = "Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE",
address = "United States",

}

d' Argenio, PR, Katoen, JP & Brinksma, H 1999, Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. in Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Institute of Electrical and Electronics Engineers, 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.

Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos : Institute of Electrical and Electronics Engineers, 1999. p. 104-114.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

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 - Institute of Electrical and Electronics Engineers

CY - Los Alamitos

ER -

d' Argenio PR, Katoen JP, Brinksma H. Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos: Institute of Electrical and Electronics Engineers. 1999. p. 104-114. Available from, DOI: 10.1109/REAL.1999.818832