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

頁數(shù)：31頁

時(shí)間：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》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、SoftwSystModelDOI10.1007/s10270-017-0579-8THEMESECTIONPAPERSupportingtiminganalysisofvehicularembeddedsystemsthroughthere?nementoftimingconstraintsSaadMubeen1·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-lengesthatareconcernedwiththeunambiguousre?nementbaseddevelopment·Timingmodel·Componentmodel·oft

4、imingrequirements,constraintsandothertiminginfor-End-to-endtiminganalysismationamongvariousabstractionlevels.Suchinformationisrequiredbytheend-to-endtiminganalysisenginestoprovidepre-run-timeveri?cationaboutthepredictabilityofthese1Extendedversionsystems.Thepaperpr

5、oposesanapproachtorepresentandre?nesuchinformationamongvariousabstractionlevels.AsThispaperextendsourpreviouswork[1]wherewehaveaproofofconcept,theapproachprovidesarepresentationofdiscussedthere?nementoftwoend-to-enddelayconstraintsthetiminginformationatthehigherlev

6、elsusingthemodelsfromhighertolowerabstractionlevelsduringmodel-andthataredevelopedwithEAST-ADLandTimingAugmentedcomponent-baseddevelopmentofvehicularembeddedsys-DescriptionLanguage.Theapproachthenre?nesthetimingtems.Asaproofofconcept,wehaveselectedtheTiminginformat

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

8、heRubusComponentModeli?edatthehigherlevels,suchastriggerpathsindistributed(RCM)[3]whichisalreadyusedinthevehicleindustryforthedevelopmentofcontro

當(dāng)前文檔最多預(yù)覽五頁，下載文檔查看全文

此文檔下載收益歸作者所有

當(dāng)前文檔最多預(yù)覽五頁，下載文檔查看全文
溫馨提示：
1. 部分包含數(shù)學(xué)公式或PPT動(dòng)畫的文件，查看預(yù)覽時(shí)可能會(huì)顯示錯(cuò)亂或異常，文件下載后無此問題，請(qǐng)放心下載。
2. 本文檔由用戶上傳，版權(quán)歸屬用戶，天天文庫負(fù)責(zé)整理代發(fā)布。如果您對(duì)本文檔版權(quán)有爭(zhēng)議請(qǐng)及時(shí)聯(lián)系客服。
3. 下載前請(qǐng)仔細(xì)閱讀文檔內(nèi)容，確認(rèn)文檔內(nèi)容符合您的需求后進(jìn)行下載，若出現(xiàn)內(nèi)容與標(biāo)題不符可向本站投訴處理。
4. 下載文檔時(shí)可能由于網(wǎng)絡(luò)波動(dòng)等原因無法下載或下載錯(cuò)誤，付費(fèi)完成后未能成功下載的用戶請(qǐng)聯(lián)系客服處理。