×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [5]
兰州大学 [2]
电工研究所 [1]
自动化研究所 [1]
内容类型
期刊论文 [5]
会议论文 [2]
学位论文 [2]
发表日期
2016 [2]
2011 [1]
2010 [5]
2007 [1]
学科主题
automobile... [1]
computer s... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共9条,第1-9条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
A case study: SOFL + Model checking for OSEK/VDX application
会议论文
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015
作者:
Cheng, Zhuo
;
Zhang, Haitao
;
Tan, Yasuo
;
Lim, Yuto
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/01/18
Formal specification
Automobiles
Computational linguistics
Computer control
Formal languages
Formal methods
Model checking
Specifications
Automotive applications
Development process
Feasible solution
Formal engineerings
High quality
Requirement specification
Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach
会议论文
15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), Okayama, JAPAN, JUN 26-29, 2016
作者:
Zhang, HT
;
Cheng, Z
;
Tian, C
;
Lu, YG
;
Li, GQ
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2017/05/11
OSEK/VDX Application
Deterministic Scheduler
Bounded Model Checking
SMT
符合AUTOSAR规范的车载专用OSEK/VDX操作系统设计与实现
学位论文
工程硕士, 中国科学院自动化研究所: 中国科学院研究生院, 2011
宋东平
收藏
  |  
浏览/下载:90/0
  |  
提交时间:2015/09/02
OSEK/VDX
AUTOSAR
嵌入式实时操作系统
汽车电子
OSEK/VDX
AUTOSAR
Embedded real-time OS
automobile electronics
Application and study of novel software technology on vehicle control system of fuel cell city bus
期刊论文
2010, 2010
Hua Jianfeng
;
Xu Liangfei
;
Bao Lei
;
Lin Xinfan
;
Li Jianqiu
收藏
  |  
浏览/下载:2/0
车用分布式OSEK系统的实时诊断平台研究
期刊论文
2010, 2010
黄东
;
孙晓民
;
HUANG Dong
;
SUN Xiao-min
收藏
  |  
浏览/下载:4/0
基于CAN的OSEK COM规范研究与实现
期刊论文
2010, 2010
周书平
;
孙晓民
;
ZHOU Shu-ping
;
SUN Xiao-min
收藏
  |  
浏览/下载:2/0
开放式汽车控制平台OpenECU的研究
期刊论文
2010, 2010
黄东
;
孙晓民
;
Huang Dong
;
Sun Xiaomin
收藏
  |  
浏览/下载:4/0
新软件技术在燃料电池客车控制系统中的应用
期刊论文
2010, 2010
华剑锋
;
徐梁飞
;
包磊
;
林辛凡
;
李建秋
;
HUA Jianfeng
;
XU Liangfei
;
BAO Lei
;
LIN Xinfan
;
LI Jianqiu
收藏
  |  
浏览/下载:3/0
基于OSEK/VDX的LIN总线策略及实施
学位论文
硕士: 中国科学院电工研究所, 2007
1肖木,电工研究所
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2010/10/18
OSEK/VDX
LIN总线
完全搜索树算法
严谨周期调度算法 OSKE/VDX
LIN BUS
entire tree search selected algorithm
strict periodical schedule algorithm
©版权所有 ©2017 CSpace - Powered by
CSpace