LEADER 05539nam 22007335 450 001 996466161803316 005 20200703233619.0 010 $a3-540-37678-X 024 7 $a10.1007/11823063 035 $a(CKB)1000000000283747 035 $a(SSID)ssj0000316413 035 $a(PQKBManifestationID)11923475 035 $a(PQKBTitleCode)TC0000316413 035 $a(PQKBWorkID)10276490 035 $a(PQKB)10446327 035 $a(DE-He213)978-3-540-37678-1 035 $a(MiAaPQ)EBC3068144 035 $a(PPN)123137551 035 $a(EXLCZ)991000000000283747 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomotive Software-Connected Services in Mobile Networks$b[electronic resource] $eFirst Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /$fedited by Manfred Broy, Ingolf Krüger, Michael Meisinger 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XIV, 156 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v4147 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-37677-1 320 $aIncludes bibliographical references and index. 327 $aAnalyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code -- Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform -- On the Fault Hypothesis for a Safety-Critical Real-Time System -- A Compositional Framework for Real-Time Guarantees -- Validation of Component and Service Federations in Automotive Software Applications -- Towards a Component Architecture for Hard Real Time Control Applications -- Adding Value to Automotive Models -- Automotive Software: A Challenge and Opportunity for Model-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink Integration of Giotto/TDL. 330 $aSoftware development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. Today?s luxury cars contain up to 80 electronic control units (ECUs) and 5 di?erent, inter-connectednetworkplatforms, overwhich some700 software-enabled functions are distributed. On the other hand, the complexity induced by this largenumber of functions, their interactions, and their supporting infrastructure has started to becomethe limiting factor for automotive software development. Adequate management of this complexity is particularly important; the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers (e.g., to call for help in cases of emergency), between cars and devices brought into the car by drivers and passengers (such as cell phones, PDAs, and laptops), and even among cars. This dramatically shifts the focus from the development of individual software solutionsresidingondedicatedECUstotheirdistributionandinteractionwithin and beyond car boundaries. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v4147 606 $aSpecial purpose computers 606 $aSoftware engineering 606 $aComputers 606 $aComputer logic 606 $aComputer simulation 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aSpecial purpose computers. 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer logic. 615 0$aComputer simulation. 615 14$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aComputation by Abstract Devices. 615 24$aLogics and Meanings of Programs. 615 24$aSimulation and Modeling. 676 $a629.20285 702 $aBroy$b Manfred$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKrüger$b Ingolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeisinger$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466161803316 996 $aAutomotive Software – Connected Services in Mobile Networks$9772033 997 $aUNISA