Cyber physical systems (CPSs) are rapidly developing, with increasing scale, complexity, and heterogeneity. However, testing CPSs systematically to ensure that they operate high reliability remains a big challenge. Therefore, it is necessary summarize existing works technologies systematically, the aim of inspiring new inventions for more efficient CPS testing. Accordingly, this paper first investigated advances in methods from ten aspects, including different paradigms, technologies, some...

Accurate software bug number prediction makes test resource allocation, maintenance, and release time cost efficient. However, it is a challenge to accurately predict the of bugs when there fluctuations caused by many uncertain factors faced complex software. Considering this, new method for based on panel data model from perspective networks proposed in this article. Using network theory, we constructed code calculated static metrics structure, percolation threshold change structure theory...

Although several studies have been devoted to the reliability analysis of phased-mission systems (PMSs) considering influence common cause failures (CCFs), statistical correlation and repairable behavior still pose challenges analysis. In this article, a hierarchical formal model is proposed for PMSs with CCFs. The low-level based on continuous time Markov chains multiple beta factor theory used construct failure repair behaviors different missions under effect upper-level realizes phase...

Accurate fault localization renders software test resource allocation and maintenance cost-efficient. However, this is challenging when there are false alarm repercussions caused by module coupling of complex software. In article, therefore, we propose a new method for multiple from the perspective network spectrum based on graph neural model. First, constructed model under to represent relationships among modules theory. addition, suits were executed recorded construct program spectrum....

The electric motor is the elementary device of modern industry system, and its timely fault diagnosis leads to reduce maintenance costs downtime, improve system reliability. This paper deals with problem based on power signal, a data-driven method genetic algorithm (GA) optimized support vector machine (SVM) presented. feature presentation, selection extraction are applied as data preprocessing methods dimensions, that is, we implement representation by time domain analysis range method,...

As an important component of space electronic systems, static random-access memory based field programmable gate arrays (FPGAs) are inevitably affected by single-event upsets, including single-cell upset (SCU) and multiple-cell (MCU), caused radiation. In particular, as the technology scales down, probability MCU increases significantly; however, analysis remains open challenge. Based on common cause failure theory continuous-time Markov chain, this article proposes a new hybrid model to...

p0065Differential evolution (DE) algorithms for software testing usually exhibited limited performance and stability owing to possible premature-convergence-related aging during processes.This paper proposes a new framework comprising an antiaging mechanism, that is, rebirth strategy with partial memory against aging, the existing DE algorithm specialized fitness function.The results of application proposed instantiate three different mutation schemas indicate it significantly improved their...

Satellites are safety-critical system, and the driving mechanism of flexible structure is a key link. The Micro vibration coupling-system significantly affect performance indicators optical precision instruments. A piezoelectric variable stiffness actuator (PVSA) designed to control torsional typical satellite, so as micro produced by structure. PVSA designed. principle explained strut model method separating variables. verified simulation experiment. According experimental results...

Understanding the evolution of complex software system during updates is useful for a variety development and maintenance activities, however, few works have studied multiscale characteristics in different programming languages from perspective network. In this paper, we investigate twelve open source ten three scales: macroscopic, mesoscopic microscopic. Analysis results show some interesting observations, example, in-degree distributions exhibit coexistence power-law distribution lognormal...

Abstract In this paper, an adaptive backstepping controller of hypersonic flight vehicle (HFV) system is investigated in the presence unknown actuator and sensor faults, control direction varying external disturbance, which expands traditional fault-tolerant (FTC) approaches HFV field. The control-oriented model established with reasonable comprehensive analysis various fault types. Compared previous FTC research on system, time-varying fixed types are simultaneously designed for sensors,...

Monitoring and predicting the increasing or decreasing trend of bug number in a software is great importance to both developers users. Accurate will help make timely correct decision. For users, knowing possible bugs enable them take seasonable actions cope with loss caused by bugs. Medical vital people's health, therefore, prediction medical more important essential than ordinary software. To accomplish this goal, we present method based on static analysis correlation predict image...

As an important part of space electronic system, static random-access memory (SRAM)-based field-programmable gate arrays (FPGAs) are inevitably affected by single-event upsets caused radiation. Although triple-modular redundancy, as one the main mitigation strategies, plays role in improving system reliability, common cause failure (CCF) redundant components is still factors threatening reliability. In addition, CCF increases complexity reliability analysis when considering implementation...

The powerful technique, symbolic execution, has become a promising approach for analyzing deep complex software failure modes recently. However, as the scale grows rapidly in intelligent automatic control system, these methods unavoidably suffer curse of path explosion and low global coverage. To solve problem, an evolutionary strategy guided execution framework is proposed triggering hard-to-excite input-relevant faults. A novel alternate asynchronous search adopted to enhance...