国外电子信息精品著作（影印版）：嵌入式系统设计

图书标准信息

• 作者 [英]马威德尔（Marwedel P.） 著
• 出版社 科学出版社
• 出版时间 2007-01
• 版次 1
• ISBN 9787030182470
• 定价 38.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 241页
• 字数 396千字
• 正文语种 英语

【内容简介】

《嵌入式系统设计（影印版）》针对近年来IT行业发展对嵌入式系统的需求，从总体上的介绍了嵌入式系统的设计，阐明了嵌入式系统设计中的一些主要方面之间的关系。《嵌入式系统设计（影印版）》可以作为嵌入式系统的入门教材，也可以作为博士生和研究人员的参考书，对当前的课程教学能起到很好的补充作用。另外，从作者的网站还可以下载相关的幻灯片、练习题和其它资料，从而使读者能够充分利用《嵌入式系统设计（影印版）》的资源。因此，他既可作为相关领域专家的重要参考资料，又可作为当前嵌入式系统教学中所需的一本实用的教材。

【目录】

Preface
Acknowledgments
1.INTRODUCTION
1.1Termsandscope
1.2Applicationareas
1.3Growingimportanceofembeddedsystems
1.4Structureofthisbook

2.SPECIFICATIONS
2.1Requirements
2.2Modelsofcomputation
2.3StateCharts
2.3.1Modelingofhierarchy
2.3.2Timers
2.3.3EdgelabelsandStateChartssemantics
2.3.4Evaluationandextensions
2.4Generallanguagecharacteristics
2.4.1Synchronousandasynchronouslanguages
2.4.2Processconcepts
2.4.3Synchronizationandcommunication
2.4.4Specifyingtiming
2.4.5Usingnon-standardI/Odevices
2.5SDL
2.6Petrinets
2.6.1Introduction
2.6.2Condition/eventnets
2.6.3Place/transitionnets
2.6.4Predicate/transitionnets
2.6.5Evaluation
2.7MessageSequenceCharts
2.8UML
2.9Processnetworks
2.9.1Taskgraphs
2.9.2Asynchronousmessagepassing
2.9.3Synchronousmessagepassing
2.10Java
2.11VHDL
2.11.1Introduction
2.11.2Entitiesandarchitectures
2.11.3Multi-valuedlogicandIEEE1164
2.11.4VHDLprocessesandsimulationsemantics
2.12SystemC
2.13VerilogandSystemVerilog
2.14SpecC
2.15Additionallanguages
2.16Levelsofhardwaremodeling
2.17Languagecomparison
2.18Dependabilityrequirements

3.EMBEDDEDSYSTEMHARDWARE
3.1Introduction
3.2Input
3.2.1Sensors
3.2.2Sample-and-holdcircuits
3.2.3A/D-converters
3.3Communication
3.3.1Requirements
3.3.2Electricalrobustness
3.3.3Guaranteeingreal-timebehavior
3.3.4Examples
3.4ProcessingUnits
3.4.1Overview
3.4.2Application-SpecificCircuits（ASICs）
3.4.3Processors
3.4.4ReconfigurableLogic
3.5Memories
3.6Output
3.6.1D/A-converters
3.6.2Actuators

4.EMBEDDEDOPERATINGSYSTEMSMIDDLEWARE,ANDSCHEDULING
4.1Predictionofexecutiontimes
4.2Schedulinginreal-timesystems
4.2.1Classificationofschedulingalgorithms
4.2.2Aperiodicscheduling
4.2.3Periodicscheduling
4.2.4Resourceaccessprotocols
4.3Embeddedoneratingsystems
4.3.1Generalrequirements
4.3.2Real-timeoperatingsystems
4.4Middleware
4.4.1Real-timedatabases
4.4.2Accesstoremoteobjects

5.IMPLEMENTINGEMBEDDEDSYSTEMS：HARDWARE/SOFTWARECODESIGN
5.1Tasklevelconcurrencymanagement
5.2High-leveloptimizations
5.2.1Floating-pointtofixed-pointconversion
5.2.2Simplelooptransformations
5.2.3Looptiling/blocking
5.2.4Loopsplitting
5.2.5Arrayfolding
5.3Hardware/softwarepartitioning
5.3.1Introduction
5.3.2COOL
5.4Compilersforembeddedsystems
5.4.1Introduction
5.4.2Energy-awarecompilation
5.4.3Compilationfordigitalsignalprocessors
5.4.4Compilationformultimediaprocessors
5.4.5CompilationforVLIWprocessors
5.4.6Compilationfornetworkprocessors
5.4.7Compilergeneration,retargetablecompilersanddesignspaceexploration
5.5VoltageScalingandPowerManagement
5.5.1DynamicVoltageScaling
5.5.2Dynamicpowermanagement（DPM）
5.6Actualdesignflowsandtools
5.6.1SpecCmethodology
5.6.2IMECtoolflow
5.6.3TheCOSYMAdesignflow
5.6.4PtolemyII
5.6.5TheOCTOPUSdesignflow

6.VALIDATION
6.1Introduction
6.2Simulation
6.3RapidPrototypingandEmulation
6.4Test
6.4.1Scope
6.4.2Designfortestability
6.4.3Self-testprograms
6.5Faultsimulation
6.6Faultinjection
6.7Risk-anddependabilityanalysis
6.8FormalVerification
References
Abouttheauthor
ListofFigures
Index