资源描述：
《Peter Marwedel - Embedded System Design》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、EmbeddedSystemsSeriesEditorsNikilD.Dutt,DepartmentofComputerScience,DonaldBrenSchoolofInformationandComputerSciences,UniversityofCalifornia,Irvine,ZotCode3435,Irvine,CA92697-3435,USAPeterMarwedel,Informatik12,TUDortmund,Otto-Hahn-Str.16,44227Dortmund,Germ
2、anyGrantMartin,TensilicaInc.,3255-6ScottBlvd.,SantaClara,CA95054,USAForothertitlespublishedinthisseries,gotowww.springer.com/series/8563PeterMarwedelEmbeddedSystemDesignEmbeddedSystemsFoundationsofCyber-PhysicalSystems2ndEditionDr.PeterMarwedelTUDortmundI
3、nformatik12Otto-Hahn-Str.1644221DortmundGermanypeter.marwedel@tu-dortmund.deISBN978-94-007-0256-1e-ISBN978-94-007-0257-8DOI10.1007/978-94-007-0257-8SpringerDordrechtHeidelbergLondonNewYork©SpringerScience+BusinessMediaB.V.2011Nopartofthisworkmaybereproduc
4、ed,storedinaretrievalsystem,ortransmittedinanyformorbyanymeans,electronic,mechanical,photocopying,microfilming,recordingorotherwise,withoutwrittenpermissionfromthePublisher,withtheexceptionofanymaterialsuppliedspecificallyforthepurposeofbeingenteredandexecu
5、tedonacomputersystem,forexclusiveusebythepurchaserofthework.Coverdesign:VTEX,VilniusPrintedonacid-freepaperSpringerispartofSpringerScience+BusinessMedia(www.springer.com)ContentsPrefacexiAcknowledgmentsxxi1.INTRODUCTION11.1Applicationareasandexamples.....
6、...........11.2Commoncharacteristics....................41.3ChallengesinEmbeddedSystemDesign...........101.4DesignFlows..........................121.5Structureofthisbook......................171.6Assignments..........................182.SPECIFICATIONSANDM
7、ODELING212.1Requirements..........................212.2Modelsofcomputation.....................282.3Earlydesignphases.......................352.3.1Usecases........................352.3.2(Message)SequenceCharts..............362.4Communicatingfinitestatemach
8、ines(CFSMs)........392.4.1Timedautomata....................402.4.2StateCharts.......................422.4.3Synchronouslanguages................522.4.4SDL:Acaseofmessagepassing...........542.5Dataflow.................
