000 03103nam a22005655i 4500
001 978-3-642-38853-8
003 DE-He213
005 20200421111202.0
007 cr nn 008mamaa
008 130614s2013 gw | s |||| 0|eng d
020 _a9783642388538
_9978-3-642-38853-8
024 7 _a10.1007/978-3-642-38853-8
_2doi
050 4 _aTK7874.6
072 7 _aUYQE
_2bicssc
072 7 _aCOM025000
_2bisacsh
082 0 4 _a004.6
_223
245 1 0 _aEmbedded Systems: Design, Analysis and Verification
_h[electronic resource] :
_b4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
_cedited by Gunar Schirner, Marcelo G�otz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXIV, 354 p. 136 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aIFIP Advances in Information and Communication Technology,
_x1868-4238 ;
_v403
505 0 _aDesign methodologies -- Non-functional aspects of embedded systems -- Verification -- Performance analysis -- Real-time systems -- Embedded system applications -- Real-time aspects in distributed systems.
520 _aThis book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.
650 0 _aComputer science.
650 0 _aSpecial purpose computers.
650 0 _aComputer system failures.
650 0 _aSoftware engineering.
650 0 _aComputer-aided engineering.
650 1 4 _aComputer Science.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aSystem Performance and Evaluation.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
700 1 _aSchirner, Gunar.
_eeditor.
700 1 _aG�otz, Marcelo.
_eeditor.
700 1 _aRettberg, Achim.
_eeditor.
700 1 _aZanella, Mauro C.
_eeditor.
700 1 _aRammig, Franz J.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642388521
830 0 _aIFIP Advances in Information and Communication Technology,
_x1868-4238 ;
_v403
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-38853-8
912 _aZDB-2-SCS
942 _cEBK
999 _c53897
_d53897