Sensitivity Analysis for a Scenario-Based Reliability Prediction Model [PDF]
, 2005 As a popular means for capturing behavioural requirements, scenariosshow how components interact to provide system-level functionality.If component reliability information is available, scenarioscan be used to perform early system reliability assessment.
David S. Rosenblum +5 more
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
Comparison of traffic reliability index with real traffic data
EPJ Data Science, 2017 Existing studies have developed different indices based on various approaches including network connectivity, delay time and flow capacity, estimating the traffic reliability states from different angles.
Limiao Zhang +4 more
doaj +1 more source
Label-free X-ray estimation of brain amyloid burden
Scientific Reports, 2020 Amyloid plaque deposits in the brain are indicative of Alzheimer’s and other diseases. Measurements of brain amyloid burden in small animals require laborious post-mortem histological analysis or resource-intensive, contrast-enhanced imaging techniques ...
Eshan Dahal +4 more
doaj +1 more source
HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms
IEEE Access, 2023 As the primary cause of software defects, human error is the key to understanding, and perhaps to forecasting and avoiding defects. Little research has been done to forecast defects on the basis of the cognitive errors that cause them.
Fuqun Huang, Lorenzo Strigini
doaj +1 more source
Distributed Unmanned Aerial Vehicle Cluster Testing Method Based on Deep Reinforcement Learning
Applied SciencesIn the process of the collaborative work of Unmanned Aerial Vehicle (UAV) clusters, the cluster communication node test is often carried out by a single-node test, which leads to poor topology and robustness of the overall network system, an imbalanced ...
Dong Li, Panfei Yang
doaj +1 more source
Selecting reliable blockchain peers via hybrid blockchain reliability prediction
IET Software, 2023 Blockchain and blockchain‐based decentralised applications have been attracting increasing attention recently. In public blockchain systems, users usually connect to third‐party peers or run a peer to join the P2P blockchain network.
Peilin Zheng, Zibin Zheng, Liang Chen
doaj +1 more source
Reliability prediction in model driven development
, 2005 Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development.
David S. Rosenblum +6 more
core +1 more source
Reliability Analysis of Concurrent Systems using LTSA [PDF]
, 2007 The analysis for software dependability is considered an important task within the software engineering life cycle. However, it is often impossible to carry out this task due to the complexity of available tools, lack of expert personnel and time-to ...
David Rosenblum +5 more
core +1 more source
Analysis of nonlinear dynamic response of functionally graded material plates under the influence of separation effects [PDF]
AIP AdvancesA nonlinear vibration model of functionally graded material (FGM) plates with planar cracks was established. The plate was divided into four sub-regions according to the planar crack area.
Gen Liu +4 more
doaj +1 more source