1–3 von 3 Ergebnissen
|

    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

    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

    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