LEADER 01271nam 2200397 n 450 001 996387877603316 005 20221108042306.0 035 $a(CKB)1000000000624747 035 $a(EEBO)2248606385 035 $a(UnM)99838459 035 $a(EXLCZ)991000000000624747 100 $a19901106d1613 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe golden meane$b[electronic resource] $eLately written, as occasion serued, to a great lord. Discoursing the noblenesse of perfect virtue in extreames 210 $aLondon $cPrinted [by H. Lownes] for Jeffery Chorlton$d1613 215 $a[8], 126 p 300 $aAttributed to John Ford and to Anthony Stafford--STC. 300 $aPrinter's name from STC. 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aModeration$vEarly works to 1800 606 $aVirtue$vEarly works to 1800 615 0$aModeration 615 0$aVirtue 702 $aFord$b John$f1586-ca. 1640,$4aut 702 $aStafford$b Anthony$4aut 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bUk-ES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996387877603316 996 $aThe golden meane$92330172 997 $aUNISA LEADER 05080nam 22007455 450 001 9910484630003321 005 20251226203631.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 $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,$x2946-1642 ;$v4147 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2946-1642 ;$v4147 606 $aComputers, Special purpose 606 $aSoftware engineering 606 $aComputer science 606 $aComputer simulation 606 $aSpecial Purpose and Application-Based Systems 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Modelling 615 0$aComputers, Special purpose. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer simulation. 615 14$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Modelling. 676 $a629.20285 701 $aBroy$b M.$f1949-$01681196 701 $aKru?ger$b Ingolf H$01758732 701 $aMeisinger$b Michael$01758733 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484630003321 996 $aAutomotive Software-Connected Services in Mobile Networks$94522681 997 $aUNINA