一种基于模型驱动的计算机联锁软件开发方法

发明专利无效专利

申请号：
CN201610946630.7
IPC分类号：G06F9/44
申请日期：
2016-10-26
申请人：
合肥润客软件科技有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于模型驱动的计算机联锁软件开发方法
申请号	CN201610946630.7	申请日期	2016-10-26
法律状态	驳回	申报国家	中国
公开/公告日	2017-05-10	公开/公告号	CN106648611A
优先权	暂无	优先权号	暂无
主分类号	G06F9/44 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/44 执行特定程序的设计〔3，2006.01，2018.01〕	IPC分类号	G;0;6;F;9;/;4;4查看分类表>
申请人	合肥润客软件科技有限公司	申请人地址	安徽省合肥市高新区天元路1号软件园1号楼106 变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	合肥润客软件科技有限公司	当前权利人	合肥润客软件科技有限公司
发明人	郑伟敏
代理机构	北京和信华成知识产权代理事务所（普通合伙）	代理人	胡剑辉

摘要

本发明公开了一种基于模型驱动的计算机联锁软件开发方法。包括如下步骤：需求分析：包括联锁系统的安全性分析以及功能性分析；软件设计：通过对于系统的需求分析，将整个系统的功能划分为若干个模块，通过每个对每个模块功能的实现；代码实现：将所建模型通过工具转换为代码；模型建立：对所分析的流程，对系统的各个功能模块建立相应的模型；步骤五，模型验证：对步骤四中的系统功能需求和安全需求进行验证分析。本发明通过在联锁软件开发前进行详细的需求分析，用以降低联锁软件开发的成本，缩短开发周期；通过对联锁系统进行验证分析，确保系统的安全性，确保了模型驱动在嵌入式软件中的可行性。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供