|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|基于SysML的嵌入式软件系统建模与验证方法研究

基于SysML的嵌入式软件系统建模与验证方法研究

仵林博 陈小红 彭艳红 聂长海

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

基于SysML的嵌入式软件系统建模与验证方法研究

Research on System Modeling and Verification Method of Embedded Software Based on SysML

仵林博 1陈小红 2彭艳红 1聂长海3

作者信息

  • 1. 中国工程物理研究院计算机应用研究所,四川绵阳621999
  • 2. 华东师范大学计算机科学与软件工程学院,上海200062
  • 3. 南京大学计算机科学与技术系,南京210023
  • 折叠

摘要

关键词

SysML模型/系统建模/Modelica仿真/系统结构/嵌入式系统

分类

信息技术与安全科学

引用本文复制引用

仵林博,陈小红,彭艳红,聂长海..基于SysML的嵌入式软件系统建模与验证方法研究[J].计算机工程,2019,45(1):1-8,8.

基金项目

国防基础科研计划重点项目(JCKY2016212B004). （JCKY2016212B004）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

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