[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Block et al., 2022 - Google Patents

Automated test case generation for the verification of system and high-level software requirements for fly-by-wire platforms

Block et al., 2022

Document ID
9037281017082671910
Author
Block C
Dikmen S
Reichel R
Publication year
Publication venue
AIAA SCITECH 2022 Forum

External Links

Snippet

View Video Presentation: https://doi. org/10.2514/6.2022-0254. vid Safety-critical avionics systems require a large effort for development and qualification. They are necessary for the complex flight control systems of aircraft concepts such as air taxis and advanced, manned …
Continue reading at arc.aiaa.org (other versions)

Classifications

    • 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
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • 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
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/056—Programming the PLC
    • 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/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • 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
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS], computer integrated manufacturing [CIM]
    • 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
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G05B2219/25—Pc structure of the system
    • 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
    • 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
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering

Similar Documents

Publication Publication Date Title
Antsaklis et al. Hybrid systems IV
US7735058B2 (en) Remote component and connection architecture
Cofer et al. DO-333 certification case studies
Torens et al. Certification and software verification considerations for autonomous unmanned aircraft
Ulbig et al. Flight simulator-based verification for model-based avionics applications on multi-core targets
Liscouet-Hanke et al. A model-based systems engineering approach for the efficient specification of test rig architectures for flight control computers
Mueller et al. AAA process: a new approach to affordable fly-by-wire systems for CS23 aircraft
Henderson et al. Toward airworthiness certification for artificial intelligence (AI) in aerospace systems
Halle et al. Avionics next-gen engineering tools (avionet): Experiences with highly automised and digital processes for avionics platform development
Belschner et al. Automated requirements and traceability generation for a distributed avionics platform
Block et al. Automated test case generation for the verification of system and high-level software requirements for fly-by-wire platforms
Abdo et al. A seamless and end-to-end approach for early and continuous validation of next-generation avionics platforms
Durak et al. Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets
KR101976542B1 (en) Method and system for controlling simulation via avionics simulation model
Prosvirin et al. Model-based solution and software engineering environment for UAV critical onboard applications
Kaiser et al. A UAV Case Study on an MBSE Workflow with Integrated Modular Safety and Reliability Analysis
Mueller et al. Automated test artifact generation for a distributed avionics platform utilizing abstract state machines
US10488835B2 (en) Method for configuring a tester equipped for testing an electronic control unit
Kügler et al. Validation of decision logic of an autoland system for a UAV using model-based safety-assessment techniques
Belschner et al. Automated generation of certification relevant documentation for a distributed avionics platform approach
Koch et al. Simulation-based verification for parallelization of model-based applications
Basagiannis Software certification of airborne cyber-physical systems under DO-178C
Allen An overview of model-based development verification/validation processes and technologies in the aerospace industry
Arancón et al. Esrocos: Development and validation of a space robotics framework
Block et al. Automated Generation of Test Artifacts and Traceability for a Safety-Critical, Distributed Avionics Platform