申请/专利权人:华东师范大学
申请日:2021-05-13
公开(公告)日:2021-08-03
公开(公告)号:CN113204409A
主分类号:G06F9/455(20060101)
分类号:G06F9/455(20060101)
优先权:
专利状态码:失效-发明专利申请公布后的驳回
法律状态:2023.10.27#发明专利申请公布后的驳回;2021.08.20#实质审查的生效;2021.08.03#公开
摘要:本发明公开了一种基于S2ML的安全攸关系统建模方法,其特点是采用安全自动机与SysML状态机结合的Safety_SysML建模语言,使得SysML语言支持对安全攸关系统的建模与分析,具体包括:状态属性配置、迁移属性配置和生成格式数据文件等步骤。本发明与现有技术相比具有自动分析用户构建的安全自动机,输出结构化数据,使得SysML语言支持对安全攸关系统的建模与分析,为安全攸关系统的验证奠定了基础,大大满足了来源众多且不一致,需求复杂程度高的安全攸关系统,以及安全关键软件发展的需求。
主权项:1.一种基于S2ML的安全攸关系统建模方法,其特征在于采用安全自动机与SysML状态机结合的Safety_SysML建模语言,使得SysML语言支持对安全攸关系统的建模与分析,具体包括以下步骤:一状态属性配置按下述步骤在状态属性页面定义安全自动机中的状态:A1:输入状态名;A2:输入布尔表达式的状态值;二迁移属性配置按下述步骤在迁移属性页面定义安全自动机中的迁移条件:B1:输入优先级,越小的数字优先级越高,0表示最高级的优先级;B2:输入布尔表达式的迁移条件;三生成格式数据文件按下述步骤自动分析自动机以及生成格式数据文件:C1,创建安全自动机,解析安全自动机的状态和迁移信息生成格式文件;C2,将格式文件转化成以.cvs或.txt为后缀的数据文件进行安全攸关系统的验证。
全文数据:
权利要求:
百度查询: 华东师范大学 一种基于S2ML的安全攸关系统建模方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。