Reliability and Performance Analysis of Architecture-Based Software Implementing Restarts and Retries Subject to Correlated Component Failures

2015 ◽  
Vol 25 (08) ◽  
pp. 1307-1334 ◽  
Author(s):  
Xiao-Dan Li ◽  
Yong-Feng Yin ◽  
Lance Fiondella
Keyword(s):  
Software Reliability ◽  
High Reliability ◽  
Experimental Studies ◽  
Software Systems ◽  
Fault Recovery ◽  
Recovery Mechanism ◽  
Software Models ◽  
And Performance ◽  
Component Failures ◽  
The Impact

High reliability and performance are essential attributes of software systems designed for critical real-time applications. To improve the reliability and performance of software, many systems incorporate some form of fault recovery mechanism. However, contemporary models of software reliability and performance rarely consider these fault recovery mechanisms. Another notable shortcoming of many software models is that they make the simplifying assumption that component failures are statistically independent, which disagrees with several experimental studies that have shown that the failures of software components can exhibit correlation. This paper presents an architecture-based model of software reliability and performance that explicitly considers a two-stage fault recovery mechanism implementing component restarts and application-level retries. The application architecture is characterized by a Discrete Time Markov Chain (DTMC) to represent the dynamic branching behavior of control between the components of the application. Correlations between the component failures are computed with an efficient numerical algorithm for a multivariate Bernoulli (MVB) distribution. We illustrate the utility of the model through a case study of an embedded software application. The results suggest that the model can be used to quantify the impact of software fault recovery and correlated component failures on application reliability and performance.

scholarly journals Impact of eating disorders on paid or unpaid work participation and performance: a systematic review and meta-analysis protocol

2022 ◽  
Vol 10 (1) ◽  
Author(s):  
Fatima Safi ◽  
Anna M. Aniserowicz ◽  
Heather Colquhoun ◽  
Jill Stier ◽  
Behdin Nowrouzi-Kia
Keyword(s):  
Systematic Review ◽  
Eating Disorders ◽  
Meta Analysis ◽  
Experimental Studies ◽  
Work Participation ◽  
Unpaid Work ◽  
Cochrane Library ◽  
And Performance ◽  
The Impact

Abstract Background Eating disorders (ED) can reduce quality of life by limiting participation and performance in social and occupational roles, including paid or unpaid work. The association between ED pathologies and work participation and performance must be well understood to strengthen vocational rehabilitation programmes and prevent occupational disruptions in the ED population. The aims of this study are: (1) to examine the degree of association between ED pathologies and work participation and performance in 15-year-olds and older; (2) to highlight the specific ED symptoms that are most correlated with changes in work performance and participation; (3) to compile the most common metrics and assessments used to measure work participation and performance with ED. Methods Medline, Embase, CINAHL, Web of Science, PsycINFO, and Cochrane Library will be searched for observational and experimental studies that meet the following criteria: (1) a clinical sample of typical or atypical ED; (2) paid or unpaid employment or training; (3) an association between ED pathologies and work participation or performance. Unpublished data will also be examined. Title and abstract, and full-text screening will be conducted in duplicate. Risk of bias and quality of evidence assessments will be completed. A random-effect meta-analysis will be performed. Discussion This synthesis can clarify knowledge and gaps around the impact of ED on work functioning, thereby allowing better evaluation, improvements and development of current workplace assessments, interventions, and policies. Trial registration The registration number for this systematic review on PROSPERO is CRD42021255055.

The Impact of Automation Reliability and Operator Fatigue on Performance and Reliance

2016 ◽  
Vol 60 (1) ◽  
pp. 211-215 ◽  
Author(s):  
Ryan W. Wohleber ◽  
Gloria L. Calhoun ◽  
Gregory J. Funke ◽  
Heath Ruff ◽  
C.-Y. Peter Chiu ◽  
...  
Keyword(s):  
Significant Interaction ◽  
High Reliability ◽  
Task Engagement ◽  
Time On Task ◽  
Operator Fatigue ◽  
Aerial Vehicle ◽  
And Performance ◽  
Automated Decision Making ◽  
The Impact ◽  
Multi Uav

Reliability of automation is known to influence operator reliance on automation. What is less understood is how the influence of reliability and the effects of operator fatigue might interact. The present study investigated the impact of automation reliability on accuracy and reliance and how this impact changes with level of fatigue during simulated multiple unmanned aerial vehicle (UAV) operation. Participants ( N = 131) completed a two-hour simulated multi-UAV mission assisted by an automated decision making aid of either high or low reliability. A decrease in subjective task engagement and performance over time marked the induction of passive fatigue by the mission. Participants were more trusting in the high reliability condition than in the low reliability condition. Finally, reliance decreased with time at any reliability, but a significant interaction between reliability and time on task indicated that the decrease was of smaller magnitude when the automation was reliable.

