1–13 von 13 Ergebnissen
|

    A Verification and Validation Workflow for IEC 61508 Applications

    Sandmann, Guido / Conrad, Mirko | SAE Technical Papers | 2009
    Schlagwörter: Computer software and hardware

    Evolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences

    Griep, Arne / Pohlheim, Hartmut / Conrad, Mirko | SAE Technical Papers | 2005
    Schlagwörter: Computer software and hardware

    Automatic Evaluation of ECU Software Tests

    Wiesbrock, Hans-Werner / Conrad, Mirko / Sadeghipour, Sadegh | SAE Technical Papers | 2005
    Schlagwörter: Computer software and hardware

    Software Tool Qualification According to ISO 26262

    Sandmann, Guido / Conrad, Mirko / Munier, Patrick | SAE Technical Papers | 2011
    Schlagwörter: Computer software and hardware

    Model-based Testing of Embedded Automotive Software Using Mtest

    Fey, Ines / Lamberg, Klaus / Eschmann, Mario et al. | SAE Technical Papers | 2004
    Schlagwörter: Computer software and hardware

    Key Factors for Successful Integration of Automatic Code Generation in Series Production Development

    Fleischer, Dirk / Beine, Michael / Stamatov, Stamat et al. | SAE Technical Papers | 2009
    Schlagwörter: Computer software and hardware

    Safety-Critical Software Development Using Automatic Production Code Generation

    Conrad, Mirko / Erkkinen, Tom | SAE Technical Papers | 2007
    Schlagwörter: Computer software and hardware

    Automatic Code Generation and Platform Based Design Methodology: An Engine Management System Design Case Study

    Ferrari, Alberto / Gentile, Giacomo / Gaviani, Giovanni et al. | SAE Technical Papers | 2005
    Schlagwörter: Computer software and hardware

    Using Model and Code Reviews in Model-based Development of ECU Software

    Dörr, Heiko / Fey, Ines / Stürmer, Ingo et al. | SAE Technical Papers | 2006
    Schlagwörter: Computer software and hardware

    Behavior Modeling Tools in an Architecture-Driven Development Process - From Function Models to AUTOSAR

    Beine, Michael / Niggemann, Oliver / Eisemann, Ulrich et al. | SAE Technical Papers | 2007
    Schlagwörter: Computer software and hardware

    Verification and Validation According to IEC 61508: A Workflow to Facilitate the Development of High-Integrity Applications

    Sandmann, Guido / Friedman, Jonathan / Conrad, Mirko | SAE Technical Papers | 2009
    Schlagwörter: Computer software and hardware

    Model-Based Design and Automatic Production Code Generation for Safety-Critical Software Development

    Iqbal, Asif / Uhl, Bill / Fleischer, Dirk et al. | SAE Technical Papers | 2009
    Schlagwörter: Computer software and hardware

    Development of Safety-Critical Software Using Automatic Code Generation

    Beine, Michael / Jungmann, Michael / Otterbach, Rainer | SAE Technical Papers | 2004
    Schlagwörter: Computer software and hardware