公共文化服务平台

搜索到739篇“ 形式化开发方法“的相关文章

一种联锁逻辑形式化开发方法、电子设备及存储介质: 本发明公开了一种联锁逻辑形式化开发方法、电子设备及存储介质，其基于形式化开发工具实现联锁设备的联锁功能，所述方法包括：在形式化开发工具中绘制拓扑图，并在所述拓扑图上赋予联锁设备属性；对所述联锁设备进行分类，建立对象属性描...; 朱迎春王燕芩刘丽娟张程莫运前

基于Event-B与ADT的TACS形式化开发方法与验证被引量：1: 2023年; 为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验证。首先,根据TACS的需求以及案例研究等相关内容,提取TACS的功能需求和安全需求,并将功能需求和安全需求以非形式化的语言进行描述;然后,根据TACS的功能需求和安全需求进行模型精化层次的设计,避免因在抽象模型中建模复杂的需求而导致证明困难;最后,在模型中使用形式化语言Event-B对TACS的功能需求和安全需求进行建模并验证其正确性,且在建模过程中,利用ADT的抽象概念将轨道网络、轨道区域以及移动授权(Movement Authority,MA)等复杂系统组件在初始模型中指定组件的必要属性,且在后续系统建模过程必要的精化阶段引入组件的具体定义,以降低系统开发和证明的复杂度。结果表明:提出的方法有助于在早期开发阶段减少TACS中复杂的细节部分,使得证明义务成功率为100%,自动证明成功率占比83%,手动证明成功率仅占比仅17%,在简化证明义务的同时有效提高了自动化证明的占比。; 陈祖希牛传军梅萌刘杰刘传振郑黎晓骆翔宇潘亮汪小勇徐中伟; 关键词：EVENT-B 抽象数据类型

代数和数值算法的形式化开发方法: 代数和数值算法是算法程序设计中的重要组成部分，随着软件规模的不断扩大以及人工智能、大数据技术的迅速发展，代数和数值算法的研究不仅要确保程序开发过程的正确性还要考虑传统的命令式程序在大数据时代背景下是否拥有足够的数据处理能...; 苏崴; 关键词：程序设计形式化开发数学归纳法

基于STPA的安全攸关系统形式化开发方法、系统及存储介质: 本发明涉及一种基于STPA的安全攸关系统形式化开发方法、系统及存储介质，其中安全攸关系统形式化开发方法包括：步骤1：基于STPA安全分析方法确定各项不安全操作UCA所对应的约束条件；步骤2：使用形式化方法为安全攸关系统建...; 梅萌; 文献传递

一种基于B方法的形式化开发方法: B方法是目前被广泛应用的一种形式化开发方法,然而B方法在实际的应用中仍然面临着许多的问题。为了能更简单高效的应用形式化方法来开发软件和系统,我们基于B方法提出了一种新的形式化方法(B*)来对软件和系统进行建模、实现和验证...; 黄昱马殿富赵永望赵宪琦; 关键词：B方法形式化方法代码转换

软件形式化开发方法的选择策略研究被引量：3: 2014年; 随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法 RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。; 彭成王盼卿; 关键词：形式化开发方法

ATP系统形式化开发方法的研究: 列车自动防护(Automatic Train Protection,简称 ATP)系统是基于通信的列车控制系统的一个负责列车安全的子系统。ATP系统负责了列车的测速、测距、超速防护、速度曲线的计算等等功能。因此,ATP系...; 白锐; 关键词：ATP系统形式化方法 UML建模列车自动防护系统; 文献传递

基于构件的软件形式化开发方法研究与应用: 如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。本文针对现有信息系统开发方法的不足,在对构件...; 姚全珠; 关键词：信息系统软件开发; 文献传递

一种基于B方法和构件技术的形式化开发方法: 2008年; 构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B方法和构件技术进行形式化开发的方法,并示例说明。; 唐宇; 关键词：B方法形式化开发方法

基于实时语言和面向方面的形式化开发方法被引量：1: 2006年; 面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语言PEARL,实现了软件开发各个阶段对面向方面的无缝支持。; 陈生庆张立臣陈广明; 关键词：实时系统形式化方法

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