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

Kausch et al., 2024 - Google Patents

Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML

Kausch et al., 2024

View PDF
Document ID
2096062794505360772
Author
Kausch H
Koppes K
Netz L
O’Brien P
Pfeiffer M
Raco D
Radny M
Rath A
Richstein R
Rumpe B
Publication year

External Links

Snippet

In context of the BMWK LuFo Project" APPLIED MODEL-BASED CO-DEVELOPMENT FOR ZEROEMISSION FLIGHT SYSTEMS", a model-based methodology applied in avionics is presented. SysML is used as modeling language and for automatic model analysis. A case …
Continue reading at www.dglr.de (PDF) (other versions)

Classifications

    • 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/504—Formal methods
    • 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
    • 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
    • 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
    • G06F9/46—Multiprogramming arrangements
    • 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/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/70—Fault tolerant, i.e. transient fault suppression
    • 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
    • G06Q10/063—Operations research or analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • 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/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Rushby Formal methods and their role in the certification of critical systems
Rozier Specification: The biggest bottleneck in formal methods and autonomy
Miller et al. Software model checking takes off
Hilderman et al. Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware)
CN110134599B (en) System architecture error behavior verification method and device
Boydston et al. Architecture centric virtual integration process (ACVIP): A key component of the DoD digital engineering strategy
Bialy et al. Software engineering for model-based development by domain experts
Horváth et al. Pragmatic verification and validation of industrial executable SysML models
Märtin et al. A methodology for model-based development and automated verification of software for aerospace systems
Blooshi et al. Review of formal agile methods as cost-effective airworthiness certification processes
Merz et al. Bridging the gap between test cases and requirements by abstract testing
Miller Bridging the gap between model-based development and model checking
Tietz et al. Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like?
Panchal et al. Comprehensive Overview of a Process-Oriented Build Tool for Airborne Safety-Critical Software Development
Kausch et al. Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML
Todorov Automotive embedded software design using formal methods
Halvorson et al. Architecture Framework Standardization for Satellite Software Generation Using MBSE and F Prime
Dong et al. Overview: System architecture virtual integration based on an AADL model
Klamann et al. Introducing the detailed semantic interface description to support a modular safety approval of automated vehicles–S2I2
Göknur et al. A model identity card to support engineering analysis model (eam) development process in a collaborative multidisciplinary design environment
Boydston et al. Joint common architecture (JCA) demonstration architecture centric virtual integration process (ACVIP) shadow effort
Fernández Briones et al. Application of safety analyses in model driven development
Agrawal et al. Reliability assessment of safety critical intelligent systems: Issues and challenges
Ledinot CPS Engineering: Gap Analysis and Perspectives
Bijan et al. 6.6. 1 Using MBSE with SysML Parametrics to Perform Requirements Analysis