首页> 外文OA文献 >Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol

【2h】

Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol

机译：通过优先上限协议同步的中断驱动程序的静态分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Martin D. Schwarz; Helmut Seidl; Vesal Vojdani; Peter Lammich;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol [J] . Schwarz Martin D., Seidl Helmut, Vojdani Vesal, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第1期

机译：通过优先级上限协议同步的中断驱动程序的静态分析
2. Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization [J] . Wu Xueguang, Chen Liqian, Mine Antoine, ACM Transactions on Embedded Computing Systems . 2016,第4期

机译：通过顺序化对中断驱动程序中的运行时错误进行静态分析
3. Implementation and Evaluation of the Synchronization Protocol Immediate Priority Ceiling in PREEMPT-RT Linux [J] . Andreu Carminati, Romulo Silva de Oliveira, Luis Fernando Friedrich Journal of software . 2012,第3期

机译：PREEMPT-RT Linux中同步协议立即优先级天花板的实现和评估
4. Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol [C] . Martin D. Schwarz, Helmut Seidl, Peter Lammich, 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages 2011 . 2011

机译：通过优先级天花板协议同步的中断驱动程序的静态分析
5. Generation of program synchronization skeletons using declarative descriptions of interaction protocols. [D] . Subbanna, Gurudath B. 2006

机译：使用交互协议的声明性描述生成程序同步框架。
6. Performance Analysis of Time Synchronization Protocols in Wireless Sensor Networks [O] . Linh-An Phan, Taejoon Kim, Taehong Kim, 2019

机译：无线传感器网络中时间同步协议的性能分析
7. Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization [O] . Wu, Xueguang, Chen, Liqian, Miné, Antoine, 2016

机译：通过顺序化对中断驱动程序中的运行时错误进行静态分析
8. Priority Ceiling Protocol: A Method for Minimizing the Blocking of High-Priority Ada Tasks [R] . Goodenough, J. B., Sha, L. 1988

机译：优先上限协议：最小化阻止高优先级ada任务的方法

Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol

著录项

引文网络

相似文献

相关主题

期刊订阅