000 | 04902nam a22006015i 4500 | ||
---|---|---|---|
001 | 978-3-540-37678-1 | ||
003 | DE-He213 | ||
005 | 20240730193145.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2006 gw | s |||| 0|eng d | ||
020 |
_a9783540376781 _9978-3-540-37678-1 |
||
024 | 7 |
_a10.1007/11823063 _2doi |
|
050 | 4 | _aQA76.5-.73 | |
072 | 7 |
_aUYQE _2bicssc |
|
072 | 7 |
_aCOM011000 _2bisacsh |
|
072 | 7 |
_aUYQE _2thema |
|
082 | 0 | 4 |
_a004 _223 |
245 | 1 | 0 |
_aAutomotive Software-Connected Services in Mobile Networks _h[electronic resource] : _bFirst Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / _cedited by Manfred Broy, Ingolf Krüger, Michael Meisinger. |
250 | _a1st ed. 2006. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2006. |
|
300 |
_aXIV, 156 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v4147 |
|
505 | 0 | _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. | |
520 | _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. | ||
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aComputer simulation. _95106 |
|
650 | 1 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aTheory of Computation. _9152683 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aComputer Modelling. _9152684 |
700 | 1 |
_aBroy, Manfred. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152685 |
|
700 | 1 |
_aKrüger, Ingolf. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152686 |
|
700 | 1 |
_aMeisinger, Michael. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152687 |
|
710 | 2 |
_aSpringerLink (Online service) _9152688 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540376774 |
776 | 0 | 8 |
_iPrinted edition: _z9783540828068 |
830 | 0 |
_aInformation Systems and Applications, incl. Internet/Web, and HCI, _x2946-1642 ; _v4147 _9152689 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/11823063 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c94624 _d94624 |