InhaltsangabeModeling 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.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg