首页> 外文OA文献 >An application-based EDF scheduler for OSEK/VDX

【2h】

An application-based EDF scheduler for OSEK/VDX

机译：OsEK / VDX的基于应用程序的EDF调度程序

页面导航

著录项
相似文献
相关主题

著录项

作者
Claas Diederichs; Ulrich Margull; Frank Slomka; Gerhard Wirrer; Siemensvdo Ag;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX [J] . Min Zhang, Toshiaki Aoki, Yueying He Information Security Technical Report . 2016,第deca期

机译：形式化和验证的螺旋过程：以OSEK / VDX调度机制的验证为例
2. Modeling and verification of a timing protection mechanism in the OSEK/VDX OS using CSP [J] . Yanhong Huang, Haiping Pang, Jianqi Shi Formal Aspects of Computing . 2020,第1期

机译：使用CSP模拟和验证OSEK / VDX OS中的定时保护机制
3. A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems [J] . Yunja Choi The Journal of Systems and Software . 2018,第MARa期

机译：使用OSEK / VDX操作系统的正式行为模式的可配置V＆V框架
4. An application-based EDF scheduler for OSEK/VDX [C] . Claas Diederichs, Ulrich Margull, Frank Slomka, Design, Automation and Test in Europe Conference . 2008

机译：关于OSEK / VDX的基于应用程序的EDF调度程序
5. Optimal approach for hard real time system enhanced EDF scheduling algorithm [D] . Ajiboye, Bernard Olajide 2013

机译：硬实时系统增强型EDF调度算法的最优方法
6. Pigment Epithelium‐Derived Factor (PEDF) Improves Ischemic Cardiac Functional Reserve Through Decreasing Hypoxic Cardiomyocyte Contractility Through PEDF Receptor (PEDF‐R) [O] . Peng Lu, Yi‐Qian Zhang, Hao Zhang, 2016

机译：色素上皮衍生因子（PEDF）通过通过PEDF受体（PEDF-R）降低缺氧心肌细胞的收缩力来改善缺血性心脏功能储备
7. An application-based EDF scheduler for OSEK/VDX [O] . Claas Diederichs, Ulrich Margull, Frank Slomka, 2015

机译：OsEK / VDX的基于应用程序的EDF调度程序

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号