Cart
Free US shipping over $10
Proud to be B-Corp

Model-Driven Development of Reliable Automotive Services Manfred Broy

Model-Driven Development of Reliable Automotive Services By Manfred Broy

Model-Driven Development of Reliable Automotive Services by Manfred Broy


$77.79
Condition - New
Only 2 left

Summary

Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso?eredtothecustomer. 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.

Model-Driven Development of Reliable Automotive Services Summary

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers by Manfred Broy

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.

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.

Additional information

NLS9783540709299
9783540709299
3540709290
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers by Manfred Broy
New
Paperback
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008-07-14
183
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Model-Driven Development of Reliable Automotive Services