一种基于COP的增强软件安全性的方法
229人浏览
商品权属
自有
交易方式
技术转让
购买方式
意向购买
价格
面议

店铺信息

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