Skip to main content
  • Conference proceedings
  • © 2008

Model-Driven Development of Reliable Automotive Services

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

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

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

Conference series link(s): ASWSD: Automotive Software Workshop

Conference proceedings info: ASWSD 2006.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (11 papers)

  1. Front Matter

  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. Model Transformations

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

      • Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
      Pages 48-66
  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
  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
  6. Back Matter

Other Volumes

  1. Model-Driven Development of Reliable Automotive Services

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.

Keywords

  • ad-hoc networking
  • automotive hardware
  • automotive software
  • behavior preservation
  • bisimulation
  • error detection
  • formalized quality assurance
  • intelligent interfaces
  • mobile networking
  • model
  • model description langu
  • modeling
  • quality assurance
  • structured analysis
  • structured design

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions