资源描述:
《Ivan Radojevic, Zoran Salcic - Embedded Systems Design Based on Formal Models of Computation》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、EmbeddedSystemsDesignBasedonFormalModelsofComputationIvanRadojevic•ZoranSalcicEmbeddedSystemsDesignBasedonFormalModelsofComputationIvanRadojevicZoranSalcicDefenceTechnologyAgencyComputerSystemsEngineeringNewZealandDefenceForceUniversityofAucklandAucklandAucklandNewZealandNewZealandivan_radojevi
2、c@hotmail.comz.salcic@auckland.ac.nzISBN978-94-007-1593-6e-ISBN978-94-007-1594-3DOI10.1007/978-94-007-1594-3SpringerDordrechtHeidelbergLondonNewYorkLibraryofCongressControlNumber:2011929884©SpringerScience+BusinessMediaB.V.2011Nopartofthisworkmaybereproduced,storedinaretrievalsystem,ortransmitt
3、edinanyformorbyanymeans,electronic,mechanical,photocopying,microfilming,recordingorotherwise,withoutwrittenpermissionfromthePublisher,withtheexceptionofanymaterialsuppliedspecificallyforthepurposeofbeingenteredandexecutedonacomputersystem,forexclusiveusebythepurchaserofthework.Printedonacid-freep
4、aperSpringerispartofSpringerScience+BusinessMedia(www.springer.com)PrefaceOneofthekeyproblemsinmodernembeddedsystemsdesignistheproductivitygap.Whiletheperformanceofcomputingarchitectureshasbeenrapidlyincreasinginthepastfewdecades,designtoolshavenotkeptpace.Asaresult,itisbecomingincreasinglydiffi
5、cultforembeddedsystemsdesignerstohandlecomplexapplica-tions.Delaysinproductdeliveryandevenprojectcancellationsarequitecommon.Anobvioussolutionistoraisetheabstractionlevelofdesigntoolsandatthesametimeenableautomaticsynthesisfromhighlevelspecifications.Acompleteembeddedapplicationneedstobespecified
6、inasinglesystemlevellanguageratherthanusingprogramminglanguagesandhardwaredescriptionlanguagestocreateanearlynon-optimalhardware/softwarepartition.Fromasinglesystemspecificationwritteninaformallanguage,itispossibletoautomatedesignspaceexploration,hardware/softwarepartitioning,verificationandsynth
7、esis,whichgivesanenormousboosttodesignproductivity.However,allthesedesignactivitiescanbeautomatedbydesigntoolsonlyifthesystem-levelspecificationisconstructedaccordingtoaformalmodelofcomputation,whichsetstherulesforcommunicationamon