Cantitate/Preț
Produs

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers: Lecture Notes in Computer Science, cartea 4922

Editat de Manfred Broy, Ingolf Krüger, Michael Meisinger
en Limba Engleză Paperback – 14 iul 2008
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32217 lei

Preț vechi: 40272 lei
-20% Nou

Puncte Express: 483

Preț estimativ în valută:
6166 6405$ 5121£

Carte tipărită la comandă

Livrare economică 01-15 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540709299
ISBN-10: 3540709290
Pagini: 204
Ilustrații: XVIII, 183 p.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.32 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă


This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.
The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.