scholarly journals Modeling of the interaction of the layered barrier with a high-speed fragment

2019 ◽  
Vol 221 ◽  
pp. 01042
Author(s):  
Alexandr Ishchenko ◽  
Nikolay Belov ◽  
Viktor Burkin ◽  
Anton Sammel ◽  
Nikolay Yugov ◽  
...  
Keyword(s):  
High Speed ◽  
Experimental Studies ◽  
Software Systems ◽  
Fracture Mechanisms ◽  
Elasticity Limit ◽  
Transparent Armor ◽  
Initial Stage ◽  
Numerical Research ◽  
Shock Wave Pressure ◽  
The Impact

For the manufacture of transparent armor of high class protection, as a rule, reinforced silicate glasses, as well as transparent ceramics, are used. Since these materials are resiliently brittle, they can be used only in transparent multilayered barriers with protective back films for protection against high-speed fragmentation elements and bullets. Plexiglass or polycarbonate is most often used as the back layer. The barrier’s face layer must have a hardness substantially higher than the hardness of the drummer’s material, and the Hugonievskii elasticity limit must exceed the shock-wave pressure arising at the initial stage in the barrier. The purpose of this paper is to develop a mathematical model that allows, within the framework of a porous elastic-plastic medium with regard to various fracture mechanisms, to calculate the impact interaction of fragmentation elements with transparent armor. Numerical research was conducted with the help of copyright software systems. Experimental studies of the collision of transparent armor with a splinter simulator in the speed range of 1500 ... 2500 m / s were carried out with the use of throwing installations of the NRI AMM TSU.

Software Reliability Verification Testing Program Considering Hyper-Parameter

2014 ◽  
Vol 511-512 ◽  
pp. 1215-1218
Author(s):  
Qiu Ying Li ◽  
Xing Chao You
Keyword(s):  
Software Reliability ◽  
High Reliability ◽  
Bayesian Theory ◽  
Testing Program ◽  
The Impact ◽  
Reliability Verification

The impact of hyper-parameters is considered in the software reliability verification testing program based on the traditional Bayesian theory and a new Bayesian software reliability verification testing program is proposed, which could be used for high-reliability software. Examples are given to illustrate the effectiveness of this verification testing program.

GSPN Based Reliability Design for Intellectualized System

2010 ◽  
Vol 118-120 ◽  
pp. 891-895
Author(s):  
Chun Yang Jiang ◽  
Guo Qi Li ◽  
Xiao Hong Bao
Keyword(s):  
Embedded System ◽  
Software Reliability ◽  
High Reliability ◽  
Software Systems ◽  
Reliability Engineering ◽  
Software Safety ◽  
Reliability Design ◽  
Future Goals ◽  
Open Questions ◽  
Active Research

Software reliability has been regarded as one of the most important quality attributes for software intensive systems, especially in embedded system domain. Software reliability engineering is focused on engineering techniques for developing and maintaining software systems whose reliability can be quantitatively evaluated. As most of embedded systems complicated functionalities and controls are implemented by software which is embedded in hardware systems, it became more critical to assure high reliability for software itself. At this point, there is no visible boundary between Software reliability and software safety. Although software reliability has remained an active research subject over several years, challenges and open questions still exist. In particular, vital future goals include the development of new software reliability engineering paradigms that take software architectures, testing techniques, and software failure manifestation mechanisms into consideration. In this paper, we give a paradigm of embedded system, and do some analysis about it by using Generalized Stochastic Petri Net (GSPN).

scholarly journals INVESTIGATION OF THE INFLUENCE OF THERMAL AND CLIMATE EFFECTS ON THE PERFORMANCE OF TILED THERMAL PROTECTION OF SPACECRAFT

2019 ◽  
Vol 16 (33) ◽  
pp. 657-667
Author(s):  
L. N. RABINSKIY ◽  
O. V. TUSHAVINA
Keyword(s):  
Mathematical Model ◽  
Thermal Protection ◽  
Experimental Studies ◽  
Climatic Conditions ◽  
Shear Stresses ◽  
Shear Forces ◽  
Sufficient Degree ◽  
And Performance ◽  
Heat Shielding ◽  
The Impact

