Boydston et al., 2015 - Google Patents

Joint common architecture (JCA) demonstration architecture centric virtual integration process (ACVIP) shadow effort

Boydston et al., 2015

View PDF
Document ID
8361808132683402525
Author
Boydston A
Feiler P
Vestal S
Lewis B
Publication year
Publication venue
AHS 71st Annual Forum

External Links

Snippet

Challenging problems associated with system software complexity growth are threatening industry's ability to build next generation safety critical embedded systems including helicopter avionics systems. Contributors to these problems include the growth of software …
Continue reading at api.army.mil (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
    • 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/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • 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/70—Software maintenance or management
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • 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/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity

Similar Documents

Publication Publication Date Title
Bajaj et al. Slim: collaborative model-based systems engineering workspace for next-generation complex systems
Dmitriev et al. A lean and highly-automated model-based software development process based on do-178c/do-331
Cofer et al. Formal methods case studies for DO-333
Boydston et al. Architecture centric virtual integration process (ACVIP): A key component of the DoD digital engineering strategy
Brunel et al. A viewpoint-based approach for formal safety & security assessment of system architectures
Zhao et al. Safety assessment of the reconfigurable integrated modular avionics based on STPA
de Oliveira et al. Variability management in safety‐critical systems design and dependability analysis
Carlsson et al. Methodology for development and validation of multipurpose simulation models
Aldalur et al. A microservice-based framework for multi-level testing of cyber-physical systems
Sljivo et al. A method to generate reusable safety case fragments from compositional safety analysis
Boydston et al. Joint common architecture (JCA) demonstration architecture centric virtual integration process (ACVIP) shadow effort
Blooshi et al. Review of formal agile methods as cost-effective airworthiness certification processes
Sarkis et al. A set of rules for production of design models compliant with standards DO-178C and DO-331
Halvorson et al. Architecture Framework Standardization for Satellite Software Generation Using MBSE and F Prime
Redman et al. Virtual integration for improved system design
Kayayurt et al. Ground control station avionics software development in ANKA UAV
Priggouris et al. The system design life cycle
Carson et al. 2.5. 1 Functional Architecture as the Core of Model‐Based Systems Engineering
Mueller et al. Introduction of a Dedicated Platform Level for IMA Systems Development With an Extensive Automation Tool Support
Zhe et al. An integrated approach to model based engineering with SysML, AADL and FACE
Goretkin et al. Developing Portable and Reusable Applications with SCADE, the FACETM Technical Standard, and ARINC 661
Schwierz et al. Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics
Stavesand et al. Optimizing the Benefit of Virtual Testing with a Process-Oriented Approach
Berzins et al. Putting teeth into open architectures: Infrastructure for reducing the need for retesting
Kobryn et al. 1.3. 1 modeling DoDAF compliant architectures the telelogic approach for complying with the DoD architectural framework