已阅读5页,还剩72页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
单片机类毕业论文设计英文资料翻译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,BASEDONTHESCHEDULINGPOLICYANDTA
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2023年冀教版七年级生物上册期末考试卷及答案【各版本】
- 2022年部编人教版八年级数学上册期末考试题
- 2023年苏教版九年级生物(上册)期末试卷及答案(各版本)
- CHT 9017-2012 三维地理信息模型数据库规范
- 三年级上册语文期末考试卷及答案【1套】
- 2022年二年级语文上册期末考试及答案1套
- 2022-2023年人教版八年级数学下册期中试卷及参考答案
- 2023年八年级生物上册期末测试卷及答案【完美版】
- 初中七年级地理上册期末考试题及答案【一套】
- 部编人教版六年级上册语文期末考试【附答案】
- 走进民航智慧树知到期末考试答案章节答案2024年中国民航大学
- 电力讲安全课件
- 元宇宙技术与应用智慧树知到期末考试答案2024年
- 项目四任务一《三股辫我会编》(课件)浙教版二年级下册综合实践活动
- 全球及中国光电材料行业市场现状供需分析及市场深度研究发展前景及规划可行性分析研究报告(2024-2030)
- 美发师:初级美发师考试题三
- 新质生产力课件
- 公司廉洁从业反腐倡廉培训课件
- 中国金融机构从业人员犯罪问题研究白皮书
- 多特瑞精油使用集
- catia vba二次开发入门与提高
评论
0/150
提交评论