反应式系统相关论文
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件......
如今,无处不在的反应式系统(Reactive System)已经广泛深入了人们的生活,典型的反应式系统有操作系统、网络协议、飞机航线控制系......
反应式系统是指能对外界事件作出反应的系统,其特点是系统持续与所在环境进行交互,此类系统的性质一般涉及无限行为。而运行时验证......
测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测......
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入，对输入进行计算，并将计算结果反馈到外部环境来控制系......
提出了一种反应式系统选择性测试方法 .该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对......
反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如LTL(li......
介绍了一种机器人吸尘器中控制系统的开发流程。该系统以主要用于开发反应式控制系统的Esterel命令式同步语言编写，同时使用第三代E......
航迹规划是检验无人机的作战能力的关键因素之一,为了发挥无人机的最大作用,完成各项艰巨的任务,必须使无人机具有一定能力的规划......
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态......
有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往......
