一种基于S～2ML的安全攸关系统建模方法

作者：孙海英; 杨琛琛; 刘静; 康介祥; 尹伟; 高杰; 王辉; 吴志伟; 丁郭欢

来源：2021-05-13, 中国, CN202110523473.X.

本发明公开了一种基于S～2ML的安全攸关系统建模方法,其特点是采用安全自动机与SysML状态机结合的Safety-SysML建模语言,使得SysML语言支持对安全攸关系统的建模与分析,具体包括：状态属性配置、迁移属性配置和生成格式数据文件等步骤。本发明与现有技术相比具有自动分析用户构建的安全自动机,输出结构化数据,使得SysML语言支持对安全攸关系统的建模与分析,为安全攸关系统的验证奠定了基础,大大满足了来源众多且不一致,需求复杂程度高的安全攸关系统,以及安全关键软件发展的需求。

• 单位
  华东师范大学