arrow
返回

A Decomposition-Based Modeling Framework for Complex Systems

delete2009-03-01
delete10
PRE
AI
P
Paolo Lollini *
A
Andrea Bondavalli
F
Félicita Di Giandomenico
DOI:10.1109/TR.2008.2011663delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
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.
Keyword:
Dependency relations
general packet radio service network
modeling framework
phased mission systems
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Reliability 封面图
IEEE Transactions on Reliability
IF:
5.7
论文数:
2.8K
被引数:
8.5K

机构

U
university of florence
学者数:
4.2W
论文数: 3.1W
被引数: 42
C
consiglio nazionale delle ricerche (cnr)
学者数:
6.2W
论文数: 5.7W
被引数: 48
引用论文

引用论文

err分享
err收藏
err分享
err收藏
A tunable comb filter using single-mode/multimode/polarization-maintaining-fiber-based Sagnac fiber loop
err2013-06-18
err0
PREAI
errJuan Ruan; Wei-Gang Zhang; Hao Zhang; Peng-Cheng Geng; Zhi-Yong Bai
err分享
err收藏
Patch Dynamics in Lotic Systems: The Stream as a Mosaic
err1988-12-01
err0
PREAI
errCatherine M. Pringle; Robert J. Naiman; Gernot Bretschko; James R. Karr; Mark W. Oswood; Jackson R. Webster; Robin L. Welcomme; Michael J. Winterbourn
err分享
err收藏
学者 查看更多内容