Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software
Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software
复制标题
基于实时时序逻辑RTCTL的嵌入式汇编程序实时特性模型检验及其在真实微控制器软件中的应用
DOI：
10.1587/transinf.2019edp7172
复制
发表时间：
2020
影响因子：
0.7
通讯作者：
Satoshi Yamane
中科院分区：
文献类型：
--
作者：
Yajun Wu;Satoshi Yamane
实时嵌入式系统中基于学习的响应时间分析：基于仿真的方法
DOI：
10.1145/3194095.3194097
发表时间：
2018
期刊：
2018 IEEE/ACM 1st International Workshop on Software Qualities and their Dependencies (SQUADE)
影响因子：
--
作者：
M. H. Moghadam;Mehrdad Saadatmand;Markus Borg;M. Bohlin;B. Lisper
通讯作者：
B. Lisper
使用可达性对同步程序进行高效 WCRT 分析
DOI：
--
发表时间：
2011
期刊：
Design Automation Conference
影响因子：
--
作者：
Matthew M. Y. Kuo;R. Sinha;P. Roop
通讯作者：
P. Roop