首页 > VRM形式化需求模型的生成和分析方法

VRM形式化需求模型的生成和分析方法

发布时间：来源：文档文库

小中大

字号：

手机查看

（19）中华人民共和国国家知识产权局
（12）发明专利申请

（21）申请号CN201911363747.2（22）申请日2019.12.26（71）申请人南京航空航天大学
地址210016江苏省南京市江宁区将军大道29号

（10）申请公布号CN111176614A
（43）申请公布日2020.05.19
（72）发明人胡军;石梦烨
（74）专利代理机构南京钟山专利代理有限公司
代理人陈月菊
（51）Int.CI
权利要求说明书说明书幅图
（54）发明名称
VRM形式化需求模型的生成和分析方法
（57）摘要

本发明公开了一种VRM形式化需求模型的

生成和分析方法，包括：将需求模型构建为有限状态自动机系统，并生成对应的VRM规范集合；引入中间变量，将有限状态自动机系统进行分层，并定义了各变量之间的拓扑排序结构以及依赖关系；将所述有限状态自动机系统运用在安全关键性系统进行需求描述和分析。本发明通过将需求模型构建为一个有限状态自动机系统，使其可以更好地运用到实际系统中，解决工业系统的

本文来源：https://www.2haoxitong.net/k/doc/f6037466c3c708a1284ac850ad02de80d5d80647.html