2017 IEEE International Conference on Software Architecture (ICSA) 2017
DOI: 10.1109/icsa.2017.16
|View full text |Cite
|
Sign up to set email alerts
|

Designing Robust Software Systems through Parametric Markov Chain Synthesis

Abstract: Abstract-We present a method for the synthesis of software system designs that satisfy strict quality requirements, are Paretooptimal with respect to a set of quality optimisation criteria, and are robust to variations in the system parameters. To this end, we model the design space of the system under development as a parametric continuous-time Markov chain (pCTMC) with discrete and continuous parameters that correspond to alternative system architectures and to the ranges of possible values for configuration… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
23
0

Year Published

2017
2017
2022
2022

Publication Types

Select...
5
2
1

Relationship

3
5

Authors

Journals

citations
Cited by 27 publications
(23 citation statements)
references
References 42 publications
(83 reference statements)
0
23
0
Order By: Relevance
“…IGD [26] is a well-known indicator in the field (e.g., in [5], [13], [32], [37], [39], [43], [52], [80], [89], [91], [126], [131]). As the name suggests, IGD, an inversion of GD, is to measure how close the Pareto front is to the obtained solution set.…”
Section: Inverted Generational Distance (Igd)mentioning
confidence: 99%
“…IGD [26] is a well-known indicator in the field (e.g., in [5], [13], [32], [37], [39], [43], [52], [80], [89], [91], [126], [131]). As the name suggests, IGD, an inversion of GD, is to measure how close the Pareto front is to the obtained solution set.…”
Section: Inverted Generational Distance (Igd)mentioning
confidence: 99%
“…In contrast, product line reliability analysis approaches [16,17,26,41] can analyze collections of system designs encoded in feature models individually or collectively. A recent approach to continuous-time probabilistic design synthesis [12] uses a template-based solution to analyze alternative designs, but assumes an existing encoding of design options in a set of discrete variables and does not systematically enforce any structural constraints in the designs. Compared with these approaches, HaiQ's focus is not only on variability, but also on structure, being able to synthesize design alternatives that satisfy complex structural constraints.…”
Section: Relational Modeling and Structural Verication (Rmsv)mentioning
confidence: 99%
“…Ideally, these techniques and tools would start from a set of SCPS requirements, and would present developers with alternative systems designs that satisfy the requirements and are Pareto-optimal with respect to multiple optimisation criteria such as cost, utility and environmental impact. Such solutions have been proposed recently for the development of software systems (e.g., [24], [25]), and can also handle uncertainty in the operational profile of the system under development [26], [27]. However, these solutions cannot yet handle some of the new types of requirements encountered in SCPS.…”
Section: Oc2) Ensuring the Accuracy Of Stochastic Models Of Scps-mentioning
confidence: 99%