Nothing Special   »   [go: up one dir, main page]

Yakovyna et al., 2021 - Google Patents

Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains

Yakovyna et al., 2021

View PDF
Document ID
15474727368544924110
Author
Yakovyna V
Symets I
Publication year
Publication venue
Procedia Computer Science

External Links

Snippet

In complex software, such as various intelligent monitoring and control systems, the requirements for its reliability and safety increase. However, traditional reliability models cannot longer describe its reliability behavior with sufficient accuracy. This paper presents …
Continue reading at www.sciencedirect.com (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G06Q10/0635—Risk analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/18—Complex mathematical operations for evaluating statistical data, e.g. average values, frequency distributions, probability functions, regression analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes

Similar Documents

Publication Publication Date Title
Trivedi et al. Reliability and availability engineering: modeling, analysis, and applications
Xing et al. Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams
Xing et al. Exact combinatorial reliability analysis of dynamic systems with sequence-dependent failures
Roshandel et al. A Bayesian model for predicting reliability of software systems at the architectural level
Yakovyna et al. Reliability assessment of CubeSat nanosatellites flight software by high-order Markov chains
Wang et al. Multivalued decision diagram-based common cause failure analysis in phased-mission systems
Liang et al. Analysis of simplification in Markov state-based models for reliability assessment of complex safety systems
Nannapaneni et al. Towards reliability-based decision making in cyber-physical systems
Mansour et al. Dependability and rollback recovery for composite web services
Henderson et al. Toward airworthiness certification for artificial intelligence (AI) in aerospace systems
Wang et al. Efficient reliability approximation for large k-out-of-n cold standby systems with position-dependent component lifetime distributions
Rushdi et al. Exposition and comparison of two kinds of a posteriori analysis of fault trees
Yang et al. Bayesian network based software reliability prediction by dynamic simulation
Zalewski et al. Numerical Assessment of Software Development Tools in RealTime Safety Critical Systems Using Bayesian Belief Networks
Qiu et al. An implicit method for probabilistic common-cause failure analysis using Bayesian Network
Романкевич et al. On evaluation of reliability increase in fault-tolerant multiprocessor systems
Manno Reliability modelling of complex systems: an adaptive transition system approach to match accuracy and efficiency
Xu et al. Importance measure of equipment task based on operational dependency of SoS
Xiang et al. A generalized multiple-valued decision diagram for reliability analysis of fault-tolerant systems
Fiondella et al. Estimating system reliability with correlated component failures
Tigane et al. Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems
Carmegren Markov Chains as a Real-time System Monitoring Service: Numerical Repair Rate Optimization (RRO)
Oktay et al. Combined Markov and UGF Methods for Multi-State Repairable Phased Mission Systems
Wang et al. Two-dimensional extreme distribution for estimating mechanism reliability under large variance
Bobbio et al. Methods of increasing modelling power for safety analysis, applied to a turbine digital control system