-
乌帕阿尔
- 引用644篇文章[sw04702]
- 建模、仿真和验证真实的-时间 系统，由计算机基础研究共同开发。。。瑞典大学。它适合于系统可以建模为一个集合。。。具有有限控制结构和真实的-有价值的时钟，通过信道通信或共享。。。WPD94，LPW97b]。典型应用领域包括真实的-时间控制器和通信协议，尤其是那些。。。
-
克洛诺斯
- 引用273篇文章[sw01270]
- 系统.真实的-时间 系统是系统必须在严格的时间截止日期。。。协议就是这样的例子时间-从属系统. 这些系统通常是复杂的。。。失败可能会带来严重后果。因此，真实的-时间 系统需要严格建模。。。期望的要求。在克洛诺斯语中真实的-时间 系统模型由定时自动机。。。
-
二郎
- 引用113篇文章[sw07202]
- 用于构建可大规模扩展的软件真实的-时间 系统具有高可用性要求。一些。。。
-
乌帕亚尔2K
- 引用了43篇文章[sw01595]
- 建模、仿真和验证真实的-时间 系统，由计算机基础研究共同开发。。。区域包括真实的-时间尤其是控制器和通信协议时机方面。。。Uppaal2k包括：图形系统允许图形化描述的编辑器系统. 一个图形模拟器。。。特定的案例验证真实的-时间 系统失败。诊断痕迹可能会自动。。。
-
如果-2.0
- 引用46篇文章[sw03303号]
- 基于组件的验证环境真实的-时间 系统人们普遍认为自动化。。。为定时异步系统（例如远程通信协议或分布式……研究真实的-时间异步原语系统. 目前，工具箱包含专用的。。。
-
信号
- 引用51篇文章[sw02915]
- 类似模块系统同步语言信号。同步语言，如信号，是最好的。。。适用于可靠性设计真实的-时间 系统. 同步语言可以实现非常高的。。。
-
中央军委
- 在34篇文章中引用[sw12422号文件]
- 组件模型检查工具真实的-时间 系统. 在本文中，我们提出。。。组合模型检查真实的-时间 系统. CMC是基于完全不同的方法。。。与现有相比真实的-时间验证工具（HYTECH、KRONOS、UPPAAL）。在描述之后。。。互斥协议和铁路道口系统...
-
PPL公司
- 引用97篇文章[sw05357]
- 凸多面体在一些系统对于硬件的分析和验证。。。同步语言和同步协议，真实的-时间混合动力车系统. 自从开创性的工作。。。
-
真实时间
- 引用41篇文章[sw13636号]
- 基于Matlab/Simulink的真实的-时间控制系统. TrueTime有助于控制器任务执行的协同仿真。。。
-
兔子
- 引用24篇文章[sw01317]
- 基于BDD的验证工具真实的-时间 系统. 本文简要概述了。。。模型检查工具真实的-时间 系统. 建模语言是定时自动机扩展了。。。
-
拍打
- 参考33篇文章[sw13258]
- concurrent的编写、模拟和推理，真实的-时间 系统以及其他可能的领域。它来了。。。
-
税收
- 引用21篇文章[sw01389]
- 开发和验证真实的-时间嵌入的系统正确的行为真实的-时间应用。。。事实上，违反真实的-时间嵌入的约束系统是最难犯的错误。。。系统本身。显然真实的-时间 系统需要严格的方法和工具。。。致力于真实的-时间电信软件。一个少校。。。
-
摩卡
- 引用18条[sw02629]
- 多处理器在线竞争算法真实的-时间 系统行程安排。我们在网上学习竞争。。。多处理机调度真实的-时间环境。在我们的模型中，每个任务都有一个截止日期。。。保证任何在线并联真实的-时间调度员可以给。那么我们现在。。。以竞争性的多处理器调度而闻名真实的-时间 系统...
-
时代
- 引用25篇文章[sw01403]
- 嵌入式系统可调度性分析工具真实的-时间 系统在乌普萨拉大学开发的。。。
-
马蒂
- 引用21篇文章[sw21826]
- MARTE：建模与分析真实的-时间并嵌入系统. 本规范。。。基于模型的描述真实的 时间并嵌入系统. 这些核心概念然后被提炼。。。详细设计真实的-时间以及系统. MARTE关注的也是基于模型的。。。定义分析的新技术真实的-时间并嵌入系统但是为了支持他们。因此。。。
