Interval Probabilistic Timed Graph Transformation Systems

Download Interval Probabilistic Timed Graph Transformation Systems full books in PDF, epub, and Kindle. Read online free Interval Probabilistic Timed Graph Transformation Systems ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Interval Probabilistic Timed Graph Transformation Systems

Interval Probabilistic Timed Graph Transformation Systems
Author :
Publisher : Universitätsverlag Potsdam
Total Pages : 64
Release :
ISBN-10 : 9783869565026
ISBN-13 : 3869565020
Rating : 4/5 (020 Downloads)

Book Synopsis Interval Probabilistic Timed Graph Transformation Systems by : Maria Maximova

Download or read book Interval Probabilistic Timed Graph Transformation Systems written by Maria Maximova and published by Universitätsverlag Potsdam. This book was released on 2022-05-19 with total page 64 pages. Available in PDF, EPUB and Kindle. Book excerpt: The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Interval Probabilistic Timed Graph Transformation Systems (IPTGTSs) as a high-level modeling language. This language supports structure dynamics (based on graph transformation), timed behavior (based on clocks, guards, resets, and invariants as in Timed Automata (TA)), and interval probabilistic behavior (based on Discrete Interval Probability Distributions). That is, for the probabilistic behavior, the modeler using IPTGTSs does not need to provide precise probabilities, which are often impossible to obtain, but rather provides a probability range instead from which a precise probability is chosen nondeterministically. In fact, this feature on capturing probabilistic behavior distinguishes IPTGTSs from Probabilistic Timed Graph Transformation Systems (PTGTSs) presented earlier. Following earlier work on Interval Probabilistic Timed Automata (IPTA) and PTGTSs, we also provide an analysis tool chain for IPTGTSs based on inter-formalism transformations. In particular, we provide in our tool AutoGraph a translation of IPTGTSs to IPTA and rely on a mapping of IPTA to Probabilistic Timed Automata (PTA) to allow for the usage of the Prism model checker. The tool Prism can then be used to analyze the resulting PTA w.r.t. probabilistic real-time queries asking for worst-case and best-case probabilities to reach a certain set of target states in a given amount of time.


Interval Probabilistic Timed Graph Transformation Systems Related Books

Interval Probabilistic Timed Graph Transformation Systems
Language: en
Pages: 64
Authors: Maria Maximova
Categories: Computers
Type: BOOK - Published: 2022-05-19 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Int
Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata
Language: en
Pages: 54
Authors: Krause, Christian
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the
Probabilistic metric temporal graph logic
Language: en
Pages: 44
Authors: Sven Schneider
Categories: Computers
Type: BOOK - Published: 2023-01-30 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such syste
Graph Transformation
Language: en
Pages: 248
Authors: Russ Harmer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Fundamental Approaches to Software Engineering
Language: en
Pages: 346
Authors: Dirk Beyer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK