期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines 被引量:1
1
作者 Basri Tugcan Celebi Ozgur Turay Kaymakci 《Journal of Modern Transportation》 2016年第4期277-283,共7页
Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly re... Railway transportation system is a critical sector where design methods and techniques are defined by international standards in order to reduce possible risks to an acceptable minimum level. CENELEC 50128 strongly recommends the utilization of finite state machines during system modelling stage and formal proof methods during the verifi- cation and testing stages of control algorithms. Due to the high importance of interlocking table at the design state of a sig- nalization system, the modelling and verification of inter- locking tables are examined in this work. For this purpose, abstract state machines are used as a modelling tool. The developed models have been performed in a generalized structure such that the model control can be done automatically for the interlocking systems. In this study, NuSMV is used at the verification state. Also, the consistency of the developed models has been supervised through fault injection. The developed models and software components are applied on a real railway station operated by Metro Istanbul Co. 展开更多
关键词 Model checking - abstract state machines Interlocking
在线阅读 下载PDF
用基本ASM定义SDL动态语义 被引量:2
2
作者 赵宇虹 艾波 《吉林大学学报(信息科学版)》 CAS 2002年第2期31-36,共6页
提出了用基本 ASM(Abstract State Machine)定义 SDL(Specisification and Descripiton Language)动态语义的方法框架。由于 SDL的复杂性 ,重点介绍了用 ASM模拟 SDL状态机交替工作方式 ,创建 agent和procedure实例以及复合状态应用。... 提出了用基本 ASM(Abstract State Machine)定义 SDL(Specisification and Descripiton Language)动态语义的方法框架。由于 SDL的复杂性 ,重点介绍了用 ASM模拟 SDL状态机交替工作方式 ,创建 agent和procedure实例以及复合状态应用。该方法简化了当前用分布式 ASM定义的 展开更多
关键词 SDL语言 形式定义 动态语义 抽象状态机(asm)
在线阅读 下载PDF
基于抽象状态机的网格系统设计和分析 被引量:4
3
作者 刘晖 李明禄 《电子学报》 EI CAS CSCD 北大核心 2003年第z1期2096-2100,共5页
基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述... 基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 . 展开更多
关键词 抽象状态机 抽象状态机语言 网格 软件测试 可执行规范 有限状态机
在线阅读 下载PDF
基于算法状态机FPGA的空间TDICCD相机控制器 被引量:2
4
作者 李进 金龙旭 +3 位作者 韩双丽 张然峰 吕曾明 郝贤鹏 《太赫兹科学与电子信息学报》 2013年第4期650-654,共5页
针对目前基于数字信号处理(DSP)的空间时间延时积分电荷耦合器件(TDICCD)相机控制器可靠性差、资源耗费和功耗大、程序重调能力差等问题,提出了一种算法状态机现场可编程门阵列(FPGA)的空间电荷耦合器件(CCD)相机控制器。控制器使用FPG... 针对目前基于数字信号处理(DSP)的空间时间延时积分电荷耦合器件(TDICCD)相机控制器可靠性差、资源耗费和功耗大、程序重调能力差等问题,提出了一种算法状态机现场可编程门阵列(FPGA)的空间电荷耦合器件(CCD)相机控制器。控制器使用FPGA代替DSP,控制程序使用VHDL语言编写。使用自主研发的地面检测设备进行实验,实验结果表明,相机控制器可以稳定正常地工作,控制CCD拍摄的图像清晰,未发生串行现象。整个控制程序占用FPGA资源较少,占用LUTs和Block RAMs分别为38%和20%,满足空间CCD相机应用的需求。 展开更多
关键词 电荷耦合器件相机控制器 现场可编程门阵列 算法状态机
在线阅读 下载PDF
服务网格的用户3A使用模式 被引量:2
5
作者 吕毅 王源 李晓林 《电子学报》 EI CAS CSCD 北大核心 2007年第2期292-298,共7页
用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题,用户3A使用网格,即Anytime,Any place,and on Any device,体现了用户对网格使用的基本需求.本文给出了用户3A使用模式的形式定义,并利用ASM(Abstract State Machine... 用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题,用户3A使用网格,即Anytime,Any place,and on Any device,体现了用户对网格使用的基本需求.本文给出了用户3A使用模式的形式定义,并利用ASM(Abstract State Machine)对用户和服务网格(USG)进行了形式化建模,最后证明了用户和服务网格系统在满足用户合法性s、ession连通性和服务连续性的情况下,用户可以3A使用服务网格. 展开更多
关键词 服务网格 3A使用模式 抽象状态机 网格模型
在线阅读 下载PDF
网构软件模型中的抽象状态机设计
6
作者 张引 何浩 +1 位作者 赵丽娜 张三元 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2010年第5期923-929,共7页
为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机(ASM).在Internet的计算环境下,采用peer-to-peer(P2P)拓扑结构作为网构软件模型的支撑网络环境,使用ASM的方法从较高的抽象层次(概念层)描述整个系统的行为... 为了更好地支持和实现网构软件的自动化,提出在网构软件模型中使用抽象状态机(ASM).在Internet的计算环境下,采用peer-to-peer(P2P)拓扑结构作为网构软件模型的支撑网络环境,使用ASM的方法从较高的抽象层次(概念层)描述整个系统的行为与状态变迁,使系统特征易于把握.分析网构软件模型中ASM的架构,详细阐述ASM的运行规则,说明了系统状态特征的变迁情况.根据ASM方法所涉及到的各种状态、事件、方法、数据、规则等进行相应的设计和实现,已经初步形成一个网构软件设计和运行的支撑平台,证明了ASM在网构软件模型中的可行性以及ASM能够实现网构软件的自动化特性. 展开更多
关键词 网构软件 抽象状态机(asm) peer-to-peer(P2P) AGENT
在线阅读 下载PDF
SDL静态语义定义研究 被引量:1
7
作者 赵宇虹 艾波 《吉林大学学报(信息科学版)》 CAS 2002年第1期39-44,共6页
在分析当前 SDL (Specification and Description Language)静态语义定义方法的基础上 ,从另一角度给出了用抽象状态机 (ASM:Abstract State Machine)定义 SDL静态语义定义的方法。与现有方法相比 ,该方法不直接使用语法树 ,而是利用静... 在分析当前 SDL (Specification and Description Language)静态语义定义方法的基础上 ,从另一角度给出了用抽象状态机 (ASM:Abstract State Machine)定义 SDL静态语义定义的方法。与现有方法相比 ,该方法不直接使用语法树 ,而是利用静态和动态函数定义静态语义 ,解决了现行方法中“=”引起的二义性问题 。 展开更多
关键词 SDL语言 形式定义 静态语义 抽象状态机(asm)
在线阅读 下载PDF
基于抽象状态机的普适服务组合分析与验证 被引量:1
8
作者 易良辰 黄林鹏 《微电子学与计算机》 CSCD 北大核心 2013年第3期122-126,共5页
提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的... 提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景. 展开更多
关键词 抽象状态机 普适计算 服务组合 验证方法
在线阅读 下载PDF
SDL-2000动态语义定义方法
9
作者 赵宇虹 艾波 《吉林大学学报(信息科学版)》 CAS 2002年第3期25-28,共4页
讨论了 SDL-2 0 0 0的建议 Z.1 0 0的附件 F中用分布式实时抽象状态机 (ASM:Abstract StateMachine)形式地定义 SDL (Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比 ,该方法能够更直接地定义... 讨论了 SDL-2 0 0 0的建议 Z.1 0 0的附件 F中用分布式实时抽象状态机 (ASM:Abstract StateMachine)形式地定义 SDL (Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比 ,该方法能够更直接地定义 SDL的动态语义 ,具有易于维护和可读性好等特点。 展开更多
关键词 SDL语言 形式定义 动态语义 抽象状态机(asm)
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部