Design-time reliability prediction model for component-based software systems

A Ali, MB Bashir, A Hassan, R Hamza, SM Alqhtani… - Sensors, 2022 - mdpi.com
Software reliability is prioritised as the most critical quality attribute. Reliability prediction
models participate in the prevention of software failures which can cause vital events and …

Failure data collection for reliability prediction models: A survey

B Buhnova, S Chren, L Fabriková - … of the 10th international ACM Sigsoft …, 2014 - dl.acm.org
Design decisions made early in software development have great impact on the software
product quality. Design-time reliability prediction is one of the techniques that support …

On creation and analysis of reliability models by means of stochastic timed automata and statistical model checking: Principle

J Strnadel - International Symposium on Leveraging Applications of …, 2016 - Springer
The paper presents a method for creation and analysis of reliability models by means of
stochastic timed automata and statistical model checking approach available in the UPPAAL …

[PDF][PDF] Multi-layered Reliability Analysis in Smart Grids

S Chren - Masarykova univerzita Fakulta informatiky, Brno, 2017 - is.muni.cz
The traditional electricity power grid as a critical infrastructure has been pushed to its limit
due to growing requirements on the stability of the power supply. The higher demand on the …

[PDF][PDF] Methods for software failure-data collection and prediction

S Chren - Masaryk University, 2014 - is.muni.cz
This diploma thesis addresses one of the important challenges in software reliability
analysis. In theoretical part, the thesis surveys methods for collection of failure data and …

Towards mining informal online data to guide component-reuse decisions

S Karve, C Scaffidi - Proceedings of the 16th International ACM Sigsoft …, 2013 - dl.acm.org
Online repositories provide components available for reuse, but this does not mean all such
components are equally reusable. Components might be unreliable, overly specialized, or …

Traditional Software Reliability Models Are Based on Brute Force and Reject Hoare's Rule

R Wason, AK Soni, M Qasim Rafiq - Software Engineering: Proceedings of …, 2019 - Springer
This research analyses the causes for the inaccurate estimations and ineffective
assessments of the varied traditional software reliability growth models. It attempts to expand …

[PDF][PDF] Quality-Driven Architecture Design of Software Systems

B Bühnová - 2016 - is.muni.cz
Over the years, software-intensive systems have become an inseparable part of our lives,
gradually supporting critical business and industrial processes, such as in enterprise …

[PDF][PDF] Architecture-Based Software Reliability Prediction Approach for Component Based Software

A Ali, DNA Jawawi - researchgate.net
Computer software is playing central role in our daily life. Most of industries in various
disciplines depend on computer software for their basic functioning. The industries in these …

[引用][C] Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits