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

• 作者: 仵林博 彭艳红 聂长海 陈小红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: SysML模型 系统建模 Modelica仿真 系统结构 嵌入式系统
• 年，卷（期）: 2019,（1）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 1-8
• 页数: 8页
• 分类号: TP391
• 字数: 7159字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0052826

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈小红	华东师范大学计算机科学与软件工程学院	7	28	3.0	5.0
2	聂长海	南京大学计算机科学与技术系	14	453	8.0	14.0
3	仵林博	中国工程物理研究院计算机应用研究所	2	6	2.0	2.0
4	彭艳红	中国工程物理研究院计算机应用研究所	1	2	1.0	1.0