The article discusses the thermal protection of spacecraft under various types of thermal and climatic influences. During the pre-launch preparation, several types of icing are possible on the surface of the tiled structure, consisting of quartz heat-shielding tiles. It is very important in the process of operation, to determine normal and shear stresses during icing and the impact of ice formed in the tile gaps. It is necessary to calculate the strength and performance of the tiled thermal protection in active stages of flight of spacecraft. A mathematical model was constructed that allows, with a sufficient degree of accuracy, to research the tiled structure for strength, shear and tearing of the tile when exposed to ice. Calculations for strength, shear, and tearing of tiles under the influence of ice were performed. Theoretical and experimental studies were compared. The performed calculations made it possible to show that the tile will not collapse under the considered load. The strength of the substrate withstands the emerging shear forces. The values of the adhesion strength of ice appearing on the surface of quartz fiber heat-protective coating were obtained. It was demonstrated that the proportion of tangents in the stressed state of the tile does not exceed 10%. The proposed mathematical model for studying the characteristics of the tiled thermal protection of a spacecraft adequately describes the processes under study. Experimental studies have shown satisfactory agreement with theoretical results. The calculations performed to determine the ultimate shear stresses in the substrate showed that the strength of the substrate withstands the emerging shear forces. Consideration of climatic conditions can significantly reduce risks in the design of thermal protection of modern aircraft. The results of this study can be used in further studies, and they can also be taken into account in the construction of aircraft.

scholarly journals DEVELOPMENT OF THE MODEL OF EVALUATION OF THE BASIC PARAMETERS OF THE WIRELESS CHANNEL OF 802.11 STANDARD, TAKING INTO ACCOUNT THE DESTABILIZING FACTORS

2020 ◽  
Vol 1 (1) ◽  
pp. 59-67
Author(s):  
D.V. Mykhalevskiy ◽  
Keyword(s):  
High Reliability ◽  
Experimental Studies ◽  
Wireless Channel ◽  
Empirical Models ◽  
Simplified Model ◽  
Diagnostic Parameters ◽  
Physical Channel ◽  
Destabilizing Factors ◽  
Basic Parameters ◽  
The Impact

The most reliable approach to assess the destabilizing factors that exist in 802.11 wireless channels is through experimental research and the creation of empirical models and methods based on them. The application of such models and methods makes it possible to predict the efficiency of channels for both fixed and mobile subscribers, during the design stages and during connection to the networks. But for a certain type of task, it is relevant to evaluate the impact of a particular destabilizing factor on the basic parameters of a wireless channel. This paper proposes empirical models to evaluate the impact of any type of energy and information destabilizing factor on the performance of an 802.11x wireless channel. The model, which contains two diagnostic parameters, allows to evaluate the energy and information efficiency of the wireless channel under the influence of destabilizing factors. The reliability of such a model is high and depends on the standard regression models of the diagnostic parameters, but there is a considerable period of obtaining the result. To improve performance, a simplified model based on the correlation of basic diagnostic parameters was proposed. To verify the models obtained, mathematical studies were conducted based on the data obtained for interference interference as a destabilizing factor. The impact of such interference on the energy diagnostic parameter is insignificant, unlike the information, where there is a restriction of the physical channel resource distributed between all created radio circuits on the network and between combined and neighboring interference interference. All of this leads to a significant reduction in the effective data rate for a particular radio. It has been found that a model with two diagnostic parameters can have high reliability, which increases with the expansion of the database of experimental studies, both for existing standards and for future modifications. The effect of power and information interference factors on the main channel parameters is different, so the simplified model will have an error of estimation, which will increase as the number of interference, simultaneously active devices in the network and the load in the interference network channels increase.

The Impact of Property Characteristics on Economic Performance of Russian Industrial Enterprises

2005 ◽  
pp. 53-68 ◽  
Author(s):  
R. Kapeliushnikov ◽  
N. Demina
Keyword(s):  
Detailed Analysis ◽  
Economic Performance ◽  
Ownership Concentration ◽  
Corporate Sector ◽  
Concentrated Ownership ◽  
Industrial Enterprises ◽  
Russian Industry ◽  
Control Premium ◽  
And Performance ◽  
The Impact

The paper provides new survey evidence on effects of concentrated ownership upon investment and performance in Russian industrial enterprises. Authors trace major changes in their ownership profile, assess pace of post-privatization redistribution of shareholdings and provide evidence on ownership concentration in the Russian industry. The major econometric findings are that the first largest shareholding is negatively associated with the firm’s investment and performance but surprisingly the second largest shareholding is positively associated with them. Moreover, these relationships do not depend on identity of majority shareholders. These results are consistent with the assumption that the entrenched controlling owners are engaged in extracting "control premium" but sizable shareholdings accumulated by other blockholders may put brakes on their expropriating behavior and thus be conductive for efficiency enhancing. The most interesting topic for further more detailed analysis is formation, stability and roles of coalitions of large blockholders in the corporate sector of post-socialist countries.

Sign in / Sign up

Export Citation Format

Share Document