




已阅读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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025咨询工程师自我提分评估含答案详解【A卷】
- 应急安全培训致辞稿件课件
- 打包站转让合同(标准版)
- 农村折屋合同(标准版)
- 国外的进口合同(标准版)
- 2024-2025学年度制冷与空调作业能力检测试卷及完整答案详解(典优)
- 2025自考专业(金融)全真模拟模拟题重点附答案详解
- 中班美术教案《漂亮的大鱼》反思
- 2025年智慧生态公园规划初步设计评估与实施策略报告
- 2025年模具行业数字化设计仿真技术应用行业创新与挑战报告001
- 《婴幼儿常见病识别与预防》高职早期教育专业全套教学课件
- 贸易安全培训管理制度
- 消防救援队伍灭火救援作战训练安全专题授课
- 公安审讯技巧培训
- GB/T 24477-2025适用于残障人员的电梯附加要求
- 出纳基础知识单选题100道及答案
- 高校辅导员安全培训
- 智慧树知到《伦理与礼仪(武汉科技大学)》2025章节测试答案
- 医院空调清洗保养流程规范
- 《人体解剖学(第二版)》高职全套教学课件
- 中职高教版(2023)语文职业模块-第一单元1.2宁夏闽宁镇:昔日干沙滩今日金沙滩【课件】
评论
0/150
提交评论