江苏省技术产权交易市场

一种基于COP的增强软件安全性的方法
743人浏览  | 交易次数:0次
商品编号
201911200151442716
商品权属
自有
交易方式
技术转让
商品价格
面议

店铺信息

刘永生
电话 138xxxx9797
提出了一个基于COP的可靠性控制软件开发框架和原型系统。本文在现有的EventCJ基础上,通过引入行为变体冲突检测与处理方法和行为变体运行协调机制来解决EventCJ中存在的行为变体定义约束问题和行为变体并发运行问题,并在此基础上实现了一个原型系统用于可靠性开发框架的实际应用。2)本文提出了行为变体冲突检测方法。针对行为变体定义缺乏约束的问题,本文定义了行为变体的冲突关系,并在此基础上提出了冲突检测方法,并提出了根据冲突检测结果得到最大冲突集的方法。3)本文提出了行为变体运行协调机制。针对行为变体并发运行问题,本文根据冲突关系和相对优先级来协调行为变体的并发执行。针对行为变体并发造成系统不一致性的问题,本文提出了通过保存和恢复中断上下文的方法来解决这一问题。
提出了一个基于COP的可靠性控制软件开发框架和原型系统。本文在现有的EventCJ基础上,通过引入行为变体冲突检测与处理方法和行为变体运行协调机制来解决EventCJ中存在的行为变体定义约束问题和行为变体并发运行问题,并在此基础上实现了一个原型系统用于可靠性开发框架的实际应用。2)本文提出了行为变体冲突检测方法。针对行为变体定义缺乏约束的问题,本文定义了行为变体的冲突关系,并在此基础上提出了冲突检测方法,并提出了根据冲突检测结果得到最大冲突集的方法。3)本文提出了行为变体运行协调机制。针对行为变体并发运行问题,本文根据冲突关系和相对优先级来协调行为变体的并发执行。针对行为变体并发造成系统不一致性的问题,本文提出了通过保存和恢复中断上下文的方法来解决这一问题。
商品类型 专利 申请号 2012104054143 IPC分类号
000
专利类型 发明 法律状态 有权 技术领域
电子信息
交易方式 技术转让 专利状态 已公开 专利权人
夏多添
暂无数据

购买意向调查