Solving Systems of Bilinear Equations for Transition Rate Reconstruction - Fundamentals of Software Engineering
Conference Papers Year : 2021

Solving Systems of Bilinear Equations for Transition Rate Reconstruction

Abstract

Compositional models, specified with the help of a Markovian Stochastic Process Algebra (SPA), are widely used in performance and dependability modelling. The paper considers the problem of transition rate reconstruction: Given two SPA components with unknown rates, and given their combined flat model with fixed rates, the task is to reconstruct the rates in the components. This problem occurs frequently during so-called model repair, if a certain subset of transition rates of the flat model needs to be changed in order to satisfy some given requirement. It is important to have a structured approach to decide whether or not the rate reconstruction, satisfying the desired low-level model changes, is possible or not. In order to realize such a reconstruction, every combined model transition is transformed into an equation, resulting – for each action type – in a system of bilinear equations. If the system of equations meets a consistency condition, rate reconstruction is indeed possible. We identify a class of SPA systems for which solving the system of equations is not necessary, since by checking a set of simple conditions we can check the consistency of the system of equations. Furthermore, for general models outside this class, an iterative algorithm for solving the system of equations efficiently is proposed.
Fichier principal
Vignette du fichier
506725_1_En_11_Chapter.pdf (637.23 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04074520 , version 1 (19-04-2023)

Licence

Identifiers

Cite

Amin Soltanieh, Markus Siegle. Solving Systems of Bilinear Equations for Transition Rate Reconstruction. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.157-172, ⟨10.1007/978-3-030-89247-0_11⟩. ⟨hal-04074520⟩
20 View
43 Download

Altmetric

Share

More