|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|基于STP方法的SCADE模型形式化验证框架

基于STP方法的SCADE模型形式化验证框架

林荣峰 施健 朱晏庆 沈怡颹 周宇

计算机工程2019，Vol.45Issue(10)：70-77,8.
✕
计算机工程2019，Vol.45Issue(10)：70-77,8.DOI:10.19678/j.issn.1000-3428.0054411

基于STP方法的SCADE模型形式化验证框架

Formal Verification Framework of SCADE Model Based on STP Method

林荣峰 1施健 2朱晏庆 1沈怡颹 1周宇1

作者信息

  • 1. 上海航天控制技术研究所,上海201108
  • 2. 华东师范大学国家可信嵌入式软件工程技术研究中心,上海200062
  • 折叠

摘要

关键词

航天器系统/形式化验证/高安全性应用开发环境/安全攸关领域/模型检查/时序性质

分类

信息技术与安全科学

引用本文复制引用

林荣峰,施健,朱晏庆,沈怡颹,周宇..基于STP方法的SCADE模型形式化验证框架[J].计算机工程,2019,45(10):70-77,8.

基金项目

国家部委基金. （）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

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