形式化验证相关论文
因通信的同步问题、网络分区的可靠性问题等，分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识．Paxos是近年分布......
区块链技术是当今正快速崛起的一门新兴技术,在数字金融、电子存证等关键敏感领域中具有强大的应用潜力,它在国家信息技术创新领域......
实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控......
本文面向适航标准DO-331和DO-333,提出了一种机载软件分层精化开发和验证方法,形成了一套完整的软件开发和验证流程。本方法开发过......
PLC是工业控制领域中广泛应用的可编程逻辑控制器,在安全攸关的领域,传统的手工编程方式无法保证PLC程序的正确性,而在代码自动生......
随着区块链和智能合约技术的广泛运用,越来越多的数字资产、隐私信息等敏感数据被存储到区块链上,因此区块链应用中的安全漏洞可能......
随着近两年欧美国家对集成电路行业控制的进一步收紧,芯片成为了“卡脖子”的问题,中国高铁作为自主创新的领跑者,早已开始了基于......
自动驾驶场景中存在着丰富的时空数据和动态行为交互,使得自动驾驶场景充满复杂性。系统的安全性面临着严重的挑战。近年来,人们尝......
人工智能已在社会各行业得到了广泛应用,如人脸识别、自动驾驶、智慧医疗等。机器学习是实现人工智能的重要途径,相关系统在安全攸......
核电站控制保护逻辑规模庞大、逻辑复杂,通常采用面向工程人员的图形语言开发,并自动生成C代码实现。如何保证图形语言到C代码转换......
MSVL（Modeling,Simulation and Verification Language）是一种时序逻辑程序设计语言,是投影时序逻辑（Projection Temporal Logic,PTL）......
数据处理是我们这个时代最大的特点，人工智能、深度学习、5G等新兴技术的出现，对于处理器计算能力提出了更高的要求。在超标量处理器......
随着Web服务技术的发展，服务的数量不断增加，然而网络上注册的大部分Web服务都是功能单一、结构简单的服务，当面对用户提出复杂的服务......
作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,......
操作系统是整个计算机系统的基础,它的可靠性、安全性影响到整个系统的可靠性、安全性。操作系统中最重要的部分是系统内核,因此必......
软件系统的正确性一直是人们所关心的问题,人们使用各种方法来验证一个软件系统的正确性,目前已经有越来越多的人使用模型检测技术......
该文作者经过辛勤研究,在以下几个方面取得了一些成绩,通过实例分析和比较,显示我们方法的可行性和其中某些技术具有一定的领先性:......
随着网络和通信技术的高速发展,大量新的协议不断被提出.但是,到目前为止,Internet的协议标准RFC仍然使用自然语言描述,Internet的......
本文在对时间自动机进行深入研究的基础上，提出了公式时钟自动机。在公式时钟自动机中，每一个事件对应一个命题、并且针对给定命题集......
随着集成电路设计复杂度的与日俱增，而芯片的更新换代速度也在不断加快，使得集成电路芯片的验证越来越困难。传统的芯片验证主要是基......
随着计算机技术的飞速发展，实时系统(real-timesystem)的应用日益广泛。在实际应用中，随着实时系统规模不断扩大、功能不断增强，嵌入......
多Agent系统(MultiAgentSystemMAS)是解决分布式复杂问题的一种重要手段，也是一种新的软件开发模式。为了适应多Agent系统的建模需......
随着系统设计复杂度的提高,设计验证已成为系统设计的瓶颈;传统验证技术已不能满足需要,形式化验证技术是适应这种需求而产生的新......
集成了计算机技术、通信技术、半导体技术的无线传感器网络能够根据用户的需求对各种监测对象进行实时的信息采集、处理,具有非常......
随着大规模集成电路工艺的不断提高以及嵌入式系统功能需求等多方面要求的日益增加，寻找正确有效地进行嵌入式系统设计的方法成为一......
随着多核处理器的高速发展,并发程序已经成为现代程序设计的主流趋势。然而并发程序的执行存在不确定性,这使得传统的测试方法很难......
无线Mesh网(Wireless Mesh Networks,WMNs)是一种具有动态网络拓扑、自组织、自配置的新型无线网络,能够提供大容量、网络覆盖范围......
随着嵌入式技术、计算机技术和网络技术的不断发展,以及硬件产品性能和数据处理能力的不断提升,物联网技术得到快速发展。在此背景......
进入新世纪以来,网络技术的发展日益迅速,并且随着制造业的发展,工厂对无线电子类产品的制作工艺不断改进,因此制造成本也在不断降......
学位
交通需求的日益增长给路网通行安全带来了全新的挑战,作为保障车辆行驶安全的传统车辆诊断技术已难以满足目前的实时性安全需求。......
物联网技术在各行各业应用越来越广泛,对物联网技术的研究也越来越多。随着物联网技术中硬件和软件的广泛应用,安全问题也日益突出......
无线移动Ad hoc网络(MANET,以下简称Ad Hoc网络)作为没有基础设施的网络,在军事和民用方面具有广阔的应用前景,是目前网络研究中的......
NAND闪存已经成为主流的存储介质,并被广泛地应用到嵌入式、桌面、服务器以及数据中心等各种计算机系统中,并仍迅速地挤占传统纯磁......
Web服务为企业IT体系结构带来互操作性、灵活性和复用性,改变了商业伙伴之间的合作方式,使企业能通过服务组合来共享资源,自动化商......
层次移动IPv6 (Hierachical Mobile IPv6, HMIPv6)是在MIPv6(移动IPv6)的基础上针对MN(移动结点)在小范围内快速移动所作出的一种......
随着软件的广泛应用，特别是软件在尖端领域的应用，软件的可靠性成为一个非常重要的问题。软件的可靠性主要取决于软件开发的方法与过......
形式化方法是建立在严密数学逻辑基础上的系统研究方法,其严谨、精确的特性适合发现系统设计与开发过程中并发性、安全性等方面的......
从软件工程中软件生命周期的角度分析,软件架构是软件的核心结构与行为,因而软件架构的设计是软件设计的核心,也是随后进行代码开......
随着软件产业的快速发展,基于SOC和SOA的分布式应用系统迅速抢占市场。在这个大环境下,因特网上Web服务数量正呈现急速增长的趋势......
随着3G网络与无线局域网的普及,无线网络通信技术已经在我们的日常生活中无处不在了。无线Mesh网(Wireless Mesh Network)简称WMN......
模型检测是一种形式化验证方法，目前已经得到了广泛的发展和应用。本文给出的是一种基于命题投影时序逻辑（Propositional Projection......
随着电子商务的发展,认证邮件协议作为一种能够使协议的参与方都满足公平性的邮件协议,越来越受到人们的关注。认证邮件协议是公平......
