形式化规范

作品数：21被引量：20H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吕述望沈昌祥郑援胡成军袁春阳更多>>
相关机构：中国科学院研究生院华东师范大学中国科学院软件研究所中国人民解放军海军计算技术研究所更多>>
相关期刊：《上海交通大学学报》《兵工自动化》《信息网络安全》《中国科学技术大学学报》更多>>
相关基金：国家重点基础研究发展计划国家高技术研究发展计划国家自然科学基金黑龙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML状态图到B形式化规范的转换实现
《软件导刊》2017年第1期6-10,共5页滕飞 杨静 
国家自然科学基金项目(61562011)
统一建模语言UML在面向对象的建模技术中得到了广泛应用。但是UML模型缺乏形式化语义,难以使用数学方式对模型进行分析和验证。B方法作为一种建立在严格数学机理上的形式化方法,将可视化UML模型转换为B形式化规范,可以对模型进行形式化...
关键词：UML状态图 B方法 转换工具 UML2B 
基于Z形式化规范的多Agent协作模型研究被引量：2
《火力与指挥控制》2012年第7期61-65,共5页裴芳 张洁 郝丽波 
湖南省教育厅科学研究项目(10C0152)
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。
关键词：Z语言 形式化规范 多AGENT系统 协作模型 
形式化规范在软件可靠性早期估计中的应用研究
《微型机与应用》2011年第11期7-9,共3页吕闽晖 吕敏蓉 
随着软件的广泛应用,特别是软件在尖端领域的应用,软件可靠性成为一个非常重要的问题。形式化规范在软件可靠性研究中能够起到的作用是多方面的。本文针对非形式化统计使用测试的不足,结合已有的早期可靠性估计方法,设计了优化算法,并...
关键词：形式化规范 软件可靠性 早期估计 测试 
分布式制造调度体系结构的π演算形式化建模
《计算机工程与应用》2010年第9期1-3,7,共4页王世进 
国家自然科学基金(No.70901058);国家自然科学基金重大项目(No.70832005)~~
分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agen(tHolon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,...
关键词：分布式制造调度 控制体系结构 形式化规范 一阶多元π-演算 AGENT Holon 
一个事件驱动的中间件平台被引量：2
《计算机科学》2010年第5期107-111,共5页贺建立 陈榕 顾伟楠 
事件驱动具有异步多点通信的优点,引起了广泛的研究兴趣。提出了一个由基层和元层两层结构组成的自适应中间件框架,元层主要由接口元模型、组装元模型和感知元模型3个相互独立的模型组成。感知元模型负责数据在对象间流动,为应用提供运...
关键词：中间件 事件 线程 Applet构件 形式化规范 
EAL7级评估的关键技术探索
《中国信息安全》2010年第2期88-90,共3页毕海英 张翀斌 
一、EAL7级评估的现状根据国家标准GB/T 18336—2008(等同采用ISO/IEC 1 5408—2005,即通用准则CC V2.3),信息技术产品的安全评估由低到高依次划分为7个级别,即评估保证级1(EAL1)到评估保证级7(EAL7)。其中,最高级别的评估保证级EAL7级...
关键词：形式化规范 高层设计 评估方法 TOE 隐蔽信道 EAL7 安全域 评估保证级 隐信道 
实时系统形式化描述和自动验证
《国外科技新书评介》2010年第1期1-2,共2页赵俊娟 
实时系统是一种带有时间约束的计算机系统，这些系统许多动作的完成是与时间相关的，即要满足一定的时间限制，它需要在特定的时间范围内的对某些输入及时做出反应。例如，碰撞中汽车的安全气囊须在300毫秒膨胀开。它的许多嵌入式应用...
关键词：实时系统 形式化描述 自动验证 时间约束 计算机系统 嵌入式应用 安全性要求 形式化规范 
高可信IP核交付标准应用
《计算机应用与软件》2009年第7期56-58,65,共4页周娟 金乃咏 
上海市科委"高可信芯片设计前端平台与工业控制芯片设计应用"资助(067062017)
随着数字系统的日益复杂,基于IP(Intellectual Property)的设计方法成为缩短开发周期的必然之选。因此,高可信IP核构建技术成为IP核交付及IP核复用成功的关键。主要研究高可信IP核的构建方法,首先阐述高可信IP核,以及高可信IP核应具有...
关键词：高可信IP核 形式化规范 可操作 
安全应用系统的形式化规范与求精过程研究被引量：1
《信息网络安全》2009年第5期24-27,共4页李改成 
形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。
关键词：应用系统 安全等级 形式化方法 规范 求精 
SIP协议系统模型的形式化研究
《现代电子技术》2009年第7期151-153,156,共4页李中华 穆维新 刘润杰 申金媛 
河南省杰出青年基金资助项目(512000400);河南省教育厅自然科学研究计划项目资助(2008B120010)
通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进...
关键词：形式化规范 SIP协议 SDL MSC 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部