返回
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

ID：40351898

大小：6.32 MB

页数：31页

时间：2019-07-31

Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints_第1页
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints_第2页
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints_第3页
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints_第4页
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints_第5页
资源描述：

《Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、SoftwSystModelDOI10.1007/s10270-017-0579-8THEMESECTIONPAPERSupportingtiminganalysisofvehicularembeddedsystemsthroughtherefinementoftimingconstraintsSaadMubeen1·ThomasNolte1·MikaelSjödin1·JohnLundbäck2·Kurt-LennartLundbäck2Received:20March2016/Revised:31December2016/

2、Accepted:10January2017©TheAuthor(s)2017.ThisarticleispublishedwithopenaccessatSpringerlink.comAbstractThecollectiveuseofseveralmodelsandtoolschains.Avehicular-applicationcasestudyisconductedtoatvariousabstractionlevelsandphasesduringthedevelop-showtheapplicabilityo

3、ftheproposedapproach.mentofvehiculardistributedembeddedsystemsposesmanychallenges.Withinthiscontext,thispapertargetsthechal-KeywordsDistributedembeddedsystems·Component-lengesthatareconcernedwiththeunambiguousrefinementbaseddevelopment·Timingmodel·Componentmodel·oft

4、imingrequirements,constraintsandothertiminginfor-End-to-endtiminganalysismationamongvariousabstractionlevels.Suchinformationisrequiredbytheend-to-endtiminganalysisenginestoprovidepre-run-timeverificationaboutthepredictabilityofthese1Extendedversionsystems.Thepaperpr

5、oposesanapproachtorepresentandrefinesuchinformationamongvariousabstractionlevels.AsThispaperextendsourpreviouswork[1]wherewehaveaproofofconcept,theapproachprovidesarepresentationofdiscussedtherefinementoftwoend-to-enddelayconstraintsthetiminginformationatthehigherlev

6、elsusingthemodelsfromhighertolowerabstractionlevelsduringmodel-andthataredevelopedwithEAST-ADLandTimingAugmentedcomponent-baseddevelopmentofvehicularembeddedsys-DescriptionLanguage.Theapproachthenrefinesthetimingtems.Asaproofofconcept,wehaveselectedtheTiminginformat

7、ionforthelowerabstractionlevels.TheapproachAugmentedDescriptionLanguage(TADL2)[2]atthehigherexploitstheRubusComponentModelatthelowerleveltoabstractionlevels,whereasatthelowerlevel(implemen-representthetiminginformationthatcannotbeclearlyspec-tation),wehaveselectedt

8、heRubusComponentModelifiedatthehigherlevels,suchastriggerpathsindistributed(RCM)[3]whichisalreadyusedinthevehicleindustryforthedevelopmentofcontro

当前文档最多预览五页，下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页，下载文档查看全文
温馨提示：
1. 部分包含数学公式或PPT动画的文件，查看预览时可能会显示错乱或异常，文件下载后无此问题，请放心下载。
2. 本文档由用户上传，版权归属用户，天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容，确认文档内容符合您的需求后进行下载，若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误，付费完成后未能成功下载的用户请联系客服处理。