Results 11 to 20 of about 1,958,921 (299)
Software reliability and dependability: a roadmap [PDF]
, 2000 Shifting the focus from software reliability to user-centred measures of dependability in complete software-based systems. Influencing design practice to facilitate dependability assessment.
Littlewood, B., Strigini, L.
core +3 more sources
Software fault-freeness and reliability predictions [PDF]
, 2013 Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508.
A. Bertolino +10 more
core +1 more source
Reliability prediction in model driven development [PDF]
, 2005 Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development.
Rodrigues, G.N. +2 more
core +1 more source
Improvement of Software Reliability Estimation Accuracy with Consideration of Failure Removal Effort [PDF]
International Journal of Networked and Distributed Computing (IJNDC), 2013 In order to develop highly reliable software in a cost-effective manner, it is necessary to manage software reliability at the early test phases. Most of developers at those phases perform a test and debug activities together. In this paper, we propose a
Myungmuk Kang +3 more
doaj +1 more source
Damage Detection in Wind Turbine Blades Based on an Improved Broad Learning System Model
Applied Sciences, 2022 The research on damage detection in wind turbine blades plays an important role in reducing the risk of shut down in wind turbines. Rapid and accurate damage identification by using efficient detection models is the focus of the current research on ...
Li Zou, Yu Wang, Jiangwei Bi, Yibo Sun
doaj +1 more source
Applied Sciences, 2022 Data provenance is information about where data come from (provenance data) and how they transform (provenance transformation). Data provenance is widely used to evaluate data quality, trace errors, audit data, and understand references among data ...
Deyou Tang +4 more
doaj +1 more source
In silico imaging clinical trials: cheaper, faster, better, safer, and more scalable
Trials, 2021 Imaging clinical trials can be burdensome and often delay patient access to novel, high-quality medical devices. Tools for in silico imaging trials have significantly improved in sophistication and availability.
Aldo Badano
doaj +1 more source
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. [PDF]
, 2002 In the debate over the assessment of software reliability (or safety), as applied to critical software, two extreme positions can be discerned: the ‘statistical’ position, which requires that the claims of reliability be supported by statistical ...
Bertolino, A., Strigini, L.
core +1 more source
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency.
Allan Blanchard +2 more
doaj +1 more source
Evaluating testing methods by delivered reliability [PDF]
, 1998 There are two main goals in testing software: (1) to achieve adequate quality (debug testing), where the objective is to probe the software for defects so that these can be removed, and (2) to assess existing quality (operational testing), where the ...
Frankl, P. G. +3 more
core +2 more sources