000 03871nam a22005895i 4500
001 978-3-540-49498-0
003 DE-He213
005 20240423132431.0
007 cr nn 008mamaa
008 121227s1998 gw | s |||| 0|eng d
020 _a9783540494980
_9978-3-540-49498-0
024 7 _a10.1007/3-540-65193-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aLectures on Embedded Systems
_h[electronic resource] :
_bEuropean Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 /
_cedited by Grzegorz Rozenberg, Frits W. Vaandrager.
250 _a1st ed. 1998.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1998.
300 _aIX, 431 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1494
505 0 _aVerification of clocked and hybrid systems -- Analyzing and synthesizing hybrid control systems -- Model checking timed automata -- On modeling real-time task systems -- A modular approach for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation and toolset for high-performance embedded systems development -- The maturity of object-oriented methodologies -- Object oriented development of embedded systems with the octopus method -- Engineering of real-time systems with an experiment in hybrid control -- Formal methods in the design of a storm surge barrier control system -- Statecharts in use: structured analysis and object-orientation -- Embedded systems in consumer products -- The long road from research to telecommunication applications -- Development of embedded software at ICT.
520 _aThis volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics. The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing.
650 0 _aComputer science.
650 0 _aComputers, Special purpose.
650 0 _aOperating systems (Computers).
650 0 _aSoftware engineering.
650 1 4 _aTheory of Computation.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aOperating Systems.
650 2 4 _aSoftware Engineering.
700 1 _aRozenberg, Grzegorz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aVaandrager, Frits W.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540651932
776 0 8 _iPrinted edition:
_z9783662184028
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1494
856 4 0 _uhttps://doi.org/10.1007/3-540-65193-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187709
_d187709