|国家科技期刊平台
| 注册
首页|期刊导航|计算机应用与软件|Nuttx操作系统进程切换调度实时性的形式化验证

Nuttx操作系统进程切换调度实时性的形式化验证

郝英华 王瑞 李晓娟

计算机应用与软件2018，Vol.35Issue(7)：15-20,51,7.
✕
计算机应用与软件2018，Vol.35Issue(7)：15-20,51,7.DOI:10.3969/j.issn.1000-386x.2018.07.003

Nuttx操作系统进程切换调度实时性的形式化验证

FORMAL MODELING AND VERIFICATION OF REAL-TIME SWITCH SCHEDULING IN NUTTX OPERATING SYSTEM

郝英华 1王瑞 2李晓娟2

作者信息

  • 1. 首都师范大学信息工程学院 北京100048
  • 2. 首都师范大学高可靠嵌入式系统技术北京市工程研究中心,电子系统可靠性技术北京市重点实验室 北京100048
  • 折叠

摘要

关键词

工业机器人/实时调度/Nuttx操作系统/切换/实时性/时间自动机Uppaal

分类

信息技术与安全科学

引用本文复制引用

郝英华,王瑞,李晓娟..Nuttx操作系统进程切换调度实时性的形式化验证[J].计算机应用与软件,2018,35(7):15-20,51,7.

基金项目

国家自然科学基金项目(61572331,61472468) （61572331,61472468）

国际科技合作计划项目(2011DFG13000) （2011DFG13000）

国家科技支撑计划项目(2015BAF13B01). （2015BAF13B01）

计算机应用与软件

OA北大核心CSTPCD

1000-386X

访问量6
|
下载量0
段落导航相关论文