计算机工程 ›› 2019, Vol. 45 ›› Issue (1): 1-8.doi: 10.19678/j.issn.1000-3428.0052826

• 体系结构与软件技术 • 上一篇    下一篇

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

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

  1. 1.中国工程物理研究院计算机应用研究所,四川 绵阳 621999; 2.华东师范大学 计算机科学与软件工程学院,上海 200062; 3.南京大学 计算机科学与技术系,南京 210023
  • 收稿日期:2018-10-09 出版日期:2019-01-15 发布日期:2019-01-15
  • 作者简介:仵林博(1983—),男,工程师,主研方向为软件建模与验证;陈小红,副教授;彭艳红,工程师;聂长海,教授
  • 基金项目:

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

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

WU Linbo 1,CHEN Xiaohong 2,PENG Yanhong 1,NIE Changhai 3   

  1. 1.Institute of Computer Application Research,Chinese Academy of Engineering Physics,Mianyang,Sichuan 621999,China; 2.School of Computer Science and Software Engineering,East China Normal University,Shanghai 200062,China; 3.Department of Computer Science and Technology,Nanjing University,Nanjing 210023,China
  • Received:2018-10-09 Online:2019-01-15 Published:2019-01-15

摘要:

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

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

Abstract:

With the widespread use of distributed heterogeneous networks in embedded software systems,the complexity of software systems increases geometrically.It is necessary to verify the correctness and sufficiency of system requirements and design schemes in the demonstration stage of system design,and discover system design flaws to avoid possible systemic problems.Therefore,a demand modeling method based on SysML for embedded software system structure and behavior is proposed.Through the hierarchical modeling of the structure and logic behavior of the embedded software system,and using the simulation characteristics of Modelica discrete and continuous fusion,in the system requirements demonstration stage,based on the established simulation model,the key functional indicators of the system are simulated and verified.Results show that the method is feasible and useful for requirements demonstration.

Key words: SysML model, system modeling, Modelica simulation, system structure, embedded system

中图分类号: