形式化方法相关论文
从标准内容、软件生命周期数据和软件过程目标方面对机载适航标准DO-333和DO-178C进行了对比分析。按照软件计划过程、软件开发过......
随着大量软件在工业界的广泛应用,越来越多的嵌入式系统的核心控制软件逐渐走向数字化控制的道路。随着计算机硬件性能的逐渐提升,......
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
协议的安全性分析一直是网络空间安全领域的重点研究问题。近几年来,云计算、智能终端、5G等新兴技术发展极为迅速,以移动互联网、......
区块链是一项融合多种底层技术的交叉应用技术,其中最为核心的技术包括密码学、分布式计算和机制设计。密码学和分布式计算主要解......
随着计算机网络规模和复杂度的日益增长,网络管理人员难以保证网络意图得到了正确实现,错误的网络配置将影响网络的安全性和可用性......
混成系统是同时包含连续状态和离散状态的动态系统。连续部分通常模拟物理环境的相互作用,而离散部分通常模拟控制系统的运行。计......
偏好的存在使我们面对纷繁复杂的世界时能够做出适当的行为选择,因此偏好在经济理论、选择理论和决策理论等领域中都是一个基础概......
安全苛求控制系统是一类对可靠性和安全性要求极高的系统,其正常运行依赖于正确的功能控制逻辑和配置数据。这样的配置数据称为安......
自然计算是模拟自然界的结构、功能或者层次关系等的一系列计算模型与算法。按照计算模型的启发源分类,自然计算可以分为物理层次......
铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统。首先，对现......
在核安全级DCS平台和睦系统中,安全控制显示装置提供基于VDU技术的设备操作(如专设安全设施等)及电站安全参数监视显示功能.安全控......
消息队列中间件是分布式系统的重要组件,它使得应用程序只需关注数据,而不需要关注数据在传输时的具体细节,从而解决了消息异步传......
随着计算机算力的快速提升以及大量数据的驱动,以神经网络为代表的深度学习（Deep Learning,DL）技术在许多领域取得了长足的进步。因......
随着科学技术的快速发展,物联网技术已经应用于我们工作与生活中的方方面面。物联网设备的安全性和稳定性已经越来越被人们所重视......
联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分.传统联锁子系统存在地面集中控制失效风险......
随着形式化方法的普及和应用,定理证明器HOL4在形式化建模过程中无法自动完成终止证明的情况越来越多,而手动终止证明又缺少通用的......
增强飞行视景系统(EFVS)作为机载复杂电子系统,其常规失效分析复杂易出错.基于此,引入形式化建模概念,提出了一种基于故障耦合模型......
期刊
联锁子系统作为站内行车安全的关键保障,是列车运行控制系统的重要组成。传统集中联锁子系统中存在地面集中控制失效风险大、列车......
学位
近年来,城市交通拥堵问题日益突出,城市轨道交通建设被视为有效解决问题途径之一,担任着越来越重要的角色。基于通信的列车运行控......
固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需......
使用形式化方法能够找到安全协议设计中存在的漏洞,但高效地对安全协议进行自动的形式化分析仍然是一个挑战.针对现有形式化自动验......
PIM-SM协议是目前应用最为广泛的域内组播路由协议,但它的标准化进程仍处在实验阶段,协议本身需要不断发展完善,有必要使用形式化......
该文应用了标准时序逻辑来描述密码协议，模拟了入侵者行为，刻画了系统需求正确性。这种途径利用了时序逻辑比ＦＳＭ、Ｐｅｔｒｉ网等模型更易于刻画协......
通过对大量的密码协议的研究发现，对于密码协议的分析需要有序化，形式化，本文提出一种形式化的分析方法对密码协议进行分析，以使得被此......
随着学术界和产业界对软件安全性认识的不断深入,提高软件架构安全性成为保障软件安全的重要组成部分。本文首先将软件架构安全性......
对密码协议攻击进行有效的分类及形式化描述有助于密码协议的形式化分析.本文根据攻击的形式化描述需要,在研究入侵者攻击的动作特......
铁路信号系统作为安全关键系统,它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要......
在国内电信领域,长期以来,应用软件滞后于市场需求.传统的电信运营支撑系统以业务为中心,分散建设,分散管理,分散设计,缺乏统一的......
随着计算机网络技术的迅猛发展,计算机病毒的传播和攻击方式日新月异,严重威胁大型网络应用解决方案的安全性和可靠性.传统反病毒......
形式化方法B用抽象机符号来描述软件的规格说明,因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用,UML是面向......
安全协议的设计和形式化分析是当前信息安全领域中的研究热点和难点之一。本文运用SVO逻辑对Trusted Mobile Platform中提出的一种......
形式化方法是提高软件系统，特别是safety-critical系统的安全性与可靠性的重要手段。模型检测是一种针对并发系统的自动分析与验证......
本文旨在从形式化表述角度论述哲学和科学的关系,实质上就是探讨信息、语义、知识和智慧能力及其作用价值的内在联系.其方法是:首......
第四届句法制图国际研讨会暨首届语言与脑科学国际论坛将于2021年10月29日-11月3日通过腾讯会议线上举行,本次会议由北京语言大学......
高安全高可靠的相似冗容错架构善于容忍各通道独立产生的错误,因此设计正确的拜占庭容错计算机出现的主要故障为共模故障。减少共......
近年来,工业控制系统面临的安全威胁引起了人们的广泛重视。不同于以往针对通信协议的攻击,攻击者逐渐将目标转移到控制器本身上来......
传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,......
文章提出一种面向5G专网鉴权协议EAP-TLS的细粒度形式化建模与验证方案。方案以TS 33.501文档为依据,首先构建基于Diffie-Hellman......
在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗......
替代深度学习的人工智能可以更加轻松地测试这家新兴公司的自动驾驶车辆。在新加坡市中心散步,走出不远,就会跨越一座模仿了DNA结......
顾维桢先生在《捕风捉影说思维》中把深奥的数理逻辑问题用浅显的日常用语表达出来，很了不起。只是在国内专业工作者看来，有些译名不......
