基本信息
浏览量:2
职业迁徙
个人简介
研究方向:
实时系统
对于实时系统来说,系统的正确性不仅仅取决于能够计算出正确的结果,还需要结果在规定的时间范围内输出。例如,汽车的刹车系统必须在规定时间内做出反应,否则就会产生严重的后果。为了保证系统具有实时性,需要在系统设计阶段对其进行形式化的分析,从而对其实际运行时的时间性能进行预测。
实时系统
对于实时系统来说,系统的正确性不仅仅取决于能够计算出正确的结果,还需要结果在规定的时间范围内输出。例如,汽车的刹车系统必须在规定时间内做出反应,否则就会产生严重的后果。为了保证系统具有实时性,需要在系统设计阶段对其进行形式化的分析,从而对其实际运行时的时间性能进行预测。
研究兴趣
论文共 26 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
RTASpp.80-92, (2023)
2023 IEEE Real-Time Systems Symposium (RTSS)pp.411-422, (2023)
DACpp.1-6, (2023)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn