-
乌普巴尔
- 615篇参考文献[SW04702]
- 建模、仿真与验证真实-时间 系统由计算机基础研究共同开发…瑞典大学。适合于系统这可以被建模为一个集合…具有有限控制结构的确定性过程真实值时钟，通过通道通信或共享…WPD49，LPW9B2]。典型应用领域包括真实-时间控制器和通信协议，特别是那些…
-
克罗诺斯
- 259篇参考文献[SW01270]
- 系统.真实-时间 系统是系统必须严格执行任务。时间截止日期…协议就是这样的例子时间依赖的系统. 这些系统往往是复杂的一部分…失败可能造成严重后果。因此，真实-时间 系统需要严格建模…期望的要求。在KRONOS中，成分真实-时间 系统模型化定时的自动机…
-
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]
- 开发与验证真实-时间嵌入的系统正确的行为真实-时间应用违反事实真实-时间嵌入式中的约束系统是最难的错误…系统本身。显然，发展真实-时间 系统需要严格的方法和工具…致力于设计和验证真实-时间电信软件。其中一个主要…
-
莫卡
- 17篇参考文献[SW02629 ]
- 多处理器在线竞争算法真实-时间 系统行程安排。我们研究竞争性在线…多处理器调度真实-时间环境。在我们的模型中，每个任务都有一个期限…保证任何在线平行真实-时间调度程序可以给出。然后我们提出…已知的多处理器竞争调度真实-时间 系统…
-
马特
- 21篇参考文献[SW21826]
- MARTE：建模与分析真实-时间嵌入式系统. 这个规格…基于模型的描述真实 时间嵌入式系统. 然后提炼这些核心概念…详细设计真实-时间嵌入特性系统. MARTE也关注基于模型的…定义新的分析技术真实-时间嵌入式系统但要支持他们。因此…
