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

摘要：

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

关键词：SysML模型、系统建模、Modelica仿真、系统结构、嵌入式系统

所属期刊栏目：45

分类号：TP391(计算技术、计算机技术)

资助基金：国防基础科研计划重点项目JCKY2016212B004

在线出版日期：2019-07-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1-8