1–20 von 20 Ergebnissen
|

    MBSE Validation and Verification: Case Study for LADEE

    Karen Gundy-Burlet | NTRS | 2021
    Schlagwörter: Lunar And Planetary Science And Exploration , Model-Based Software Engineering, Validation and Verification, Flight Software

    LADEE Flight Software: Verification Techniques

    Gundy-Burlet, Karen | NTRS | 2014
    Schlagwörter: Spacecraft Flight Software , Lunar And Planetary Science And Exploration , Computer Programming And Software , Verification and Validation , Model based development

    HW/SW Co-design of the Instrument Control Unit for the Energetic Particle Detector on-board Solar Orbiter

    Sánchez, Sebastián / Prieto, Manuel / Polo, Óscar R. et al. | Elsevier | 2013
    Schlagwörter: Flight software , Software verification and validation , Component-based software development

    Assuring NASA's Safety and Mission Critical Software

    Deadrick, Wesley | NTRS | 2015
    Schlagwörter: Verification , Engineering (General) , Computer Programming And Software , Validation

    Validation of decision logic of an autoland system for a UAV using model-based safety-assessment techniques

    Kügler, Martin E. / Rhein, Julian / Holzapfel, Florian | Springer Verlag | 2020
    Schlagwörter: Model-based safety assessment , Software validation , Flight control , Engineering , Aerospace Technology and Astronautics

    Software Management and Verification

    Gruca, Dena | NTRS | 2015
    Schlagwörter: Systems Analysis And Operations Research , Computer Programming And Software , Verification and Validation , software management , systems engineering

    Challenges for Verifying and Validating Scientific Software in Computational Materials Science

    Freier Zugriff
    Vogel, Thomas / Druskat, Stephan / Scheidgen, Markus et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: software systems , results scientific software , Software , software quality , Validation and Verification , Materials science and technology , Scientific Software , Software engineering , program verification , validating scientific software

    Model-Based Design and Validation of Cellularized Satellites for the DARPA Phoenix Program

    Ingham, Mitch / Kerzhner, Alek / Khan, Omair et al. | NTRS | 2013
    Schlagwörter: verification and validation , Spacecraft Design, Testing And Performance , Computer Programming And Software , systems engineering

    Advancement of Data Quality Within the Adverse Condition Awareness Tool

    Fitz, Rhonda S. | NTRS | 2018
    Schlagwörter: Earth Resources And Remote Sensing , Software Verification and Validation , Systems Engineering

    MBSE Validation and Verification

    Case Study for LADEE
    Gundy-Burlet, Karen | Springer Verlag | 2023
    Schlagwörter: Model-based systems engineering , Validation and verification , Software engineering , Engineering , Control and Systems Theory , Simulation and Modeling , Models and Principles , Quality Control, Reliability, Safety and Risk

    Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020

    Freier Zugriff
    Menghi, Claudio | BASE | 2021
    Schlagwörter: Software engineering , Verification and validation

    Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

    Torens, Christoph / Adolf, Florian-M. / Goormann, Lukas | AIAA | 2014
    Schlagwörter: Software Development , Software Considerations in Airborne Systems and Equipment Certification , Flight Testing , Software Verification and Validation

    Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020

    Freier Zugriff
    Cardoso, Rafael C. / Ferrando, Angelo / Briola, Daniela et al. | BASE | 2021
    Schlagwörter: Software engineering , Verification and validation

    Verification and Validation

    Markosian, Lawrence Z. / Feather, Martin S. / Brinza, David E. | Wiley | 2011
    Schlagwörter: software validation , testability engineering and maintenance system , software verification

    IV&V Project Assessment Process Validation

    S. Driskell | NTIS | 2012
    Schlagwörter: Manned space flight , Program verification(Computers) , Software development tools , Independent Verification and Validation(IV&V)

    System Simulation in Automotive Industry

    Knaus, Oliver / Wurzenberger, Johann C. | Springer Verlag | 2021
    Schlagwörter: Systems engineering , Virtual system verification and validation , Software-in-the-loop , Engineering , Automotive Engineering

    Integrated toolset for high-integrity system verification and validation support (avionics)

    Cabos, R.P. | Tema Archiv | 1990
    Schlagwörter: FLIGHT SAFETY CRITICAL SOFTWARE , HIGH-INTEGRITY SYSTEM VERIFICATION AND VALIDATION SUPPORT , AVIONICS SOFTWARE MAINTENANCE PROJECT

    Volume IV. Flight Test Management. Chapter 6. Simulation for Flight Test

    NTIS | 1982
    Schlagwörter: Computer Software , Flight testing , Flight simulation , Test and evaluation , Validation , Flight crews , Engineering

    Integrated Model-Based Controls and PHM for Improving Turbine Engine Performance, Reliability, and Cost

    A. Behbahani / S. Adibhatla / C. Rauche | NTIS | 2009
    Schlagwörter: Model-based development , Verification , Flight control systems , Validation , Model-based controls and phm , Phm(Prognostic and health management) , Performance(Engineering)

    Flight Attendant Work/Rest Patterns, Alertness, and Performance Assessment: Field Validation of Biomathematical Fatigue Modeling

    P. G. Roma / S. R. Hursh / A. M. Mead et al. | NTIS | 2012
    Schlagwörter: Human Factors Engineering , Flight crews , Validation , Flight attendants , Fast software , Safte(Sleep activity fatigue and task effectiveness)