Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
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
Operational Profiles in Software-Reliability Engineering
IEEE Software
Scenario-Based Analysis of Software Architecture
IEEE Software
New Strategies for Assigning Real-Time Tasks to Multiprocessor Systems
IEEE Transactions on Computers
Error Propagation In Software Architectures
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Using dependency models to manage complex software architecture
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
Improving the Efficiency of Dependency Analysis in Logical Decision Models
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Design Rule Hierarchies and Parallelism in Software Development Tasks
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
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
Experience building non-functional requirement models of a complex industrial architecture
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
A dependability profile within MARTE
Software and Systems Modeling (SoSyM)
A formal model for automated software modularity and evolvability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
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 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.