Overview

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.

Full Product Details

Author:   Manfred Broy ,  Ingolf Krüger ,  Michael Meisinger
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   4922
Dimensions:   Width: 15.50cm , Height: 1.10cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783540709299

ISBN 10:   3540709290
Pages:   183
Publication Date:   14 July 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Modeling Techniques and Infrastructures.- The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software.- Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control.- A Software and System Modeling Facility for Vehicle Environment Interactions.- Model Transformations.- Generating Sound and Resource-Aware Code from Hybrid Systems Models.- Towards Verification of Model Transformations Via Goal-Directed Certification.- Quality Assurance.- An Instrumentation-Based Approach to Controller Model Validation.- TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.- Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems.- Real-Time Control.- Modeling with the Timing Definition Language (TDL).- Towards Model-Driven Development of Hard Real-Time Systems.- Services and Components.- Reusable Services and Semi-automatic Service Composition for Automotive Software.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions