| 基于SysML的嵌入式软件系统建模与验证方法研究 |
| |
| 引用本文： | 仵林博,陈小红,彭艳红,聂长海.基于SysML的嵌入式软件系统建模与验证方法研究[J].计算机工程,2019,45(1):1-8. |
| |
| 作者姓名： | 仵林博 陈小红 彭艳红 聂长海 |
| |
| 作者单位： | 中国工程物理研究院计算机应用研究所,四川绵阳,621999;华东师范大学计算机科学与软件工程学院,上海,200062;南京大学计算机科学与技术系,南京,210023 |
| |
| 摘 要： | 嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。
|
| 关 键 词： | SysML模型 系统建模 Modelica仿真 系统结构 嵌入式系统 |
Research on System Modeling and Verification Method of Embedded Software Based on SysML |
| |
| WU Linbo,CHEN Xiaohong,PENG Yanhong,NIE Changhai.Research on System Modeling and Verification Method of Embedded Software Based on SysML[J].Computer Engineering,2019,45(1):1-8. |
| |
| Authors: | WU Linbo CHEN Xiaohong PENG Yanhong NIE Changhai |
| |
| Affiliation: | (Institute of Computer Application Research,Chinese Academy of Engineering Physics,Mianyang,Sichuan 621999,China;School of Computer Science and Software Engineering,East China Normal University,Shanghai 200062,China;Department of Computer Science and Technology,Nanjing University,Nanjing 210023,China) |
| |
| Abstract: | WU Linbo;CHEN Xiaohong;PENG Yanhong;NIE Changhai(Institute of Computer Application Research,Chinese Academy of Engineering Physics,Mianyang,Sichuan 621999,China;School of Computer Science and Software Engineering,East China Normal University,Shanghai 200062,China;Department of Computer Science and Technology,Nanjing University,Nanjing 210023,China) |
| |
| Keywords: | SysML model system modeling Modelica simulation system structure embedded system |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
