Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

Feature-based formalisms provide an elegant way to specify families of systems that share a base functionality and differ in certain features. They can also facilitate an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. This paper presents the basic concepts of the tool PROFEAT, which provides a guarded-command language for modeling families of probabilistic systems and an automatic translation of family models to the input language of the probabilistic model checker PRISM. This translational approach enables a family-based quantitative analysis with Prism. Besides modeling families of systems that differ in system parameters such as the number of identical processes or channel sizes, PROFEAT also provides special support for the modeling and analysis of (probabilistic) product lines with dynamic feature switches, multi-features and feature attributes. By means of several case studies we show how PROFEAT eases family-based modeling and compare the one-by-one and all-in-one analysis approach.

Details

OriginalspracheEnglisch
TitelFundamental Approaches to Software Engineering
Redakteure/-innenPerdita Stevens, Andrzej Wąsowski
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten287-304
Seitenumfang18
ISBN (Print)978-3-662-49664-0
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 9633
ISSN0302-9743

Konferenz

Titel19th International Conference on Fundamental Approaches to Software Engineering
KurztitelFASE 2016
Veranstaltungsnummer
Dauer4 - 7 April 2016
BekanntheitsgradInternationale Veranstaltung
Ort
StadtEindhoven
LandNiederlande

Externe IDs

Scopus 84961726965
ORCID /0000-0002-5321-9343/work/142236729

Schlagworte

Schlagwörter

  • Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

Bibliotheksschlagworte