Not logged in.

Quick Search - Contribution

Contribution Details

Type Conference or Workshop Paper
Scope Discipline-based scholarship
Published in Proceedings Yes
Title Experience building non-functional requirement models of a complex industrial architecture
Organization Unit
  • Contribution from another University/Organization than University of Zurich
Authors
  • Daniel D Gouvêa
  • Cyro de A Assis D Muniz
  • Gilson A Pinto
  • Alberto Avritzer
  • Rosa M M Leão
  • Edmundo de Souza e Silva
  • Morganna C Diniz
  • Luca Berardinelli
  • Julius C B Leite
  • Daniel Mossé
  • Yuanfang Cai
  • Mike Dalton
  • Lucia Kapova
  • Anne Koziolek
Presentation Type paper
Item Subtype Original Work
Refereed Yes
Status Published in final form
Language
  • English
ISBN 978-1-4503-0519-8
Page Range 43 - 54
Event Title 2nd joint WOSP/SIPEW international conference on Performance engineering (ICPE'2011)
Event Type conference
Event Location Karlsruhe, Germany
Event Start Date March 14 - 2011
Event End Date March 16 - 2011
Series Name Proceedings of the second joint WOSP/SIPEW international conference on Performance engineering
Place of Publication New York, NY, USA,
Publisher Association for Computing Machinery
Abstract Text 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.
Related URLs
Digital Object Identifier 10.1145/1958746.1958757
Other Identification Number merlin-id:3896
PDF File Download from ZORA
Export BibTeX
EP3 XML (ZORA)