预览加载中，请您耐心等待几秒...

AComparisonofExecutableModelBasedApproachesforEmbeddedSystems.pdf

预览
1/7
2/7
3/7
4/7
5/7
6/7
7/7

在线预览结束，喜欢就下载吧，查找使用更方便

下载提示 文本预览

如果您无法下载资料，请参考说明：

1、部分资料下载需要金币，请确保您的账户上有足够的金币

2、已购买过的文档，再次下载不重复扣费

3、资料包下载后请先用软件解压，在使用对应软件打开

AComparisonofExecutableModelBasedApproachesforEmbeddedSystemsJulieStreetFantHassanGomaaRobertG.PettitIVSoftwareSystemsEngineeringDepartmentofComputerScienceFlightSoftwareandEmbeddedDepartmentGeorgeMasonUniversitySystemsOfficeTheAerospaceCorporationFairfax,USATheAerospaceCorporationChantilly,USAChantilly,USAJulie.S.Fant@aero.orghgomaa@gmu.eduRobert.G.Pettit@aero.orgAbstract—DesigningandbuildingembeddedsystemsisaUML-baseddesignmethodforconcurrentandreal-timechallengingproblem.Designersmustensurethatthesoftwaresystems[6],[7].architecturemeetsitsfunctionalrequirementsandalso,sinceThispaperisorganizedasfollows.First,worksrelatedembeddedsystemsoftenhavereal-timeconstraints,meetsitstothispaperarediscussed.Thenabriefoverviewforeachperformancerequirements.Itisusuallydifficulttodetermineoftheexecutablemodelbasedapproachesisdescribed.whetherornottheembeddedsystemdesignswillmeetNext,eachoftheapproachesiscomparedagainstasetoffunctionalandperformancerequirements.Tohelpincreasecomparisonscriteria.Finally,themainconclusionsandconfidenceinembeddedsoftwarearchitectures,designersoftenfutureworkaredescribed.turntoexecutablemodelbasedapproachestoassesstheirsystems.TherearemanydifferentapproachesfordesigningII.RELATEDWORKSandanalyzingreal-timeembeddedsystems.ThispaperisintendedtohelpdesignersintheirchoicebycomparingtwoRelatedworksdiscussedinthissectionaddressexecutabledifferentexecutablemodelbasedapproachesfordesigningandmodelbasedapproachesforreal-timeembeddedsystems,validatingreal-timeembeddedsystems,namelystatemachineswhichallowreal-timedesignstobedynamicallyanalyzedandcoloredPetrinets.Bothapproachesarecomparedusingbeforeimplementation.sevendifferentcomparisoncriteriaandexamplesaregivenOnesetofrelatedworkincludesapproachesforusingfromacruisecontrolsystemcasestudy.executablemodelsforbuildingreal-timeembeddedsystems.ThesepapersdescribehowexecutablemodelscanbeKeywords—UML,statemachines,coloredPetrinets,leveragedtobuildandanalyzereal-timeembeddedsystems.soft