计算机工程

作者：仵林博,陈小红,彭艳红,聂长海

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

关键词：SysML模型,系统建模,Modelica仿真, 系统结构, 嵌入式系统 开放科学(资源服务)标识码(OSID)：

基金：国防基础科研计划重点项目(JCKY2016212B004)

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。

来源：2019年第1期

《计算机工程》期刊编辑部

查看计算机工程杂志2019年第1期