Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture

Software & Systems Modeling - Tập 12 - Trang 765-787 - 2012
Daniel Dominguez Gouvêa1, Cyro de A. Assis D. Muniz1, Gilson A. Pinto2, Alberto Avritzer3, Rosa Maria Meri Leão4, Edmundo de Souza e Silva4, Morganna Carmem Diniz5, Vittorio Cortellessa6, Luca Berardinelli6, Julius C. B. Leite7, Daniel Mossé8, Yuanfang Cai9, Michael Dalton9, Lucia Happe10, Anne Koziolek11
1Chemtech - A Siemens Business, Rio de Janeiro, Brazil
2Chemtech - A Siemens Business, São Paulo, Brazil
3Siemens Corporation, Research and Technology, Princeton, USA
4Federal University of Rio de Janeiro (COPPE), Rio de Janeiro, Brazil
5Federal University of the State of Rio de Janeiro, Rio de Janeiro, Brazil
6University of L'Aquila, L'Aquila, Italy
7Universidade Federal Fluminense, Niterói, Brazil
8University of Pittsburgh, Pittsburg, USA
9Drexel University, Philadelphia, USA
10Karlsruhe Institute of Technology, Karlsruhe, Germany
11University of Zurich, Zurich, Switzerland

Tóm tắt

In this paper, we report on our experience with the application of validated models to assess performance, reliability, and adaptability of a complex mission critical system that is being developed to dynamically monitor and control the position of an oil-drilling platform. We present real-time modeling results that show that all tasks are schedulable. We performed stochastic analysis of the distribution of task execution time as a function of the number of system interfaces. We report on the variability of task execution times for the expected system configurations. In addition, we have executed a system library for an important task inside the performance model simulator. We report on the measured algorithm convergence as a function of the number of vessel thrusters. We have also studied the system architecture adaptability by comparing the documented system architecture and the implemented source code. We report on the adaptability findings and the recommendations we were able to provide to the system’s architect. Finally, we have developed models of hardware and software reliability. We report on hardware and software reliability results based on the evaluation of the system architecture.

Tài liệu tham khảo