Towards Performance Prediction of Compositional Models in Industrial GALS Designs

DOI10.1007/978-3-642-02658-4_18zbMath1242.68005OpenAlexW1580405793MaRDI QIDQ3636862

Holger Hermanns, Nicolas Coste, Etienne Lantreibecq, Wendelin Serwe

Publication date: 30 June 2009

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00381657/file/final_version.pdf

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Mathematical problems of computer architecture (68M07)

Related Items (9)

Deciding probabilistic automata weak bisimulation: theory and practice ⋮ Markov automata with multiple objectives ⋮ A Tutorial on Interactive Markov Chains ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Polynomial time decision algorithms for probabilistic automata ⋮ The How and Why of Interactive Markov Chains ⋮ The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism ⋮ Branching bisimulation congruence for probabilistic systems ⋮ Efficient approximation of optimal control for continuous-time Markov games

Uses Software

• LOTOS
• CADP
• fc2tools

This page was built for publication: Towards Performance Prediction of Compositional Models in Industrial GALS Designs