Stochastic model-based approaches are widely used for performability evaluation of complex software/hardware systems. Many techniques have been developed to mitigate the complexity of the associated models, but most of them are domain-specific, and they support the analysis of a limited class of systems. This paper provides a contribution in the definition of a general modeling framework that adopts three different types of decomposition techniques to deal with model complexity. First, a functional decomposition is applied at the system-level, thus identifying a set of subsystems, called entities, each one performing a function with respect to the validation objectives. The entities can interact with each other through some dependency relations that state how the behavior of each entity can affect the other(s). Then a temporal decomposition is used to divide the system’s lifetime in a sequence of phases such that two consecutive phases have at least one different dependency relation. Last, a model-level decomposition produces a set of separate sub-models that can be solved in isolation, passing some intermediate results between them, if and when required. This modeling framework has been applied to analyze a General Packet Radio Service (GPRS) mobile telephone system. The purpose of this case-study is to demonstrate the applicability of the framework, in terms of its computational complexity, and the accuracy of the obtained results. The proposed approach provides results sufficiently accurate, though it induces some acceptable approximation. Moreover, it significantly reduces the computational complexity with respect to solving the whole non-decomposed model, and shows only a slight increase in complexity with respect to the ad-hoc solution technique specifically developed for the GPRS case-study.

A Decomposition-Based Modeling Framework for Complex Systems / P. Lollini; A. Bondavalli; F. di Giandomenico;. - In: IEEE TRANSACTIONS ON RELIABILITY. - ISSN 0018-9529. - STAMPA. - 58(2009), pp. 20-33. [10.1109/TR.2008.2011663]

A Decomposition-Based Modeling Framework for Complex Systems

LOLLINI, PAOLO;BONDAVALLI, ANDREA;
2009

Abstract

Stochastic model-based approaches are widely used for performability evaluation of complex software/hardware systems. Many techniques have been developed to mitigate the complexity of the associated models, but most of them are domain-specific, and they support the analysis of a limited class of systems. This paper provides a contribution in the definition of a general modeling framework that adopts three different types of decomposition techniques to deal with model complexity. First, a functional decomposition is applied at the system-level, thus identifying a set of subsystems, called entities, each one performing a function with respect to the validation objectives. The entities can interact with each other through some dependency relations that state how the behavior of each entity can affect the other(s). Then a temporal decomposition is used to divide the system’s lifetime in a sequence of phases such that two consecutive phases have at least one different dependency relation. Last, a model-level decomposition produces a set of separate sub-models that can be solved in isolation, passing some intermediate results between them, if and when required. This modeling framework has been applied to analyze a General Packet Radio Service (GPRS) mobile telephone system. The purpose of this case-study is to demonstrate the applicability of the framework, in terms of its computational complexity, and the accuracy of the obtained results. The proposed approach provides results sufficiently accurate, though it induces some acceptable approximation. Moreover, it significantly reduces the computational complexity with respect to solving the whole non-decomposed model, and shows only a slight increase in complexity with respect to the ad-hoc solution technique specifically developed for the GPRS case-study.
58
20
33
P. Lollini; A. Bondavalli; F. di Giandomenico;
File in questo prodotto:
File Dimensione Formato  
IEEETR09.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: DRM non definito
Dimensione 568.83 kB
Formato Adobe PDF
568.83 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2158/372771
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? 7
social impact