Skip to main content
SpringerLink
Log in
Book cover

Model-Driven Development of Reliable Automotive Services

Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Manfred Broy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ingolf H. Krüger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Meisinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4922)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ASWSD 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Modeling Techniques and Infrastructures

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

      • K. Venkatesh Prasad, Thomas J. Giuli, David Watson
      Pages 1-14

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

      • Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena
      Pages 15-33

    3. A Software and System Modeling Facility for Vehicle Environment Interactions

      • Edward Nelson, Henry Huang
      Pages 34-47

  3. Model Transformations

    1. Generating Sound and Resource-Aware Code from Hybrid Systems Models

      • Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
      Pages 48-66

    2. Towards Verification of Model Transformations Via Goal-Directed Certification

      • Gabor Karsai, Anantha Narayanan
      Pages 67-83

  4. Quality Assurance

    1. An Instrumentation-Based Approach to Controller Model Validation

      • Rance Cleaveland, Scott A. Smolka, Steven T. Sims
      Pages 84-97

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

      • Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Mueller
      Pages 98-117

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

      • Venkita Subramonian, Christopher Gill
      Pages 118-132

  5. Real-Time Control

    1. Modeling with the Timing Definition Language (TDL)

      • Wolfgang Pree, Josef Templ
      Pages 133-144

    2. Towards Model-Driven Development of Hard Real-Time Systems

      • Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm
      Pages 145-160

  7. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model-Driven Development of Reliable Automotive Services

Keywords

About this book

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra?c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi?cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi?cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di?erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD)2006, on whose results we report here.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation