• 乌普巴尔

  • 615篇参考文献[SW04702]
  • 建模、仿真与验证真实-时间 系统由计算机基础研究共同开发…瑞典大学。适合于系统这可以被建模为一个集合…具有有限控制结构的确定性过程真实值时钟,通过通道通信或共享…WPD49,LPW9B2]。典型应用领域包括真实-时间控制器和通信协议,特别是那些…
  • 克罗诺斯

  • 259篇参考文献[SW01270]
  • 系统.真实-时间 系统系统必须严格执行任务。时间截止日期…协议就是这样的例子时间依赖的系统. 这些系统往往是复杂的一部分…失败可能造成严重后果。因此,真实-时间 系统需要严格建模…期望的要求。在KRONOS中,成分真实-时间 系统模型化定时的自动机…
  • 埃斯特尔

  • 161篇参考文献[SW1212]
  • 适合编程反应系统包括真实-时间 系统控制自动机。Esterel…
  • 二郎

  • 104篇参考文献[SW07202]
  • 用于构建大规模可扩展的软件真实-时间 系统对高可用性的要求。一些…
  • UPPAAL2K

  • 43篇参考文献[SW01595]
  • 建模、仿真与验证真实-时间 系统由计算机基础研究共同开发…区域包括真实-时间控制器和通信协议,特别是那些计时方面。。。UPPAAL2K包括:图形系统允许图形描述的编辑器系统. 图形模拟器…特定案例验证真实-时间 系统失败。诊断痕迹可能是自动的…
  • IF-2.0

  • 46篇参考文献[SW03303]
  • 基于组件的验证环境真实-时间 系统人们普遍认识到自动化…提供一个开放的验证平台定时的异步的系统(如电信协议或分布式协议)语义研究真实-时间异步原语系统. 目前,工具箱包含专用的…
  • 信号

  • 51篇参考文献[SW0915]
  • 类模块系统对于同步语言信号。同步语言,如信号,是最好的…适用于可靠的设计真实-时间 系统. 同步语言使一个非常高的…
  • 羧甲基纤维素

  • 32篇参考文献[SW12422]
  • 组合模型检验工具真实-时间 系统. 在本文中,我们提出…组合模型检验真实-时间 系统. CMC是基于完全不同的方法…与现有相比真实-时间验证工具(HyTeCo,KRONOS,UPPAAL)。经过描述…互斥协议与铁路道口系统
  • 聚苯硫醚

  • 89篇参考文献[SW05357]
  • 多个凸多面体系统对于硬件的分析和验证…同步语言和同步协议,真实-时间杂种系统. 自从开创性的工作以来…
  • 真实时间

  • 36篇参考文献[SW13636]
  • 基于MATLAB/SIMULINK的模拟器真实-时间控制装置系统. TruteTimo有助于控制器任务执行的协同仿真…
  • 兔子

  • 24篇参考文献[SW01317]
  • 基于BDD的验证工具真实-时间 系统. 本文给出了一个简短的概述…模型检查工具真实-时间 系统. 建模语言是定时的自动机扩展…
  • 出租汽车

  • 21篇参考文献[SW01389]
  • 开发与验证真实-时间嵌入的系统正确的行为真实-时间应用违反事实真实-时间嵌入式中的约束系统是最难的错误…系统本身。显然,发展真实-时间 系统需要严格的方法和工具…致力于设计和验证真实-时间电信软件。其中一个主要…
  • 拍打

  • 30篇参考文献[SW13258]
  • 并发性的构成、仿真与推理真实-时间 系统以及其他可能的领域。它来了…
  • 用鼻子哼哼

  • 46篇参考文献[SW14144]
  • Snort:开源入侵防御系统能够真实-时间流量分析和数据包记录…
  • 时代

  • 25篇参考文献[SW01403]
  • 嵌入式可调度性分析工具真实-时间 系统,在乌普萨拉大学开发…
  • 模仿者

  • 26篇参考文献[SWO4439 ]
  • 参数验证与鲁棒性分析真实-时间 系统具有参数。它依赖…
  • 莫卡

  • 17篇参考文献[SW02629 ]
  • 多处理器在线竞争算法真实-时间 系统行程安排。我们研究竞争性在线…多处理器调度真实-时间环境。在我们的模型中,每个任务都有一个期限…保证任何在线平行真实-时间调度程序可以给出。然后我们提出…已知的多处理器竞争调度真实-时间 系统
  • 马特

  • 21篇参考文献[SW21826]
  • MARTE:建模与分析真实-时间嵌入式系统. 这个规格…基于模型的描述真实 时间嵌入式系统. 然后提炼这些核心概念…详细设计真实-时间嵌入特性系统. MARTE也关注基于模型的…定义新的分析技术真实-时间嵌入式系统但要支持他们。因此…
  • 步骤

  • 36篇参考文献[SW17948 ]
  • 辅助的形式化验证真实-时间杂种系统基于它们的时间规范…
  • 光泽

  • 38篇参考文献[ SW08938 ]
  • 编程语言系统它们与环境相互作用真实-时间. 经过非正式的…