Daniel Dominguez Gouvêa
Anne Koziolek
ABSTRACT
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 tasks 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 reliability results based on the evaluation of the system architecture. As a topic for future work, we report on an approach that we recommend be applied to evaluate the system under study software reliability.
- W. Abdelmoez, D. E. M. Nassar, M. Shereshevsky, N. Gradetsky, R. Gunnalan, H. H. Ammar, B. Yu, and A. Mili. Error propagation in software architectures. In IEEE METRICS, pages 384--393. IEEE Computer Society, 2004. Google Scholar
Digital Library
- A. Avizienis, J.-C. Laprie, B. Randell, and C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput, 1(1):11--33, 2004. Google ScholarDigital Library
- C. Y. Baldwin and K. B. Clark. Design Rules, Volume 1: The Power of Modularity. MIT Press, Cambridge, MA, USA, 2000. Google ScholarDigital Library
- S. Becker, H. Koziolek, and R. Reussner. The Palladio component model for model-driven performance prediction. Journal of Systems and Software, 82:3--22, 2009. Google ScholarDigital Library
- A. Burns and A. Wellings. Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. Addison-Wesley Educational Publishers Inc, USA, 4th edition, 2009. Google ScholarDigital Library
- Y. Cai. Modularity in Design: Formal Modeling and Automated Analysis. PhD thesis, University of Virginia, August 2006. Google ScholarDigital Library
- Y. Cai and K. J. Sullivan. Simon: modeling and analysis of design space structures. In D. F. Redmiles, T. Ellman, and A. Zisman, editors, ASE, pages 329--332. ACM, 2005. Google ScholarDigital Library
- V. Cortellessa and H. Singh and B. Cukic. Early reliability assessment of UML based software models. Workshop on Software and Performance, pages 302--309. ACM, 2002. Google ScholarDigital Library
- V. Cortellessa and V. Grassi. A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In H. W. Schmidt, I. Crnkovic, G. T. Heineman, and J. A. Stafford, editors, CBSE, volume 4608 of Lecture Notes in Computer Science, pages 140--156. Springer, 2007. Google ScholarDigital Library
- E. de Souza e Silva, D. R. Figueiredo, and R. M. Leão. The TANGRAMII integrated modeling environment for computer systems and networks. SIGMETRICS Perform. Eval. Rev., 36(4):64--69, 2009. Google ScholarDigital Library
- F. Duarte, C. Pires, C. A. de Souza, J. P. Ros, R. M. M. Leão, E. de Souza e Silva, J. Leite, V. Cortellessa, D. Mosse, and Y. Cai. Experience with a new architecture review process using a globally distributed architecture review team. In The 5th IEEE International Conference on Global Software Engineering (ICGSE 2010), pages 109--118, Los Alamitos, CA, USA, 2010. IEEE Computer Society. Google ScholarDigital Library
- J. B. Dugan and K. S. Trivedi. Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans. Computers, 38(6):775--787, 1989. Google ScholarDigital Library
- Federal University of Rio de Janeiro. Tangram-II website. http://www.land.ufrj.br/tools/tangram2/tangram2.html, 2010.Google Scholar
- Gilson A. Pinto et al. Advanced control and optimization techniques applied to dynamic positioning systems. In Rio Oil & Gas Expo and Conference, Sept. 2010. in press.Google Scholar
- L. Kapova and R. Reussner. Application of advanced model-driven techniques in performance engineering. In A. Aldini, M. Bernardo, L. Bononi, and V. Cortellessa, editors, Computer Performance Engineering, volume 6342 of Lecture Notes in Computer Science, pages 17--36. Springer Berlin / Heidelberg, 2010. 10.1007/978-3-642-15784-4_2. Google ScholarDigital Library
- Object Management Group (OMG). UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems (formal/2009--11-02). http://www.omgmarte.org/, 2009.Google Scholar
- QNX Software Systems. QNX Neutrino RTOS. http://www.qnx.com/products/neutrino-rtos/neutrino-rtos.html, 2010.Google Scholar
- Università degli Studi dell'Aquila. SEALAB Website. http://sealabtools.di.univaq.it/, 2010.Google Scholar
- S. Wong and Y. Cai. Improving the efficiency of dependency analysis in logical decision models. IEEE Computer Society, 2009.Google ScholarDigital Library
Index Terms
- Experience building non-functional requirement models of a complex industrial architecture
Recommendations
Experience building non-functional requirement models of a complex industrial architecture (abstracts only)
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 ...
Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture
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 ...
Toward Effective Reliability Requirement Assurance for Automotive Functional Safety
Automotive functional safety requirement includes response time and reliability requirements learning from the functional safety standard ISO 26262. These two requirements must be simultaneously satisfied to assure automotive functional safety ...
Comments