search-head

Sie sind hier: Homepage >  Suche

Synonyme wurden verwendet für: design • software • software design • validation
Suche ohne Synonyme: keywords:(model-based software design and validation)

1–20 von 23 Ergebnissen
|
Sortieren:

    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

    NASA Operational Simulator for Small Satellites: Tools for Software Based Validation and Verification of Small Satellites

    Grubb, Matt | NTRS | 2016
    Schlagwörter: Spacecraft Design, Testing And Performance , Computer Programming And Software , Validation

    Morgens Firmenwagen, abends Taxi - wie vernetzte Software die Funktion des Fahrzeugs bestimmt: Vortrag gehalten bei den 14. Münchner Wissenschaftstagen, 09. November 2014

    Freier Zugriff
    Baumer, Susanne | Fraunhofer Publica | 2014
    Schlagwörter: modellbasierter Software-Entwurf und Absicherung , software-defined car , model-based software design and 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 , Aerospace Technology and Astronautics

    LADEE Multi-Domain Simulation

    Benz, Nathaniel August / Viazzo, Danilo | NTRS | 2014
    Schlagwörter: Lunar And Planetary Science And Exploration , Model-Based Design , Computer Programming And Software

    Benchmarking of Advanced Control Strategies for a Simulated Hydroelectric System

    Freier Zugriff
    Finotti, Simona / SIMANI, Silvio / ALVISI, Stefano et al. | BASE | 2017
    Schlagwörter: model-based design , data-driven design , verification and validation

    Validation of mission critical software design and implementation using model checking

    Pingree, P. J. / Mikk, E. / Holzmann, G. | NTRS | 2002
    Schlagwörter: software design software architecture validation , Computer Programming And Software

    Benchmarking of Advanced Control Strategies for a Simulated Hydroelectric System

    Freier Zugriff
    Finotti, Simona / SIMANI, Silvio / ALVISI, Stefano et al. | BASE | 2017
    Schlagwörter: model-based design , data-driven design , verification and validation

    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

    RotCFD Software Validation - Computational and Experimental Data Comparison

    Fernandez, Ovidio Montalvo | NTRS | 2014
    Schlagwörter: Aircraft Design, Testing And Performance , RotCFD Software Validation

    An Operating System for the Optimization of Technical Systems Using the Example of Transmission Calibration

    Albers, Albert / Schwarz, Alexander / Behrendt, Matthias et al. | Springer Verlag | 2012
    Schlagwörter: Time-efficient model based validation , Engineering Design , Simulation and Modeling

    High integrity real-time software

    Allerton, D J | SAGE Publications | 2007
    Schlagwörter: real-time software , software validation and verification , safety critical software , software design , software life-cycle processes

    MARGInS: Model-Based Analysis of Realizable Goals in Systems

    Davies, Misty / Pressburger, Tom / He, Yuning et al. | NTRS | 2014
    Schlagwörter: Aircraft Design, Testing And Performance , Computer Programming And Software , Statistics And Probability , Validation

    A Model Based Systems Engineering Approach Towards Developing a Rapid Analysis and Trades Environment

    Tejas P Kulkarni / Kevin J Debruin / Adam P Nelessen et al. | NTRS | 2016
    Schlagwörter: Aerospace Systems Design Laboratory , Spacecraft Design , Systems Analysis And Operations Research , Computer Programming And Software , Model Based System 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 , Control and Systems Theory , Simulation and Modeling , Models and Principles , Quality Control, Reliability, Safety and Risk

    Model-Based Automotive Software Development

    Vinoth Kannan, K. | Springer Verlag | 2021
    Schlagwörter: Model-Based Software Development , Object-oriented design , Circuits and Systems

    Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges

    Ghorbal, Khalil / Jeannin, Jean-Baptiste / Zawadzki, Erik et al. | AIAA | 2014
    Schlagwörter: Software Systems , Traffic Alert and Collision Avoidance System , Model Based Design

    A Model-Based Design for Electronic Control Unit of Electric Motorcycle

    Jnug, Sung-Suk / Kim, Jin-Ho / Jeon, Jea-Wook | Springer Verlag | 2012
    Schlagwörter: Model-based design , SW (software) platform , Electronics and Microelectronics, Instrumentation

    Software Development Standard for Mission Critical Systems

    R. J. Adams / S. Eslinger / K. L. Owens et al. | NTIS | 2014
    Schlagwörter: Computer Software , Software engineering , Computer aided design , Management planning and control , Test and evaluation , Validation , Software development , Software documentation , Software items , Software reviews , Software testing , Sad(software architecture description) , Sdp(software development plan)

Ergebnisse anzeigen
10 50

Suchergebnisse filtern