基于调度机调度并发执行任务边界模型检测-boundary model detection of concurrent execution task based on dispatcher scheduling.docxVIP

下载本文档

25
0
约7.45万字
约 56页
2018-05-20 发布于上海
举报

基于调度机调度并发执行任务边界模型检测-boundary model detection of concurrent execution task based on dispatcher scheduling.docx

基于调度机调度并发执行任务边界模型检测-boundary model detection of concurrent execution task based on dispatcher scheduling

Inourarticle,weproposeanapproachtocheckthesafetypropertyofmulti-tasksoftwareinwhichtasksaredispatchedbyfixedpriorityscheduler(FPS)basedonOSEK/VDXOS.Inordertoaccomplishourresearchpurpose,firstly,weanalyzethedispatchingbehaviorsofFPSbasedonOSEK/VDXOS,andthenweuseanextendedfinitestatemachinetoestablishamodelforFPSanddescribetasks’behaviors.Especially,ourFPSmodelcanrespondtothreetypesofservicecommandswhicharesentbytasksinordertorealizetasks’particularrequests,suchasterminatingatask,activatingataskandchainingatask.Furthermore,astoobtaintheexecutionpathsoftasksthataredispatchedbyFPS,weestablishak-st

您可能关注的文档

文档评论（0）

1亿VIP精品文档

更多 >

基于调度机调度并发执行任务边界模型检测-boundary model detection of concurrent execution task based on dispatcher scheduling.docxVIP