Fast Parametric Model Checking through Model Fragmentation

Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the system and environment parameters. In software engineering, PMC formulae can be used during design, e.g., to analyse the se...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings / International Conference on Software Engineering S. 835 - 846
Hauptverfasser:	Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos, Alhwikem, Faisal
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.05.2021
Schlagworte:	Analytical models discrete time Markov chains Markov processes non-functional properties Parametric model checking Parametric statistics Runtime Sensitivity Systems architecture
ISBN:	1665402962, 9781665402965
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!