Shtanenko et al., 2024 - Google Patents
An Approach to Restore the Proper Functioning of Embedded Systems Due to Adverse EffectsShtanenko et al., 2024
- Document ID
- 3879356059902983230
- Author
- Shtanenko S
- Samokhvalov Y
- Toliupa S
- Silko O
- Publication year
- Publication venue
- IEEE lnternational Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering
External Links
Snippet
The paper proposes an approach to restore the proper functioning of specialized microprocessor-based control systems at the element base level. This approach includes two stages. The first stage involves assessing the technical state of the microprocessor …
- 238000013459 approach 0 title abstract description 26
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/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
- G06F11/0721—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 within a central processing unit [CPU]
-
- 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
- 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
-
- 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
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5068—Physical circuit design, e.g. layout for integrated circuits or printed circuit boards
- G06F17/5081—Layout analysis, e.g. layout verification, design rule check
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
- G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
-
- 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
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computer systems utilising knowledge based models
- G06N5/02—Knowledge representation
- G06N5/022—Knowledge engineering, knowledge acquisition
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
-
- 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
-
- 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
- G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B17/00—Systems involving the use of models or simulators of said systems
- G05B17/02—Systems involving the use of models or simulators of said systems electric
-
- 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
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Zaytoon et al. | Overview of fault diagnosis methods for discrete event systems | |
Ye et al. | Board-level functional fault diagnosis using artificial neural networks, support-vector machines, and weighted-majority voting | |
Adachi et al. | An approach to optimization of fault tolerant architectures using HiP‐HOPS | |
Hukerikar et al. | Resilience design patterns: A structured approach to resilience at extreme scale | |
EP1825360A2 (en) | Method and systems for anomaly detection | |
Liu et al. | Enhanced GO methodology to support failure mode, effects and criticality analysis | |
CN114691403A (en) | Server fault diagnosis method and device, electronic equipment and storage medium | |
Bernardi et al. | Dependability analysis techniques | |
Su et al. | Using fault injection for the training of functions to detect soft errors of dnns in automotive vehicles | |
Bozzano et al. | Formal Methods for Aerospace Systems: Achievements and Challenges | |
Valueian et al. | Constructing automated test oracle for low observable software | |
Alenazi et al. | Assuring virtual PLC in the context of SysML models | |
Oveisi et al. | Analysis of software safety and reliability methods in cyber physical systems | |
Menzies et al. | Adequacy of limited testing for knowledge based systems | |
Rhmann | Application of hybrid search based algorithms for software defect prediction | |
Shtanenko et al. | An Approach to Restore the Proper Functioning of Embedded Systems Due to Adverse Effects | |
de la Vara et al. | A proposal for the classification of methods for verification and validation of safety, cybersecurity, and privacy of automated systems | |
Ye et al. | Knowledge-driven board-level functional fault diagnosis | |
Toliupa et al. | An Approach to Restore the Proper Functioning of Embedded Systems Due to Cyber Threats. | |
Delmas et al. | Automatic architecture hardening using safety patterns | |
Hafaiedh et al. | A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery | |
Kopetz et al. | System Design | |
Zapata-Rivera et al. | A reliability assessment model for online laboratories systems | |
Abdelwahed et al. | Model-based tools and techniques for real-time system and software health management | |
Agrawal et al. | Reliability assessment of safety critical intelligent systems: Issues and challenges |