Dmitriev et al., 2020 - Google Patents

A lean and highly-automated model-based software development process based on do-178c/do-331

Dmitriev et al., 2020

View PDF
Document ID
14716473728124340469
Author
Dmitriev K
Zafar S
Schmiechen K
Lai Y
Saleab M
Nagarajan P
Dollinger D
Hochstrasser M
Holzapfel F
Myschik S
Publication year
Publication venue
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)

External Links

Snippet

The emergence of a global market for urban air mobility and unmanned aerial systems has attracted many startups across the world. These organizations have little training or experience in the traditional processes used in civil aviation for the development of software …
Continue reading at hal.science (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
    • 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
    • G06Q10/0631—Resource planning, allocation or scheduling for a business operation
    • 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
    • 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
    • G06Q10/101—Collaborative creation of products or services
    • 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
    • G06Q10/103—Workflow collaboration or project 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • 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
    • 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
    • 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

Similar Documents

Publication Publication Date Title
Dmitriev et al. A lean and highly-automated model-based software development process based on do-178c/do-331
Hilderman et al. Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware)
Baron et al. Towards a continuous certification of safety-critical avionics software
Krauss et al. Tool qualification considerations for tools supporting STPA
Youn et al. Software and hardware certification of safety-critical avionic systems: A comparison study
Baron et al. Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems
Rodríguez-Dapena Software safety certification: a multidomain problem
Ribeiro et al. Weaving Agility in Safety-Critical Software Development for Aerospace: from Concerns to Opportunities
Panchal et al. Comprehensive Overview of a Process-Oriented Build Tool for Airborne Safety-Critical Software Development
Blooshi et al. Review of formal agile methods as cost-effective airworthiness certification processes
Viljoen et al. A life cycle model for the development of airborne electronic equipment
Boydston et al. Joint common architecture (JCA) demonstration architecture centric virtual integration process (ACVIP) shadow effort
Lakemond et al. Digital innovation in complex systems-managing critical applications and generativity
Koverninskiy et al. Practical experience of software and system engineering approaches in requirements management for software development in aviation industry
Villhauer et al. An Integrated model‐based approach to system safety and aircraft system architecture development
Marques et al. Enhancing Aviation Software Development: An Experience Report on Conducting Audits
Friedland et al. Conducting a model based systems engineering tool trade study using a systems engineering approach
Jafer et al. Advances in Software Engineering and Aeronautics
Mueller et al. Introduction of a Dedicated Platform Level for IMA Systems Development With an Extensive Automation Tool Support
Durak et al. Safety-critical simulation engineering
Vorobev et al. On-Board Intelligent Decision Support System Development for Aviation Complexes Using Machine-Oriented Methods
Stavesand et al. Optimizing the Benefit of Virtual Testing with a Process-Oriented Approach
Rothe et al. Model Based Verification and Validation Planning for a Solar‐Powered High‐Altitude Platform
Redstone Arsenal Architecture-Centric Virtual Integration Process Modeling & Analysis Handbook
Sarkis et al. Recommendations for the usage of design models in aviation software