[go: up one dir, main page]

Khasanov et al., 2022 - Google Patents

Automation of software avionics verification in accordance with DO-178C standard

Khasanov et al., 2022

Document ID
3477904576071733401
Author
Khasanov A
Shishkin V
Larin K
Publication year
Publication venue
2022 VIII International Conference on Information Technology and Nanotechnology (ITNT)

External Links

Snippet

The article discusses the testing processes within the framework of software verification with increased requirements for criticality. A software platform developed for generating integration test data and accompanying documentation in accordance with the aviation …
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/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3185—Reconfiguring for testing, e.g. LSSD, partitioning
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/3181—Functional testing
    • G01R31/3183—Generation of test inputs, e.g. test vectors, patterns or sequence
    • 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/26—Functional testing
    • G06F11/27—Built-in tests
    • 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/2205—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested
    • G06F11/2215—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using arrangements specific to the hardware being tested to test error correction or detection circuits
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Taylor et al. Verification and validation of neural networks: a sampling of research in progress
Alferidah et al. Automated software testing tools
Jenihhin et al. Challenges of reliability assessment and enhancement in autonomous systems
CN119065650B (en) A code generation method, device and equipment based on multi-agent language system
Goddard Validating the safety of embedded real-time control systems using FMEA
Gurov et al. Description of the modules of an optimal requirements management system for working with aviation projects
Khasanov et al. Automation of software avionics verification in accordance with DO-178C standard
Cofer Taming the complexity beast
Laurent Using formal methods and testability concepts in the avionics systems validation and verification (v&v) process
US11847393B2 (en) Computing device and method for developing a system model utilizing a simulation assessment module
Jayakumar et al. Systematic software testing of critical embedded digital devices in nuclear power applications
Singh et al. Model based test framework for verification of flight control software
Erkkinen et al. Model-based design for DO-178B with qualified tools
Uehara et al. Process mining approach for the conformance checking of discrete-event simulation model
Ören et al. Model reliability and software quality assurance in simulation of nuclear fuel waste management systems
Yadu et al. A review on software testing tools and techniques
RU2780458C1 (en) Method for functional testing of software of electronic apparatus
Ferrante et al. A methodology for formal requirements validation and automatic test generation and application to aerospace systems
RU2817185C1 (en) Method of confirming tests of embedded software of electronic devices
Odeh Software Source Code: Theoretical Analyzing and Practical Reviewing Model
McIntyre et al. The boeing 777 fault tolerant air data and inertial reference system-a new venture in working together
Rexhepi et al. Software testing techniques and principleS
Lipaev A methodology of verification and testing of large software systems
Panchal et al. Enhancement of the DO-178C/DO-331 Based Software Verification Framework and Its Practical Application
Santangelo Withdrawn: QuickSAT/Test (QS_TEST), a Framework for Automated Testing, and Support for Validation and Verification With Artifact Tracking