Approximate parameter synthesis for probabilistic time-bounded reachability

Tingting Han, Joost P. Katoen, A. Mereacre

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    43 Citations (Scopus)

    Abstract

    This paper proposes a technique to synthesize parametric rate values in continuous-time Markov chains that ensure the validity of bounded reachability properties. Rate expressions over variables indicate the average speed of state changes and are expressed using the polynomials over reals. The key contribution is an algorithm that approximates the set of parameter values for which the stochastic real-time system guarantees the validity ofbounded reachability properties. This algorithm is based ondiscretizing parameter ranges together with a refinement technique. This paper describes the algorithm, analyzes its time complexity, and shows its applicability by deriving parameter constraints for a real-time storage system with probabilistic error checking facilities.
    Original languageUndefined
    Title of host publicationProceedings of the IEEE Real-Time Systems Symposium (RTSS 2008)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society Press
    Pages173-182
    Number of pages10
    ISBN (Print)978-0-7695-3477-0
    DOIs
    Publication statusPublished - Dec 2008
    Event29th IEEE Real-Time Systems Symposium, RTSS 2008 - Barcelona, Spain
    Duration: 30 Nov 20083 Dec 2008
    Conference number: 29

    Publication series

    Name
    PublisherIEEE Computer Society Press
    Number2008/16200

    Conference

    Conference29th IEEE Real-Time Systems Symposium, RTSS 2008
    Abbreviated titleRTSS
    CountrySpain
    CityBarcelona
    Period30/11/083/12/08

    Keywords

    • EWI-14721
    • METIS-255051
    • IR-62645
    • FMT-MC: MODEL CHECKING

    Cite this

    Han, T., Katoen, J. P., & Mereacre, A. (2008). Approximate parameter synthesis for probabilistic time-bounded reachability. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008) (pp. 173-182). [10.1109/RTSS.2008.19] Los Alamitos: IEEE Computer Society Press. https://doi.org/10.1109/RTSS.2008.19