首页> 外文OA文献 >Trampoline An OpenSource Implementation of the OSEK/VDX RTOS Specification

【2h】

Trampoline An OpenSource Implementation of the OSEK/VDX RTOS Specification

机译：Trampoline OsEK / VDX RTOs规范的Opensource实现

页面导航

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

著录项

作者
Jean-luc Béchennec; Mikaël Briday; Sébastien Faucou; Yvon Trinquet;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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中的定时保护机制
2. 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框架
3. Verifying OSEK/VDX automotive applications: A Spin-based model checking approach [J] . Zhang Haitao, Li Guoqiang, Cheng Zhuo, Software Testing, Verification and Reliability . 2018,第3期

机译：验证OSEK / VDX汽车应用：基于自旋的模型检查方法
4. Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification [C] . Bechennec, J.-L., Briday, . 2006

机译：蹦床OSEK / VDX RTOS规范的开源实现
5. Implementation of hierarchical predecoder/decoder structure in OPENRAM opensource memory compiler [D] . Subbarayappa, Manju Kiran. 2013

机译：OPENRAM开源内存编译器中分层预解码器/解码器结构的实现
6. Safety of a proposed amendment of the specifications for steviol glycosides (E 960) as a food additive: to expand the list of steviol glycosides to all those identified in the leaves of Stevia Rebaudiana Bertoni [O] . EFSA Panel on Food Additives and Flavourings (FAF), Maged Younes, Gabriele Aquilina, 2020

机译：提出的甜菊糖糖苷（E 960）的规范的安全性作为食品添加剂：扩展甜菊糖甘油三苷的列表以史蒂维亚Rebaudiana Bertoni叶片中鉴定的所有这些
7. An application-based EDF scheduler for OSEK/VDX [O] . Claas Diederichs, Ulrich Margull, Frank Slomka, 2015

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

Trampoline An OpenSource Implementation of the OSEK/VDX RTOS Specification

著录项

引文网络

相似文献

相关主题

期刊订阅