The method of stochastic state classes provides a means for quantitative analysis of a rather wide class of non-Markovian models. As a major and structural limitation, the approach cannot be applied to models encompassing a preemptive policy, which in the practice rules out the mechanism of suspension and resume usually applied in many real-time systems. We overcome here the limitation by proposing an approach that faces the complexity issues introduced by the suspension/resume mechanism in the structure of supports and distributions of remaining times. In particular, these are distributed over a polyhedral support according to a multivariate joint density function with analytic piecewise form over a partition into polyhedral subdomains. The approach resorts to an imprecise analysis that extends distributions over the tightest DBM zones enclosing polyhedral domains, and approximates them with Bernstein Polynomials to obtain a global (non-piecewise) analytic representation. Computational experience is reported to show the different impact of errors due to the approximation of supports and distributions.

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters / L. Carnevali; J. Giuntini; E. Vicario. - ELETTRONICO. - (2011), pp. 111-120. (Intervento presentato al convegno International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS) tenutosi a Parigi nel maggio 2011).

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters

CARNEVALI, LAURA;VICARIO, ENRICO
2011

Abstract

The method of stochastic state classes provides a means for quantitative analysis of a rather wide class of non-Markovian models. As a major and structural limitation, the approach cannot be applied to models encompassing a preemptive policy, which in the practice rules out the mechanism of suspension and resume usually applied in many real-time systems. We overcome here the limitation by proposing an approach that faces the complexity issues introduced by the suspension/resume mechanism in the structure of supports and distributions of remaining times. In particular, these are distributed over a polyhedral support according to a multivariate joint density function with analytic piecewise form over a partition into polyhedral subdomains. The approach resorts to an imprecise analysis that extends distributions over the tightest DBM zones enclosing polyhedral domains, and approximates them with Bernstein Polynomials to obtain a global (non-piecewise) analytic representation. Computational experience is reported to show the different impact of errors due to the approximation of supports and distributions.
2011
Proc. of the International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)
Parigi
maggio 2011
L. Carnevali; J. Giuntini; E. Vicario
File in questo prodotto:
File Dimensione Formato  
VALUETOOLS11.pdf

Accesso chiuso

Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 284.95 kB
Formato Adobe PDF
284.95 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/526457
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact