[go: up one dir, main page]

Fedasyuk et al., 2015 - Google Patents

Method of developing the behavior models in form of states diagram for complex information systems

Fedasyuk et al., 2015

Document ID
7333456283733808199
Author
Fedasyuk D
Volochiy S
Publication year
Publication venue
2015 Xth International Scientific and Technical Conference" Computer Sciences and Information Technologies"(CSIT)

External Links

Snippet

Development of states diagram model of the research object is a stage in the technology of building discrete-continuous stochastic behavior models. There is a known method of building states diagram using structural-automaton model. Unlike other known methods, it …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • 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
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/1658—Data re-synchronization of a redundant component, or initial sync of replacement, additional or spare unit
    • 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
    • G06F11/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/20—Error detection or correction of the data by redundancy in hardware using active fault-masking, e.g. by switching out faulty elements or by switching in spare elements
    • G06F11/2097—Error detection or correction of the data by redundancy in hardware using active fault-masking, e.g. by switching out faulty elements or by switching in spare elements maintaining the standby controller/processing unit updated
    • 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
    • G06F11/3672—Test management
    • 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
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • 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
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1402—Saving, restoring, recovering or retrying
    • 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
    • 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/5086—Mechanical design, e.g. parametric or variational design
    • 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/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G06F17/30289—Database design, administration or maintenance
    • G06F17/30303—Improving data quality; Data cleansing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/008—Reliability or availability analysis
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Jain et al. Optimal replacement policy for a repairable system with multiple vacations and imperfect fault coverage
CN115994044B (en) Database fault processing method and device based on monitoring service and distributed cluster
CN107967218B (en) Boundary value test method in industrial software on-the-spot test based on user's history data
US20090249123A1 (en) Method and System for Autonomic Verification of HDL Models Using Real-Time Statistical Analysis and Layered Feedback Stages
Fedasyuk et al. Method of developing the behavior models in form of states diagram for complex information systems
CN113238924A (en) Chaos engineering implementation method and system in distributed graph database system
KR20210035363A (en) Software reliability test system and method
Su et al. Diagnosability of Discrete-Event Systems with Uncertain Observations.
Levitin et al. Reliability of non-coherent warm standby systems with reworking
CN107943617B (en) Data restoration method and device and server cluster
Xiang et al. Checking the inconsistent data in concurrent systems by petri nets with data operations
CN111611253B (en) Data verification method, device and storage medium
Awedikian et al. A practical model‐based statistical approach for generating functional test cases: application in the automotive industry
Brenner et al. Modelling Grid5000 point availability with SAN
Chen et al. Big data system testing method based on chaos engineering
CN111898165B (en) Technical parameter change tracing method and system in PDM system
Malefaki et al. Modeling software rejuvenation on a redundant system using Monte Carlo simulation
JP6320269B2 (en) Software test support apparatus and software test support program
RU2447488C1 (en) Method and system for construction of technical object defective functioning model and machine-readable media
Saifan et al. Using formal methods for test case generation according to transition-based coverage criteria
Rahme et al. Preventive maintenance for cloud-based software systems subject to non-constant failure rates
Yu et al. The quantitative safety assessment for safety-critical software
Mirakhorli et al. A decision-centric approach for tracing reliability concerns in embedded software systems
Verma et al. System reliability modeling
CN110275917A (en) A data processing method and device