已阅读5页,还剩66页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
英文资料翻译AMODELINGBASEDMETHODOLOGYFOREVALUATINGTHEPERFORMANCEOFAREALTIMEEMBEDDEDCONTROLSYSTEMKLEMENPERKO,REMYKOCIK,REDHAHAMOUCHE,ANDREJTROSTABSTRACTTHISPAPERPRESENTSAMODELLINGBASEDMETHODOLOGYFOREMBEDDEDCONTROLSYSTEMECSDESIGNHERE,INSTEADOFDEVELOPINGANEWMETHODOLOGYFORECSDESIGN,WEPROPOSETOUPGRADEANEXISTINGONEBYBRIDGINGITWITHAMETHODOLOGYUSEDINOTHERAREASOFEMBEDDEDSYSTEMSDESIGNWECREATEDATRANSFORMATIONBRIDGEBETWEENTHECONTROLSCHEDULINGANDTHEHARDWARE/SOFTWAREHW/SWCODESIGNTOOLSBYDEFININGTHISBRIDGE,WEALLOWFORANAUTOMATICMODELTRANSFORMATIONASARESULT,WEOBTAINMOREACCURATETIMINGBEHAVIOURSIMULATIONS,CONSIDERINGNOTONLYTHEREALTIMESOFTWARE,BUTALSOTHEHARDWAREARCHITECTURESIMPACTONTHECONTROLPERFORMANCEWESHOWANEXAMPLEWITHDIFFERENTMODELEVALUATIONRESULTSCOMPAREDTOREALIMPLEMENTATIONMEASUREMENTS,WHICHCLEARLYDEMONSTRATESTHEBENEFITSOFOURAPPROACH2011ELSEVIERBVALLRIGHTSRESERVEDKEYWORDSMODELING,MODELTRANSFORMATIONS,EMBEDDEDCONTROLSYSTEMSDESIGN,REALTIMESYSTEMS1INTRODUCTIONEMBEDDEDCONTROLSYSTEMSECSSAREUBIQUITOUSNOWADAYSTHEYAREUSEDINABROADSPECTRUMOFAPPLICATIONS,FROMSIMPLETEMPERATURECONTROLINHOUSEHOLDAPPLIANCESTOCOMPLEXANDSAFETYCRITICALAUTOMOTIVEBRAKESYSTEMSORAIRCRAFTFLIGHTCONTROLSYSTEMSDIFFERENTAPPLICATIONSHAVEDIFFERENTDEMANDSWITHREGARDSTOTHEREALTIMEEXECUTION,CONTROLPERFORMANCE,ENERGYCONSUMPTION,PRICE,ETC,OFTHEECSBEINGUSEDMODERNTECHNOLOGIESFORHARDWAREHWANDSOFTWARESWDESIGNPROVIDEAVARIETYOFPOSSIBILITIESFORDESIGNINGECSSEG,DISTRIBUTEDANDNETWORKEDHW,MULTIPROCESSORSYSTEMS,AVARIETYOFSWCONTROLALGORITHMSANDREALTIMEOPERATINGSYSTEMSRTOSS,ETC1ITISCOMMONLYACKNOWLEDGEDTHATTHEDESIGNINGANDVERIFYINGOFRELIABLEANDEFFICIENTECSSFORAPARTICULARAPPLICATIONARECHALLENGINGTASKS11TRADITIONALCONTROLSYSTEMDESIGNTHEAIMOFDESIGNINGANECSISTOBUILDACOMPUTINGSYSTEMTHATISABLETOCONTROLTHEBEHAVIOROFAPHYSICALSYSTEM,EG,APLANTSUCHAPLANTISMADEUPOFINTERCONNECTEDMECHANICAL,ELECTRICALAND/ORCHEMICALELEMENTSATYPICALECSCONSISTSOFELECTRONICSENSORSFORDATAACQUISITIONFROMTHEPLANT,ACOMPUTINGSYSTEMFORPROCESSINGTHECONTROLALGORITHM,ANDELECTRONICACTUATORSTODRIVETHEPLANTTHEECSDESIGNPROCESSINVOLVESDIFFERENTACTORSANDAREASOFEXPERTISECONTROLTHEORY,SIGNALPROCESSING,REALTIMESWANDHWENGINEERSEACHOFTHESEENGINEERSISFAMILIARWITHTHEIROWNMODELINGLANGUAGES,MODELS,DESIGNTOOLS,ETCTHISHETEROGENEITYINTRODUCESCUTSINTHEDESIGNPROCESSMODELTRANSFORMATIONSARENEEDEDBETWEENEACHDESIGNSTEPHOWEVER,THEYAREOFTENCARRIEDOUTMANUALLYAND,ASARESULT,AREPRONETOMISTAKESANDSUBJECTTOINTERPRETATION,WHICHOFCOURSEDEPENDSONTHESKILLOFTHEDESIGNERTHETRADITIONALFORMOFECSDESIGNISPERFORMEDINTWOSEPARATEDDOMAINSTHECONTROLSWDOMAINANDTHEHWDOMAINUSINGSPECIFICDESIGNTOOLSANDTHEIRRESPECTIVESYSTEMMODELSINTHEFIRSTDOMAIN,CONTROLENGINEERSDEFINETHECONTROLLAWSANDTHESWENGINEERSWRITETHECODETHATEXECUTESTHEOPERATIONSREQUIREDBYTHECONTROLLAWSASOCALLEDCONTROLSCHEDULINGCODESIGNISPERFORMEDDECISIONSMADEINTHEREALTIMERTSOFTWAREDESIGNAFFECTTHECONTROLDESIGN,ANDVICEVERSAFORINSTANCE,DIFFERENTSWSCHEDULINGPOLICIESHAVEDIFFERENTIMPACTSONTHELATENCYDISTRIBUTIONSINTHECONTROLLOOPSAND,CONSEQUENTLY,ONTHEIRPERFORMANCEALSO,THECONTROLLOOPPERFORMANCEDIRECTLYAFFECTSBYCONSTRAININGTHESWEXECUTIONPARAMETERSIE,SAMPLINGPERIODS,TASKEXECUTIONJITTER,ETCINTHESECONDDOMAINTHEHWENGINEERSDESIGNANHWPLATFORMTHATWILLEXECUTETHECONTROLSWTHECONNECTIONSOFALLTHESENSORSANDACTUATORSTOTHEPLATFORMAREMADEVIATHEAVAILABLECOMMUNICATIONCHANNELSHOWEVER,BECAUSETHEHWPLATFORMISDESIGNEDSEPARATELY,CONTROLENGINEERSCANNOTESTIMATEITSIMPACTONTHECONTROLLOOPPERFORMANCEFORINSTANCE,THEDATAFROMSENSORSANDTOACTUATORSCANPASSTHROUGHONEORMORECOMMUNICATIONCHANNELSAHWENGINEERCAN,INGENERAL,CHOOSEFROMAMONGAVARIETYOFCOMMUNICATIONPROTOCOLS,ANDEACHTYPEINTRODUCESDIFFERENTLATENCIESANDJITTER,WHICHTHEREFOREAFFECTSTHESWEXECUTIONTHECONTROLENGINEERCANNOT,HOWEVER,EVALUATETHEEFFECTOFTHESELATENCIESBEFORETHESYSTEMISACTUALLYIMPLEMENTEDHENCE,THEDESIREDPERFORMANCEOFTHESYSTEMMAYNOTBEACHIEVED,ANDITISNECESSARYTOCHANGEANDTUNETHECONTROLLAWSCALIBRATIONPHASEINORDERTOCOMPENSATEFORTHEIMPACTOFTHESECOMMUNICATIONANDEXECUTIONDELAYSTHEFACTTHATTHECALIBRATIONHASTOBEPERFORMEDONANACTUALPLANTCANBEVERYEXPENSIVEANDTIMECONSUMING,ESPECIALLYWHENTHEDESIREDPERFORMANCECANNOTBEACHIEVEDUSINGTHECURRENTHWPLATFORMANDAREDESIGNISREQUIREDANOTHERSHORTCOMINGOFTRADITIONALECSDESIGNISTHEINABILITYOFCONTROLANDSWENGINEERSTOEXPLOITSOMEOFTHEADVANTAGESOFFEREDBYMODERNHWTECHNOLOGIESFORINSTANCE,CONTROLLOOPSRUNNINGINPARALLEL,INSTEADOFTHETRADITIONALSEQUENTIALEXECUTION,COULDGIVEBETTERPERFORMANCEPARALLELEXECUTIONCANBEACHIEVEDWITHTHEUSEOFMULTIPROCESSORORDISTRIBUTEDPLATFORMSMODERNECSDESIGNTECHNIQUESRELYHEAVILYONSYSTEMMODELING,WHICHPROVIDESAMEANSTOEXAMINEHOWVARIOUSCOMPONENTSWORKTOGETHERANDTOESTIMATETHEIMPACTOFTHEECSSIMPLEMENTATIONONCONTROLPERFORMANCEBEFOREITISACTUALLYIMPLEMENTEDTHISMAKESITPOSSIBLETOCORRECTTHEINITIALCONTROLLAWSINORDERTOCOMPENSATEFORTHEIMPLEMENTATIONIMPACTSEARLYINTHEDESIGNCYCLEANOTHERIMPORTANTASPECTOFMODELINGISTHEABILITYTOEXPLOREDIFFERENTPOSSIBLESYSTEMIMPLEMENTATIONSDESIGNSPACEEXPLORATIONAPPROPRIATEMODELINGCANSIGNIFICANTLYSHORTENTHEDESIGNCYCLEOFANECS2TOOVERCOMETHEPROBLEMSINTRODUCEDBYTHEHETEROGENEITYOFDESIGNMODELSANDTOOLS,DIFFERENTMETHODOLOGIESANDTOOLSWEREDEVELOPED3THESEMETHODOLOGIESUSUALLYPROVIDEAMEANSTOCREATEAUNIFORMECSMODEL,SIMULATEANDEVALUATEITSBEHAVIOR,FORMALLYTRANSFORMITTOWARDSANIMPLEMENTATION,ETC12PROPOSEDCONTROLSYSTEMDESIGNTOIMPROVEANDACCELERATETHETRADITIONALECSDESIGNWEPROPOSETHEMERGINGOFTHESESEPARATEDDOMAINSONTHEBASISOFTHISMERGING,ALLTHEACTORSINTHEDESIGNPROCESSCOULDBETTERCOLLABORATEANDEXCHANGETHEIRDATADURINGTHEDESIGNPROCESS,THEYCOULDDOAMORETHOROUGHDESIGNSPACEEXPLORATIONANDTHEDESIGNCYCLECOULDBEMADESIGNIFICANTLYSHORTERINSTEADOFDEVELOPINGANEWMETHODOLOGYFORECSDESIGN,WEPROPOSETOUPGRADETHETRADITIONALSWBASEDCONTROLSYSTEMDESIGNAPPROACHWITHEFFICIENTMODELINGANDDESIGNOFTHEHWPLATFORMSRECENTLY,SEVERALMETHODOLOGIESHAVEBEENDEVELOPEDTHATCONCERNHW/SWCODESIGNTHESEMETHODOLOGIESENABLETHEEFFICIENTDESIGNOFSWANDHWONEMBEDDEDSYSTEMSINTERMSOFSWEXECUTIONSPEED,HWRESOURCESUSAGE,SYSTEMFLEXIBILITY,FUTUREUPGRADEABILITY,FINALDESIGNCOSTS,ETCWEPROPOSECREATINGAFORMALBRIDGEBETWEENTHEEXISTINGTOOLSFORCONTROLSCHEDULINGCODESIGNANDHW/SWCODESIGNTHISBRIDGEMAKESPOSSIBLEMODELTRANSFORMATIONSANDTHEEXCHANGEOFSIMULATIONRESULTSBETWEENTOOLSFORCONTROLSCHEDULINGCODESIGNANDHW/SWCODESIGNTHEBRIDGEISBASEDONAFORMALTRANSFORMATIONOFMODELSBETWEENDIFFERENTDESIGNTOOLSOURFOUNDATIONFORTHECONTROLSCHEDULINGCODESIGNMETHODOLOGYISWORKPRESENTEDIN4ANDITSASSOCIATEDTOOL,MODEST,WHICHISPRESENTEDIN5FORTHEPURPOSEOFHW/SWCODESIGNWEHAVESELECTEDTHEMETHODOLOGYPRESENTEDIN6WITHITSASSOCIATEDABSTRACTSYSTEMMODELINGTOOL,ASYMOD,WHICHISPRESENTEDIN7WITHTHEBRIDGEWEAREABLETOOBTAINMOREACCURATECONTROLPERFORMANCEEVALUATIONSCONSIDERINGARCHITECTURALDETAILSANDEVENTHEPOSSIBILITYTOSTUDYMIXEDHW/SWIMPLEMENTATIONSOFTHECONTROLSYSTEMEVALUATINGTHEIMPACTOFIMPLEMENTATIONINTHEEARLYDESIGNSTAGESREDUCESTHENUMBEROFDESIGNLIFECYCLEITERATIONSANDSHORTENSTHETIMENEEDEDFORAFINALCALIBRATIONOFTHECONTROLLAWSINTHENEXTSECTIONWEPRESENTTHERELATEDMETHODOLOGIES,FOLLOWEDBYSHORTDESCRIPTIONSOFTHEMODESTANDASYMODTOOLSANDTHEIRMETAMODELSINSECTION3WEDESCRIBETHEFORMALRULESFORMODELTRANSFORMATIONANDTHEIMPLEMENTATIONOFTHEBRIDGEINSECTION4,TWOEXAMPLESOFANEMBEDDEDCONTROLLERAREPRESENTEDBYCOMPARINGSIMULATIONRESULTSTOMEASUREMENTSONAREALIMPLEMENTEDSYSTEM,WESHOWTHEBENEFITSOFOURAPPROACHFINALLY,THEPAPERISCONCLUDEDINSECTION513RELATEDMETHODOLOGIESANDTOOLSTHEINCREASINGNEEDTOOPTIMIZEECSSINTERMSOFTHEIRCONTROLPERFORMANCE,RTCONSTRAINTSANDCOSTEFFICIENCYHASLEDTOLIMITEDCOMPUTATIONALRESOURCESCOMBINEDWITHTHEIREFFICIENTEXPLOITATIONANDHAS,ASACONSEQUENCE,ENCOURAGEDTHEEMERGENCEOFNEWRESEARCHAREASDOMAINSPECIFICTOOLSFORCONTROLSCHEDULINGCODESIGNHAVEBEENDEVELOPEDRECENTLYTHESETOOLSSUPPORTIMPLEMENTATIONMODELINGANDANALYSISINTERMSOFCONTROLPERFORMANCESEVERALOFTHETOOLSAREBASEDONMATLAB,WHICHISTRADITIONALLYUSEDBYCONTROLENGINEERSFORTHEDESIGNOFCONTROLLAWSTHEAIDA8TOOLSETISAMODELBASEDENVIRONMENTFORTHEDESIGNANDANALYSISOFCONTROLSYSTEMS,USEDEITHERINSTANDALONEFORMORWITHMATLABTHETOOLSETSUPPORTSTHEMODELINGOFCONTROLFUNCTIONEXECUTIONONDISTRIBUTEDHWCOMPONENTSCONTAININGMULTIPROCESSORSANDCOMMUNICATIONSLINKSTHEEFFECTSOFTHECONTROLALGORITHMSIMPLEMENTATIONONCONTROLPERFORMANCECANBEANALYZEDJITTERBUG9ISAMATLABBASEDANALYSISTOOLFORCOMPUTINGAQUADRATICPERFORMANCECRITERIONINLINEARCONTROLSYSTEMSUNDERVARIOUSTIMINGCONDITIONSUSINGJITTERBUG,THESENSITIVITYOFCONTROLSYSTEMSTODELAYS,JITTERANDOTHERINTERFERENCESCANBESTUDIEDTHEEFFECTSOFDIFFERENTSWIMPLEMENTATIONSONCONTROLPERFORMANCECANBEANALYZEDTRUETIME10ISASIMULATORINMATLAB/SIMULINKDESIGNEDFORTHECOSIMULATIONOFTHEDISTRIBUTEDCONTROLLERSTASKEXECUTIONONSEVERALRTKERNELS,NETWORKTRANSMISSIONS,ANDCONTINUOUSPLANTDYNAMICSITPROVIDESACONTROLPERFORMANCEANALYSISOFDISTRIBUTEDRTCOMPUTERBASEDCONTROLSYSTEMS,CONSIDERINGTHEEFFECTSOFPROCESSORSANDNETWORKSCHEDULING,TASKATTRIBUTES,THEIRDATADEPENDENCY,ETCTRUETIMEANDJITTERBUGCANBEUSEDTOGETHERTOEVALUATETHEPERFORMANCEOFVARIOUSCONTROLLOOPIMPLEMENTATIONS11RECENTLYANESMOL12TOOLCHAINHASBEENDEVELOPEDITINCORPORATESAPROTOTYPESCHEDULINGTOOLWHICHCALCULATESSCHEDULESFORTIMETRIGGEREDNETWORKSINDISTRIBUTEDEMBEDDEDSYSTEMSTHEESMOLCANBEUSEDTOGETHERWITHTHETRUETIMEINORDERTOASSESPLATFORMEFFECTSTOCOMPUTEDSCHEDULEANDTOCONTROLPERFORMANCETHERESEARCHACTIVITIESFOCUSEDONSOFTWAREDESIGNFORDISTRIBUTEDREALTIMEEMBEDDEDSYSTEMSLEADTODEVELOPMENTSEVERALTOOLSANDLANGUAGESTIMINGDEFINITIONLANGUAGETDLISAHIGHLEVELDESCRIPTIONLANGUAGEFORSPECIFYINGTHEEXPLICITTIMINGREQUIREMENTSOFATIMETRIGGEREDAPPLICATION,WHICHMAYBECONSTRUCTEDOUTOFSEVERALCOMPONENTSITPROMOTESTHEIDEATHATTHEFUNCTIONALANDTEMPORALBEHAVIOROFDEVELOPEDSOFTWARESHOULDBEPLATFORMINDEPENDENTTHISREDUCESCOSTSOFSYSTEMINTEGRATION,VALIDATIONANDMAINTENANCEANAUTOMATICBUSSCHEDULEGENERATIONFORMESSAGESOVERNETWORKTOPOLOGYISPRESENTEDIN13ANAPPROACHTOOPTIMIZESOFTWARECOMPONENTALLOCATIONSYSTEMSONDISTRIBUTEDREALTIMEEMBEDDEDSYSTEMSISEXPLAINEDIN14AUTHORSPROVIDEBINPACKINGALGORITHMFORDEPLOYMENTANDCONFIGURATIONOFCOMPONENTSINORDERTOMEETTHEIRREQUIREDQUALITYOFSERVICEQOSPROPERTIES,SUCHASPREDICTABLELATENCY/JITTER,THROUGHPUTGUARANTEES,SCALABILITYETCCHEDDARTOOLISDESIGNEDFORSOFTWARETASKSCHEDULINGSIMULATIONANDFEASIBILITYANALYSISOFSYSTEMSDESCRIBEDWITHARCHITECTUREANALYSISTHISRAISESTHEEMBEDDEDSYSTEMDESIGNPROCESSFROMACLASSICALCODEORIENTEDDEVELOPMENTTOAMODELDRIVENDEVELOPMENTWITHAUTOMATICCODEGENERATIONTHETOOLRELIESONAPROPOSEDMETAMODELABLETOCAPTURETHETHREEFACETDESCRIPTIONSBYDEFININGAUNIFIEDTERMINOLOGYANDSEMANTICSTOSHARETHEINFORMATIONWITHOUTHAVINGTODUPLICATEITTHUS,ITENSURESCONSISTENCYBETWEENTHEMODELSUSEDINEACHDESIGNSTEPBYCARRYINGOUTMODELTRANSFORMATIONSANDRECONCILIATIONBETWEENTHEFACETSEACHCHANGEINTHEFACETDESCRIPTIONISAUTOMATICALLYRELAYEDTOANOTHERONETHETOOLPROVIDESFACILITIESFORSCHEDULINGANALYSISANDSIMULATIONASWELLASCODEGENERATIONFORMULTIPLETARGETSITINCLUDESANRTBEHAVIORANALYSISMODULETOCHECKTHESCHEDULINGFEASIBILITYRATEMONOTONICRM,DEADLINEMONOTONICDM,EARLIESTDEADLINEFIRSTEDF,ETCITISALSOABLETOSIMULATEANDDISPLAY,ASACHRONOGRAMCHART,THEEXECUTIONOFTASKSTHECODEGENERATIONANDPROFILINGMODULE,WHICHGENERATESTHESOURCECODESFORTHEMULTIPLERTKERNELSRTAI32,DSPBIOS33ANDREALTIMEJAVAANDCAPTURESAREALTEMPORALEXECUTIONTRACE,HASALSOBEENIMPLEMENTEDTHEMODESTTOOLALSOPROVIDESATIMINGMEASUREMODULETHATPERFORMSLATENCY,DELAYANDJITTERMEASUREMENTSONTASKEXECUTIONTHISTEMPORALINFORMATIONCANBEUSEDINHYBRIDSIMULATIONSINORDERTOESTIMATETHELOSSOFCONTROLPERFORMANCE211METAMODELOFTHEMODESTIMPLEMENTATIONFACETTHEBRIDGEBETWEENTHEMODESTANDASYMODTOOLSISBASEDONRULESDEFININGTHETRANSFORMATIONSBETWEENASUBSETOFTHEMODESTMETAMODELIMPLEMENTATIONFACETPARTANDTHEASYMODMETAMODELSINCETHEGOALOFTHEPAPERISTODESCRIBETHEBRIDGE,WEWILLNOTPRESENTDETAILSOFTHEWHOLEMODESTMETAMODELBUTONLYOFTHESUBSETRELEVANTTOTHEIMPLEMENTATIONFACETFORTHESAKEOFSIMPLICITY,WESHALLTERMITTHEMODESTMETAMODELASNIPPETOFTHEMETAMODELISPRESENTEDINFIG2TODEFINETHEMETAMODEL,WEUSEAGRAPHNOTATIONADATAFLOWGRAPHDFGISADIRECTEDGRAPHTHATREPRESENTSTHEDATADEPENDENCIESBETWEENTHENUMBERSOFEDGESREPRESENTTHEDATAPATHSTHEMULTIPERIODDATAFLOWGRAPHMPDFGISADFGEXTENDEDWITHINFORMATIONABOUTTHERTEXECUTIONCONSTRAINTSOFTHEDATAOPERATIONSANMPDFGISATYPEOFDIRECTEDACYCLICGRAPHDAGINTHEMODESTTOOL,AMPDFGMIC,C,TM,RISUSEDTOREPRESENTTHEIMPLEMENTATIONFACETOFEMBEDDEDSYSTEMS,WHEREICICOMP1,ICOMPNISASETOFIMPLEMENTATIONCOMPONENTSICOMPS,CC1,CMISASETOFCOMMUNICATIONSBETWEENTHEIMPLEMENTATIONCOMPONENTS,TMTM1,TMOISASETOFTASKSANDRDEFINESTHETASKSCHEDULERICOMPSREPRESENTTHENODESINTHEMPDFGANDCOMMUNICATIONREPRESENTSTHEEDGESBETWEENTHENODESICOMPISAMATHEMATICALFUNCTIONTHATCOMPUTESTHEOUTPUTSFROMTHEINPUTSICOMPCANBEPRESENTEDASATUPLEICOMPNOK,OL,IO,IP,WHEREOK,OLISALISTOFALLITSOUTPUTSANDIO,IPISALISTOFALLITSINPUTSTHESETSIMANDOMARETHESETSOFALLTHEINPUTSANDALLTHEOUTPUTSOFALLTHEICOMPSINTHEMODELMTHESHAREDVARIABLESAREREPRESENTEDASCOMMUNICATIONCOMMUNICATIONISADATATRANSFERBETWEENTHEOUTPUTANDTHEINPUTOFTWODISTINCTICOMPSACOMMUNICATIONISNOTEDASCNOK,IL,TYPE,WHEREOKOMISTHEPRODUCEROFTHEDATA,ILIMISTHECONSUMEROFTHEDATAANDTYPEDEFINESTHEDATATYPEEACHCOMMUNICATIONCANTRANSFERONLYONEDATATYPE,WHICHCANBECHOSENFROMASETOFPREDEFINEDTYPESCHAR,INTEGER,FLOAT,DOUBLETHETASKSADDRTEXECUTIONCONSTRAINTSFORPERIODICITY,DEADLINESANDPRIORITIESTOASETOFICOMPSTHEEXECUTIONOFTASKSINMODESTISTIMETRIGGERED,WITHEACHTASKDEFININGAPARTITIONOFICOMPSICTASKCANBEEXPRESSEDASTHEQUINTUPLETMNPMN,T0MN,DMN,LMN,SEQMN,WHEREPMNISTHETASKPERIOD,T0MNISTHESTARTTIMEOFFSET,DMNISTHETASKDEADLINE,LMNISTHETASKPRIORITYANDSEQMNICOMPQ,ICOMPRISANORDEREDSEQUENCETHATDEFINESTHEEXECUTIONSEQUENCEOFICOMPSTHATSHOULDBEEXECUTEDWHENTHETASKISCALLEDATARUNTIMETHETASKSCHEDULERISDEFINEDWITHTHEPAIRRSCHM,PREM,WHERESCHMDEFINESTHESCHEDULINGALGORITHMTYPEFROMAPREDEFINEDSETOFALGORITHMSRM,DM,EDFANDTHEBOOLEANPREMDEFINESWHETHERTHETASKEXECUTIONSCANBEPREEMPTED22ASYMODTOOLTHEABSTRACTSYSTEMLEVELMODELLINGASYMODTOOLISAREPRESENTATIVEOFTHEHW/SWCODESIGNTOOLSITISUSEDINTHEEVALUATIONOFEMBEDDEDSYSTEMSDURINGTHEEARLYSTAGESOFTHEDESIGNPROCESSINTERMSOFTHECONSUMPTIONOFMATERIALRESOURCESMEMORY,BUS,PROCESSORS,FPGA,ETCANDTHEDURATIONOFTHERTTASKEXECUTIONSITPROVIDESAUNIFORMMODELLINGFRAMEWORKFORTHEHWANDSWCOMPONENTSDESCRIBEDATAHIGHLEVELOFABSTRACTIONTHEMODELLINGFOLLOWSRULESDEFINEDINTHEASYMODMETAMODELTHEASYMODISCONSTRUCTEDOFTHREEMAJORPARTSTHEFIRSTPARTISAGRAPHICALMODELLINGINTERFACE7BASEDONAGENERICMODELLINGENVIRONMENTGME34GMEISACONFIGURABLETOOLKITFORCREATINGDOMAINSPECIFICMODELLINGANDPROGRAMSYNTHESISENVIRONMENTSINORDERTOCONFIGURETHEGMETOSERVEASPECIFICDOMAIN,ASUITABLEMETAMODELFORTHEABSTRACTHW/SWCODESIGNISDEFINEDTHISSPECIFICMETAMODELISCONFORMANTWITHTHEGMEMETAMODELLINGLANGUAGE,CALLEDMETAGME,ANDISBASEDONUNIFIEDMODELLINGLANGUAGEUMLCLASSDIAGRAMSANDOBJECTCONSTRAINTLANGUAGEOCLCONSTRAINTSADEFINEDMETAMODELCONTAINSALLTHESYNTACTIC,SEMANTIC,ANDPRESENTATIONINFORMATIONREGARDINGTHEASYMODDOMAINIE,WHICHHWANDSWCONCEPTSCANBEUSEDTOCONSTRUCTMODELS,THERELATIONSHIPSTHATMAYEXISTAMONGTHOSECONCEPTS,HOWTHECONCEPTSMAYBEORGANIZEDANDVIEWEDBYTHEMODELLER,ANDTHERULESGOVERNINGTHECONSTRUCTIONOFMODELS35THESECONDPARTOFASYMODISAMODELINTERPRETERTHATPARSESTHEINFORMATIONFROMTHEGRAPHICALMODELINTOATEXTUALDESCRIPTIONTHEOBTAINEDDESCRIPTIONCOMPLIESWITHTHESIMULATIONKERNELTHISKERNELISTHETHIRDPARTOFTHEASYMODTOOLITISBASEDONAMETHODOLOGYPRESENTEDIN6ANDPROVIDESTHEMEANSFORTHETEMPORALSIMULATIONOFDISTRIBUTEDSYSTEMSONTHESYSTEMLEVELTHESIMULATIONOFTHEMODELPROVIDESTEMPORALINFORMATIONABOUTTHESWTASKEXECUTIONS,THEHWRESOURCEUSAGE,THECONTENTIONSONTHECOMMUNICATIONDEVICESANDTHEIRIMPACTONTHETASKEXECUTIONSTHERESULTSARESUMMARIZEDINAHWRESOURCEUTILIZATIONTABLEANDSTATISTICALINFORMATIONABOUTTHEEXECUTIONTIMEDELAYS,JITTERFOREACHTASKBASEDONTHISINFORMATION,THEDESIGNERSCANSEEHOWTHEHWANDSWCOMPONENTSINTERACTANDIDENTIFYEVENTUALBOTTLENECKSINTHESYSTEMTHEASYMODTOOLCANEVALUATESEVERALDIFFERENTHWARCHITECTURESANDSWIMPLEMENTATIONSAGAINSTTHEDESIGNCONSTRAINTSITENABLESQUICKANDEFFICIENTDESIGNSPACEEXPLORATIONINTHEEARLYSTAGESOFTHEDESIGNPROCESSTHETOOLCANBEUSEDASINSTANDALONEFORMORINCORPORATEDINTOTHESYSTEMDESIGNTOOLCHAINBYMEANSOFIMPORTINGANABSTRACTSYSTEMMODELANDEXPORTINGTHEMODELEVALUATIONRESULTSINTHEXMLEXTENSIBLEMARKUPLANGUAGEFORMAT221ASYMODMETAMODELEMBEDDEDSYSTEMSINASYMODAREPRESENTEDINTHREEASPECTSSWFUNCTIONALITY,HWARCHITECTURE,ANDMAPPINGEACHOFTHESEASPECTSISDEFINEDBYTHEASYMODMETAMODELANDEACHASPECTCANBEREPRESENTEDBYASUITABLEGRAPHASIMPLIFIEDMETAMODELISPRESENTEDINFIG3THEELEMENTSVISIBLEINEACHASPECTAREDENOTEDWITHDASHEDLINESANEVENTFLOWGRAPHEFGISADIRECTEDGRAPHTHATREPRESENTSANEVENTDEPENDENCYBETWEENTHEELEMENTS,WHERETHEGRAPHNODESREPRESENTEVENTDEPENDENTELEMENTSANDTHEGRAPHEDGESREPRESENTEVENTPATHSTHENODESCANPRODUCEANDCONSUMEEVENTSANARCHITECTUREGRAPHAGISAGRAPHTHATREPRESENTSABASICARCHITECTURALTOPOLOGYANDWHERETHEGRAPHNODESREPRESENTARCHITECTURALCOMPONENTSANDTHEEDGESREPRESENTCONNECTIONSBETWEENTHEARCHITECTURALCOMPONENTSAMAPPINGGRAPHMGISADIRECTEDGRAPHTHATDEFINESWHICHFUNCTIONALITYWILLBEEXECUTEDONAPARTICULARARCHITECTURALCOMPONENTMODELAINASYMODCANBEPRESENTEDASASETAFG,AG,MG,WHEREFGISANEFGTHATREPRESENTSTHESWFUNCTIONALITYASPECTOFTHEASYMODMODEL,AGISANAGTHATREPRESENTSTHEHWARCHITECTUREASPECTOFTHEASYMODMODELANDMGISANMGTHATREPRESENTSTHEMAPPINGASPECTOFTHEASYMODMODEL222EVENTFLOWGRAPHINASYMODINASYMODTHESWMODELISPRESENTEDWITHINTHEFUNCTIONALITYASPECTWITHANEFGGRAPHTHEEFGFGCANBEEXPRESSEDASATRIPLEFGS,TA,XS,WHERESSA1,SANISASETOFPERIODICEVENTGENERATORSPEG,TATA1,TANISASETOFTASKSANDXSXS1,XSNISASETOFCONNECTIONSTHATDEFINETHEEVENTFLOWTHETASKSANDPEGSREPRESENTTHENODESOFTHEEFGANDTHECONNECTIONSREPRESENTITSEDGESPEGSPERIODICALLYGENERATEEVENTSANDTHEYCANBEEXPRESSEDWITHTHEPAIRSANSTAN,SDAN,WHERESTANDEFINESTHEPERIODOFEVENTSANDSDANISTHEINITIALDELAYOFTHEFIRSTEVENTPEGSCANALSOBEUSEDFORGENERATINGONETIMEEVENTSINTHISCASE,AVERYLONGPERIODSTANSHOULDBESETBEYONDTHETOTALSIMULATIONTIMEANDTHEDELAYSDANISUSEDTODEFINEWHENANEVENTSHOULDBEGENERATEDTHEASYMODTASKSAREEVENTTRIGGEREDTASKSANASYMODTASKISCOMPOSEDOFADESCRIPTIONOFTHEHWRESOURCEUSAGEFORAPARTICULARPIECEOFTHECODEANDRTEXECUTIONCONSTRAINTSFORTHEDEADLINEANDPRIORITYTHETASKCANBEEXPRESSEDWITHATRIPLETANDAN,LAN,BAN,WHEREDANISTHETASKDEADLINE,LANISTHETASKPRIORITYANDTHEBOOLEANBANDEFINESWHETHERTHESCHEDULERSHOULDBECALLEDATTHEENDOFTHETASKEXECUTIONTHISISDISCUSSEDINMOREDETAILINSUBSECTION311WITHAGUIDELINEVTHETASKEXECUTIONCANBEGINIFTHETASKISTRIGGEREDWITHANEVENTANDIFTHESCHEDULER,BASEDONTHESCHEDULINGPOLICYANDTASKRTEXECUT
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024入股的合作协议书范文
- 陕西省2023-2024学年高一下学期3月联考物理试题
- 江西五市九校协作体2024届高三年级上册第一次联考生物试卷及答案
- 大象版科学《2 难忘的科学探究过程》课件2
- 2023-2024学年四年级数学下册第四单元素养达标卷
- 2024公司股权投资合作协议范本大全
- 2024一口价建筑成本合同范围
- 福建省龙岩市永定区金丰片2021-2022学年中考数学全真模拟试题含解析
- 2024会计咨询服务协议书范本
- 2024年影视出品合作协议书
- Q∕GDW 11514-2021 变电站智能机器人巡检系统检测规范
- 广州万菱汇案列研究
- 2007 年全国高校俄语专业四级水平测试试卷
- 生活饮用水卫生规范2001
- 运动控制系统思考题参考答案阮毅
- 常用建筑材料图例整理
- 电缆沟工程施工方法及技术措施
- 渡槽纵向结构设计案例
- 四肢骨折现场急救
- 中小企业划型标准规定(表格版)
- 冀中平原深层地下水的开发与利用
评论
0/150
提交评论