摘要：

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于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

中图分类号: 

• TP391