嵌入式系统设计

"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行业对嵌入式系统的需求，从总体上的介绍了嵌人式系统的设计，阐明了嵌入式系统设计中的一些主要方面之间的关系。另外，从作者的网站还可以下载相关的幻灯片、练习题和其他资料，从而使读者能够充分利用本书的资源。因此，本书既可作为相关领域专家的重要参考资料，又可作为当前嵌入式系统教学中所需的一本实用的教材；既可以作为嵌入式系统的入门参考，也可以作为研究人员的参考书，对当前的课程教学能起到很好的补充作用。