timed sefm面向嵌入式实时控制系统的编程模型 timed sefm programming model for embedded real-time control systems.pdfVIP
- 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
timed sefm面向嵌入式实时控制系统的编程模型 timed sefm programming model for embedded real-time control systems
19
2016,52(10)
ComputerEngineeringandApplications计算机工程与应用
Timed
SEFM:面向嵌入式实时控制系统的编程模型
刘 杰,陈香兰,李晓飞,李 曦
LIU Xi
Jie,CHEN Xiaofei,LI
Xianglan,LI
中国科学技术大学计算机科学与技术学院,合肥230027
and ofScienceand of
Schoolof Science China,Hefei230027,China
Computer Technology,UniversityTechnology
for real·timecontrol
LIU ai.Timed modelembedded
Xiaofei,et sys‘
Jie,CHENXianglan,LI SEFM:programming
and
terns.ComputerEngineeringApplications,2016,52(Io):19—26.
finishtimeofanembeddedreal-timetaskaffectthe behaviorofanembedded
Abstract:Boththefunctionand physical
control modeldealswith with timingsemantics,SO
system.Traditionalprocess/thread timingindirectlypriorities,lacking
thatthefinishtimeofataskisofno hascomewiththe Execution
Time)model,
predictability。Henzingerup LET(Logical
on
whichdescribes coordinate stillbased
semantic,however,it’Sprocess/thread
timingrequirementsclearlyusing timing
model,whichintroduce Servant/Exe—FlowModelandLETmodel.This
may timing·unpredictability。Bycombining paper
todealwith
anew usesrefinedSEFMmodel func—
您可能关注的文档
- supanet基于oam的保护交换研究 research on supanet oam-based protection switching.pdf
- sunmap:一种基于热图和放射环的关联层次数据可视化方法 sunmap:an associated hierarchical data visualization method based on heatmap and sunburst.pdf
- surf算法和ransac算法相结合的遥感图像匹配方法 matching method of remote sensing images based on surf algorithm and ransac algorithm.pdf
- superstar一种可扩展高阶互连拓扑结构 superstar a scalable high-radix topology in high performance interconnection network.pdf
- svm在网络信息内容审计中的研究与应用 research on svm and apply to network information content audit.pdf
- story年度最佳奖.pdf
- sweep曲面自相交的快速检测和消除 trimming sweep surfaces.pdf
- swmrd一个面向互联网的制造资源智能发现系统 swmrd a smart internet-based discovery service system of manufacturing resource.pdf
- swift云存储环境下基于io负载均衡的读取策略 swift cloud storage environment based on io load balanced reading strategies.pdf
- s-粗集与数据挖掘单位圆特征 s-rough sets and characteristics of data mining unit circle.pdf
- tipc透明进程间通信协议研究和应用 research and analysis of transparent inter process communication protocol.pdf
- tm-cam一种高效的容软错误相联存储器 tm-caman efficient soft error tolerant content addressable memory.pdf
- tlwcc一种双层子空间加权协同聚类算法 tlwcc a two-level subspace weighting co-clustering algorithm.pdf
- tkip的实现及其改进算法 implement and improved algorithm of tkip.pdf
- tm一种新的片上网络拓扑结构 tm a new topology for networks-on-chip.pdf
- tnc可信网络架构与元数据存取点研究 research of tnc architecture and map.pdf
- trace生成对大规模并行性能模拟的影响及其改进策略 evaluation of the trace effects in large-scale parallel performance simulation and discussion of some resolutions.pdf
- triz技术系统演进视角的计算机辅助创新软件体系架构 research on architecture design of computer-aided innovation software based on technology system evolution principles of triz.pdf
- t-s模糊广义系统稳定性的一个新判据 a new stabilization conditions for t-s fuzzy descriptor system.pdf
- tta-ec一种基于传输触发体系结构的ecc整体算法处理器 tta-ec a whole algorithm processor for ecc based on transport triggered architecture.pdf
文档评论(0)