[go: up one dir, main page]

Tatar et al., 2014 - Google Patents

Systematic test and validation of complex embedded systems

Tatar et al., 2014

View PDF
Document ID
7505456515574181698
Author
Tatar M
Mauss J
Publication year
Publication venue
ERTS-2014, Toulouse

External Links

Snippet

We focus on issues related to the test and validation of complex embedded systems. These are systems that include, besides software controllers, also the controlled physical subsystem, often a mixture of hydraulic, mechanical and other physical components. For …
Continue reading at www.researchgate.net (PDF) (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
    • 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
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • 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/0256—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 injecting test signals and analyzing monitored process response, e.g. injecting the test signal while interrupting the normal operation of the monitored system; superimposing the test signal onto a control signal during normal operation of the monitored system
    • 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/3604—Software analysis for verifying properties of programs
    • 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
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Tatar et al. Systematic test and validation of complex embedded systems
Shokry et al. Model-based verification of embedded software
Tatar Enhancing ADAS test and validation with automated search for critical situations
Moradi et al. Model-implemented hybrid fault injection for Simulink (tool demonstrations)
Zhang et al. Online reset for signal temporal logic monitoring
Fritzsch et al. Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV
JP5680514B2 (en) Computer having self-diagnosis function, software creation method, and software creation device
Ringdorfer et al. A systematical approach for “system item integration and testing” in context of ISO 26262
Brückmann et al. Model-based development of a dual-clutch transmission using rapid prototyping and SiL
Haberl et al. Model-level debugging of embedded real-time systems
Flemström et al. Saga toolbox: Interactive testing of guarded assertions
Bartocci et al. CPSDebug: a tool for explanation of failures in cyber-physical systems
Hallerbach et al. Simulation-enabled methods for development, testing, and validation of cooperative and automated vehicles
Håkansson et al. Generating online test oracles from temporal logic specifications
Skruch et al. Model-Based Testing in Embedded Automotive Systems.
Heffernan et al. Runtime observation of functional safety properties in an automotive control network
Oka Fuzz testing virtual ECUs as part of the continuous security testing process
Ray et al. Validating automotive control software using instrumentation-based verification
Tatar et al. Automated test of the AMG Speedshift DCT control software
Pill et al. Extending automated FLTL test oracles with diagnostic support
Fu Fault injection mechanisms for validating dependability of automotive systems
Flemström et al. A research roadmap for test design in automated integration testing of vehicular systems
Junghanns et al. Testautomation based on Computer Chess Principles
Muškardin et al. Automata learning enabling model-based diagnosis
Stratis et al. A practical approach towards validating HIL simulation of a safety-critical system