嵌入式系统设计
嵌入式系统设计封面图

嵌入式系统设计

(德) 马威德尔 (Marwedel,P.) , 编著

出版社:科学出版社

年代:2006

定价:36.0

书籍简介:

本书针对近年来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.2Input3.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.EMBEDDEDOPERATINGSYSTEMS

MIDDLEWARE,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.6Compilationfornetworkprocessors5.4.7Compilergeneration,retargetablecompilers

anddesignspaceexploration

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

"

内容摘要:

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

书籍规格:

书籍详细信息
书名嵌入式系统设计站内查询相似图书
丛书名国外电子信息精品著作
9787030182470
如需购买下载《嵌入式系统设计》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次影印本印次1
定价(元)36.0语种英文
尺寸24装帧平装
页数印数

书籍信息归属:

嵌入式系统设计是科学出版社于2007.01出版的中图分类号为 TP360.21 的主题关于 微型计算机-系统设计-英文 的书籍。