资源描述：
《a case study in embedded system design an engine control unit》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、ACaseStudyinEmbeddedSystemDesign:anEngineControlUnitTullioCuatto,PolitecnicodiTorino,ItalyClaudioPasserone,PolitecnicodiTorino{CadenceEuropeansLabs,ItalyLucianoLavagno,PolitecnicodiTorino{CadenceEuropeansLabs,ItalyAttilaJurecska,MagnetiMarelli,VenariaReale,ItalyAntoninoDamiano,MagnetiMarelli
2、,VenariaReale,ItalyClaudioSansoe,PolitecnicodiTorino,ItalyAlbertoSangiovanni-Vincentelli,Dept.ofEECS,UniversityofCaliforniaatBerkeley,USAAbstractThepaperisorganizedasfollows.InSection2wede-scribethespeci cationsofourcasestudy.InSection3weAnumberoftechniquesandsoftwaretoolsforembeddedsys-sho
3、whowarchitecturaldecisions,suchaspartitioningandtemdesignhavebeenrecentlyproposed.However,thecur-processorchoice,aremadeforthatexample.InSection4rentpracticeinthedesignercommunityisheavilybasedonwediscusssomelessonslearnedinthecourseofthisproject,manualtechniquesandonpastexperienceratherthan
4、onaaboutspeci cationstylesandtrade-o s.InSection5werigorousapproachtodesign.Toadvancethestateoftheartdrawsomeconclusions.itisimportanttoaddressanumberofrelevantdesignprob-lemsandsolvethemtodemonstratethepowerofthenew2Speci cationoftheECUapproaches.Wechoseanindustrialexampleinautomotiveelectr
5、onicsInthispaperwepresentanapplicationofthePOLIS[1]en-tovalidateourdesignmethodology:anexistingcommerciallyvironment:theformalspeci cationandhardware/softwareavailableEngineControlUnit.Wediscussindetailthespec-partitioninganalysisofafunctionalsubsetofanEnginei cation,theimplementationphiloso
6、phy,andthearchitec-ControlUnit(ECU),atypicalautomotiveembeddedsys-turaltrade-o analysis.Weanalyzetheresultsobtainedwithtem.Weusedasareferenceanalreadyexistingdevicefromourapproachandcomparethemwiththeexistingdesignun-MagnetiMarelli,aworldwidesupplierofautomotiveelec-derliningtheadvantageso e
7、redbyasystematicapproachtotroniccomponents.BothafunctionalStructuredAnalysisembeddedsystemdesignintermsofperformanceanddesignspeci cation[4],andatargetarchitecturewereavailablefortime.thisdevice,thatwasoriginallydesignedasaprototypetoexperimentwith
