1–20 von 26 Ergebnissen
|

Ihre Suche:
keywords:(Software)

    Finding All Potential Run-Time Errors and Data Races in Automotive Software

    Schmidt, André / Miné, Antoine / Ferdinand, Christian et al. | SAE Technical Papers | 2017
    Schlagwörter: Embedded software , Computer software and hardware

    Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

    Schmidt, Bernard / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2019
    Schlagwörter: Embedded software , Computer software and hardware

    Timing correctness and model-based software development for safety-critical automotive applications - An integrated, tool-supported workflow

    Ferdinand, Christian / Frey, Patrick / Heckmann, Reinhold et al. | Tema Archiv | 2008
    Schlagwörter: Software-Engineering , Software-Fehlertoleranz

    Embedded software timing : methodology, analysis and practical tips with a focus on automotive

    Gliwa, Peter | TIBKAT | 2021
    Schlagwörter: Software engineering. , Integrierte Software

    Automatic timing/memory-usage analysis and model-based code generation

    Heckmann, Reinhold / Ferdinand, Christian / Wolff, Hans-Jörg et al. | Tema Archiv | 2007
    Schlagwörter: Software-Design , Kraftfahrzeug-Software

    Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software

    Ferdinand, Christian / Mallon, Christoph / Kaestner, Daniel et al. | SAE Technical Papers | 2023
    Schlagwörter: Computer software and hardware

    Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

    Ferdinand, Christian / Renz, Christian / Wolff, Hans-Joerg et al. | SAE Technical Papers | 2007
    Schlagwörter: Computer software and hardware

    On the Timing Analysis at Automotive Real-Time Embedded Systems

    Acras, Mauro / Santos, Max Mauro Dias / Gliwa, Peter et al. | SAE Technical Papers | 2017
    Schlagwörter: Computer software and hardware

    Model-Driven Code Generation and Analysis

    Rustemeier, Carsten / Ferdinand, Christian / Kaestner, Daniel et al. | SAE Technical Papers | 2014
    Schlagwörter: Computer software and hardware

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Schlagwörter: Software Engineering/Programming and Operating Systems , Software Engineering

    An Integrated Timing Analysis Methodology for Real-Time Systems

    Ferdinand, Christian / Kästner, Daniel / Jersak, Marek et al. | SAE Technical Papers | 2011
    Schlagwörter: Computer software and hardware

    Outlook

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Safety and ISO 26262

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Multi-Core, Many-Core, and Multi-ECU Timing

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Timing Analysis Techniques

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Microprocessor Technology Basics

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Timing Optimization

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    Operating Systems

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems

    AUTOSAR

    Gliwa, Peter | Springer Verlag | 2021
    Schlagwörter: Software Engineering/Programming and Operating Systems