LEADER 04482nam 22007815 450 001 9910484838103321 005 20251226204238.0 010 $a3-540-70930-4 024 7 $a10.1007/978-3-540-70930-5 035 $a(CKB)1000000000490804 035 $a(SSID)ssj0000318984 035 $a(PQKBManifestationID)11265714 035 $a(PQKBTitleCode)TC0000318984 035 $a(PQKBWorkID)10336455 035 $a(PQKB)11406631 035 $a(DE-He213)978-3-540-70930-5 035 $a(MiAaPQ)EBC3063062 035 $a(MiAaPQ)EBC6284219 035 $a(PPN)127055134 035 $a(EXLCZ)991000000000490804 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel-Driven Development of Reliable Automotive Services $eSecond Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /$fedited by Manfred Broy, Ingolf Krüger, Michael Meisinger 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XVIII, 183 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4922 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-70929-0 320 $aIncludes bibliographical references and author index. 327 $aModeling 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. 330 $aThis 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. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4922 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer programming 606 $aComputers, Special purpose 606 $aComputer science 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aSpecial Purpose and Application-Based Systems 606 $aTheory of Computation 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputers, Special purpose. 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aTheory of Computation. 676 $a004 702 $aBroy$b M.$f1949-$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKru?ger$b Ingolf H$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeisinger$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484838103321 996 $aModel-Driven Development of Reliable Automotive Services$9774371 997 $aUNINA