Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Design Rules: The Power of Modularity Volume 1
Design Rules: The Power of Modularity Volume 1
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Error Propagation In Software Architectures
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Simon: modeling and analysis of design space structures
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Modularity in design: formal modeling and automated analysis
Modularity in design: formal modeling and automated analysis
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
The TANGRAMII integrated modeling environment for computer systems and networks
ACM SIGMETRICS Performance Evaluation Review
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
ICGSE '10 Proceedings of the 2010 5th IEEE International Conference on Global Software Engineering
Application of advanced model-driven techniques in performance engineering
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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.