A modeling methodology for hierarchical control system and its aplication
Journal of the Brazilian Computer Society volume 10, pages 57–69 (2004)
Current and future computerized systems and infrastructures are going to be based on the layering of different systems, designed at different times, with different technologies and components and difficult to integrate. Control systems and resource management systems are increasingly employed in such large and heterogeneous environment as a parallel infrastructure to allow an efficient, dependable and scalable usage of the system components. System complexity comes out to be a paramount challenge to solve from a number of different viewpoints, including dependability modeling and evaluation. Key directions to deal with system complexity are abstraction and hierarchical structuring of the system functionalities. This paper addresses the issue of an efficient dependability evaluation by a model-based approach of hierarchical control and resource management systems. We exploited the characteristics of this specific, but important, class of systems and derived a modeling methodology that is not only directed to build models in a compositional way, but it also includes some capabilities to reduce their solution complexity. The modeling methodology and the resolution technique are then applied to a case study consisting of a resource management system developed in the context of the ongoing European project CAUTION++. The results obtained are useful to understand the impact of several system component factors on the dependability of the overall system instance.
CAUTION++ IST Project. Capacity Utilization in Cellular Networks of Present and Future Generation++. http://www.telecom.ece.ntua.gr/ CautionPlus/.
S. Porcarelli, F. Di Giandomenico, P. Lollini, and A. Bondavalli. A modular approach for model based dependability evaluation of a class of systems. In International Service Availability Symposium (ISAS 2004), Lecture Notes in Computer Science, Springer-Verlag, volume 3335, pp.160–174,2005.
C. Betous-Almeida, and K. Kanoun. Stepwise construction and refinement of dependability models. In Proc. IEEE International Conference on Dependable Systems and Networks DSN 2082, Washington D.C., 2002.
K. S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley and Sons, New York, 2001.
S. Porcarelli, F. Di Giandomenico, A. Bondavalli, and P. Lollini. Model-based evaluation of a radio resource management system for wireless networks. In Computing Frontiers (CF), pages 51–59, Ischia, Italy, April 2004.
CAUTION++ IST Project. D-3.6: Report of model-based validation activities.
W. H. Sanders, and J. F. Meyer. A Unified Approach for Specifying Measures of Performance, Dependability and Performability. In Dependable Computing for Critical Applications, volume 4 of Dependable Computing and Fault-Tolerant Systems, pages 215–237. Springer-Verlag, 1991.
D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders. Möbius: An Extensible Tool for Performance and Dependability Modeling. In 11th International Conference, TOOLS 2000, volume Lecture Notes in Computer Science, pages 332–336, Schaumnurg, IL, 2500. B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith (Eds.).
M. Balakrishnan and K.S. Trivedi. Component wise decomposition for an efficient reliability computation of systems with repairable components. In Int. IEEE Symp. Fault-Tolerant Computing (FTCS-25), pages 259–268, 1995.
G. Balbo, S.C. Bruell, and S. Ghanta. Combining queuing networks and generalized stochastic Petri nets for the solution of complex models of system behavior. IEEE Trans. Computers, 37(10):1251–1268, 1988.
I. Mura and A. Bondavalli. Hierarchical modelling and evaluation of phased-mission systems. IEEE Transactions on Reliability, 48(4):360–368, 1999.
I. Rojas. Compositional construction of SWN models. The Computer Journal, 38(7):612–621, 1995.
About this article
Cite this article
Lollini, P., Bondavalli, A. & Giandomenico, F.D. A modeling methodology for hierarchical control system and its aplication. J Braz Comp Soc 10, 57–69 (2004). https://doi.org/10.1007/BF03192366