Skip to main content
Journal of the Brazilian Computer Society
Download PDF

A modeling methodology for hierarchical control system and its aplication

Journal of the Brazilian Computer Society volume 10, pages 57–69 (2004)Cite this article

Abstract

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.

References

  1. CAUTION++ IST Project. Capacity Utilization in Cellular Networks of Present and Future Generation++. http://www.telecom.ece.ntua.gr/ CautionPlus/.

  2. 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.

  3. 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.

  4. K. S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley and Sons, New York, 2001.

    Google Scholar 

  5. 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.

  6. CAUTION++ IST Project. D-3.6: Report of model-based validation activities.

  7. 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.

  8. 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.).

  9. 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.

  10. 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.

    Article  MATH  Google Scholar 

  11. I. Mura and A. Bondavalli. Hierarchical modelling and evaluation of phased-mission systems. IEEE Transactions on Reliability, 48(4):360–368, 1999.

    Article  Google Scholar 

  12. I. Rojas. Compositional construction of SWN models. The Computer Journal, 38(7):612–621, 1995.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. Sistemi e Informatica, University of Florence, Viale Morgagni 65, 50134, Florence, Italy

    Paolo Lollini & Andrea Bondavalli

  2. ISTI Dept., Italian National Research Council, via Moruzzi 1, 56124, Pisa, Italy

    Felicita Di Giandomenico

Authors
  1. Paolo Lollini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Bondavalli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Felicita Di Giandomenico
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03192366

Keywords