Synonyms were used for: Automotive software
Search without synonyms: keywords:(Automotive software)

1–20 of 111 hits
|

    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, C. / Heckmann, R. / Wilhelm, R. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    A compositional Framework for Real-Time Guarantees

    Shin, I. / Lee, I. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    On the Fault Hypothesis for a Safety-Critical Real-Time System

    Kopetz, H. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, W. / Templ, J. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, L. / Ghezzi, C. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Simulink Integration of Giotto/TDL

    Pree, W. / Stieglbauer, G. / Templ, J. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Automotive Software: A Challenge and Opportunity for Model-Based Software Development

    Karsai, G. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Adding Value to Automotive Models

    Bode, E. / Damm, W. / Hoyem, J. et al. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform

    Mueller-Glaser, K. D. / Reichmann, C. / Kuehl, M. et al. | British Library Conference Proceedings | 2006
    Keywords: Automotive computers , Computer software , Automotive software

    Generating Sound and Resource-Aware Code from Hybrid Systems Models

    Anand, M. / Fischmeister, S. / Kim, J. et al. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    TestML - A Test Exchange Language for Model-Based Testing of Embedded Software

    Grossmann, J. / Fey, I. / Krupp, A. et al. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

    Neema, S. / Birla, S. / Wang, S. et al. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software

    Prasad, K.V. / Giuli, T.J. / Watson, D. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer

    Ferdinand, C. / Heckmann, R. / Wolff, H.-J. et al. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, G. / Narayanan, A. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    An Instrumentation-Based Approach to Controller Model Validation

    Cleaveland, R. / Smolka, S.A. / Sims, S.T. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    A Software and System Modeling Facility for Vehicle Environment Interactions

    Nelson, E. / Huang, H. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    Reusable Services and Semi-automatic Service Composition for Automotive Software

    Giese, H. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, V. / Gill, C. | British Library Conference Proceedings | 2008
    Keywords: Automotive computers , Software engineering , Reliable automotive services , Automotive software