• 乌帕阿尔

  • 引用634篇文章[sw04702]
  • 建模、仿真和验证真实的-时间 系统,由计算机基础研究共同开发。。。瑞典大学。它适合于系统可以建模为一个集合。。。确定性过程与有限控制真实的-有价值的时钟,通过信道通信或共享。。。WPD94,LPW97b]。典型应用领域包括真实的-时间控制器和通信协议,尤其是那些。。。
  • 克洛诺斯

  • 引用263篇文章[sw01270]
  • 系统.真实的-时间 系统系统必须在严格的时间截止日期。。。协议就是这样的例子时间-从属系统. 这些系统通常是复杂的。。。失败可能会带来严重后果。因此,真实的-时间 系统需要严格建模。。。期望的要求。在克洛诺斯语中真实的-时间 系统模型由定时自动机。。。
  • 埃斯特雷尔

  • 在163篇文章中引用[sw20012]
  • 适合编程反应式系统,包括真实的-时间 系统控制自动机。埃斯特雷尔。。。
  • 二郎

  • 参考109篇文章[sw07202]
  • 用于构建可大规模扩展的软件真实的-时间 系统具有高可用性要求。一些。。。
  • Pfinder公司

  • 引用80篇文章[sw36676]
  • 人体。Pfinder是一个真实的-时间 系统为了追踪人们并解释他们的行为。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 建模、仿真和验证真实的-时间 系统,由计算机基础研究共同开发。。。区域包括真实的-时间尤其是控制器和通信协议时机方面。。。Uppaal2k包括:图形系统允许图形化描述的编辑器系统. 一个图形模拟器。。。特定的案例验证真实的-时间 系统失败。诊断痕迹可能会自动。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 基于组件的验证环境真实的-时间 系统人们普遍认为自动化。。。定时异步系统(例如电信协议或分布式。。。研究真实的-时间异步原语系统. 目前,工具箱包含专用的。。。
  • 信号

  • 引用51篇文章[sw02915]
  • 类似模块系统同步语言信号。同步语言,如信号,是最好的。。。适用于可靠性设计真实的-时间 系统. 同步语言可以实现非常高的。。。
  • 中央军委

  • 在34篇文章中引用[sw12422]
  • 组件模型检查工具真实的-时间 系统. 在本文中,我们提出。。。组合模型检查真实的-时间 系统. CMC是基于完全不同的方法。。。与现有相比真实的-时间验证工具(HYTECH、KRONOS、UPPAAL)。描述之后。。。互斥协议和铁路道口系统...
  • PPL公司

  • 引用96篇文章[sw05357]
  • 凸多面体在一些系统对于硬件的分析和验证。。。同步语言和同步协议,真实的-时间混合动力车系统. 自从开创性的工作。。。
  • 真实时间

  • 引用41篇文章[sw13636号]
  • 基于Matlab/Simulink的真实的-时间控制系统. TrueTime有助于控制器任务执行的协同仿真。。。
  • 兔子

  • 引用24篇文章[sw01317]
  • 基于BDD的验证工具真实的-时间 系统. 本文简要概述了。。。模型检查工具真实的-时间 系统. 建模语言是定时自动机扩展了。。。
  • 税收

  • 引用21篇文章[sw01389]
  • 开发和验证真实的-时间嵌入的系统正确的行为真实的-时间应用。。。事实上,违反真实的-时间嵌入的约束系统是最难犯的错误。。。系统本身。显然真实的-时间 系统需要严格的方法和工具。。。致力于真实的-时间电信软件。一个少校。。。
  • 拍打

  • 引用31篇文章[sw13258]
  • concurrent的编写、模拟和推理,真实的-时间 系统以及其他可能的领域。它来了。。。
  • 用鼻子哼哼

  • 引用46篇文章[sw14144]
  • Snort:开源入侵防御系统能够真实的-时间流量分析和数据包记录。。。
  • 摩卡

  • 引用18条[sw02629]
  • 多处理器在线竞争算法真实的-时间 系统行程安排。我们在网上学习竞争。。。多处理机调度真实的-时间环境。在我们的模型中,每个任务都有一个截止日期。。。保证任何在线并联真实的-时间调度员可以给。那么我们现在。。。以竞争性的多处理器调度而闻名真实的-时间 系统...
  • 模仿者

  • 引用的第27条[sw00439]
  • 参数验证与鲁棒性分析真实的-时间 系统带参数。它依赖于。。。
  • 时代

  • 引用25篇文章[sw01403]
  • 嵌入式系统可调度性分析工具真实的-时间 系统在乌普萨拉大学开发的。。。
  • 马蒂

  • 引用21篇文章[sw21826]
  • MARTE:建模与分析真实的-时间并嵌入系统. 本规范。。。基于模型的描述真实的 时间并嵌入系统. 这些核心概念然后被提炼。。。详细设计真实的-时间以及系统. MARTE关注的也是基于模型的。。。定义分析的新技术真实的-时间嵌入式系统但是为了支持他们。因此。。。
  • 台阶

  • 引用36篇[sw17948]
  • 辅助形式验证反应,真实的-时间混合动力车系统根据他们的时间规范。。。