Springer.Embedded.System.Design.Jan.2006.eBook.DDU

《Springer.Embedded.System.Design.Jan.2006.eBook.DDU 》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、EMBEDDEDSYSTEMDESIGNEmbeddedSystemDesignbyPETERMARWEDELUniversityofDortmund,GermanyAC.I.P.CataloguerecordforthisbookisavailablefromtheLibraryofCongress.ISBN-101-4020-7690-8(HB)ISBN-13978-1-4020-7690-9(HB)ISBN-100-387-29237-3(PB)ISBN-13978-0-387-29237-3(PB)PublishedbySpringer,P.O.Box17,3300AADordr

2、echt,TheNetherlands.www.springeronline.comPrintedonacid-freepaperAllRightsReserved©2006SpringerNopartofthisworkmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,photocopying,microfilming,recordingorotherwise,withoutwrittenpermissionfromthePublisher,

3、withtheexceptionofanymaterialsuppliedspecificallyforthepurposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthework.PrintedintheNetherlands.Thisbookisdedicatedtomyfamily.ContentsPrefacexiiiAcknowledgmentsxvii1.INTRODUCTION11.1Termsandscope11.2Applicationareas51.3Growin

4、gimportanceofembeddedsystems81.4Structureofthisbook92.SPECIFICATIONS132.1Requirements132.2Modelsofcomputation162.3StateCharts182.3.1Modelingofhierarchy192.3.2Timers232.3.3EdgelabelsandStateChartssemantics242.3.4Evaluationandextensions262.4Generallanguagecharacteristics272.4.1Synchronousandasynchr

5、onouslanguages272.4.2Processconcepts282.4.3Synchronizationandcommunication28viiviiiEMBEDDEDSYSTEMDESIGN2.4.4Specifyingtiming292.4.5Usingnon-standardI/Odevices302.5SDL302.6Petrinets362.6.1Introduction362.6.2Condition/eventnets402.6.3Place/transitionnets402.6.4Predicate/transitionnets422.6.5Evaluat

6、ion442.7MessageSequenceCharts442.8UML452.9Processnetworks502.9.1Taskgraphs502.9.2Asynchronousmessagepassing532.9.3Synchronousmessagepassing552.10Java582.11VHDL592.11.1Introduction592.11.2Entitiesandarchitectures602.11.3Multi-valuedlogicandIEEE1164622.11.4VHDLprocessesandsimulationsemantics692.12S

7、ystemC732.13VerilogandSystemVerilog752.14SpecC762.15Additionallanguages772.16Levelsofhardwaremodeling792.17Languagecomparison822.18Dependabilityrequirements83Contentsix3.EMBEDDEDSYSTEMHARDWARE873.1Introduction873.2Inpu