Prosvirin et al., 2015 - Google Patents
Model-based solution and software engineering environment for UAV critical onboard applicationsProsvirin et al., 2015
- Document ID
- 16379672955808458688
- Author
- Prosvirin D
- Kharchenko V
- Publication year
- Publication venue
- 2015 IEEE International Conference Actual Problems of Unmanned Aerial Vehicles Developments (APUAVD)
External Links
Snippet
This paper deals with advantages of model-based software engineering approach of critical UAV onboard systems. Application of modern model-based technologies for critical onboard systems development is considered. Rules for critical software engineering at all life cycle …
- 230000018109 developmental process 0 abstract description 35
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
-
- 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
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
-
- 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
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Hilderman et al. | Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware) | |
| Böhnke et al. | An approach to multi-fidelity in conceptual aircraft design in distributed design environments | |
| Eliasson et al. | Agile model-driven engineering in mechatronic systems-an industrial case study | |
| Cofer et al. | DO-333 certification case studies | |
| Morton et al. | HPCMP CREATETM-AV kestrel architecture, capabilities, and long term plan for fixed-wing aircraft simulations | |
| Torens et al. | Certification and software verification considerations for autonomous unmanned aircraft | |
| Prosvirin et al. | Model-based solution and software engineering environment for UAV critical onboard applications | |
| Nowodzienski et al. | From Model‐based to Model and Simulation‐based Systems Architectures—Achieving Quality Engineering through Descriptive and Analytical Models | |
| Aydemir et al. | Designing a virtual iron bird as a digital twin | |
| Durak et al. | Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets | |
| Prosvirin et al. | Developing of WIMP interfaces on critical platforms for automatic flight control system of UAV | |
| Belschner et al. | Automated generation of certification relevant documentation for a distributed avionics platform approach | |
| Sarkis et al. | A set of rules for production of design models compliant with standards DO-178C and DO-331 | |
| Block et al. | Automated test case generation for the verification of system and high-level software requirements for fly-by-wire platforms | |
| Herbst et al. | Using OpenVSP in a Conceptual Aircraft Design Environment in MATLAB | |
| DeWalt et al. | Technology independent assurance method | |
| Durak et al. | Applying ieee recommended practice for distributed simulation engineering and execution process for modeling and simulation based airborne systems engineering | |
| Koch et al. | Simulation-based verification for parallelization of model-based applications | |
| Dabney et al. | Using assume-guarantee contracts in autonomous spacecraft | |
| Pyrgies et al. | An innovative approach for achieving DO-178C certification of an intelligent system implementing sense-and-avoid function in UAVs | |
| Prosvirin et al. | Optimized Safety–Critical Embedded Automatic Flight Control System Development Approach to Comply with ARP 4754, DO-178C Objectives | |
| Jafer et al. | A framework for rapid configuration of collaborative aviation system-of-systems simulations | |
| Nixon | Flight Control Law Development for the F-35 Joint Strike Fighter | |
| Eisemann et al. | New requirement-definition and verification techniques according to do-178c, do-331, and do-333 | |
| Prosvirin | Deployment of model-based development process of safe application software for safetycritical avionics systems |