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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings / International Conference on Software Engineering s. 835 - 846
Hlavní autoři:	Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos, Alhwikem, Faisal
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.05.2021
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!