The Real-Time Maude Tool

机译：实时Maude工具

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Real-Time Maude is a rewriting-logic-based tool supporting the formal speciflcation and analysis of real-time systems. Our tool emphasizes expressiveness and ease of specification over algorithmic decidability of key properties, and provides a spectrum of analysis methods, including symbolic simulation, and unbounded and time-bounded reachability analysis and LTL model checking. Real-Time Maude has proved well suited to analyze both correctness and performance of large and complex real-time systems, including state-of-the-art schedulers, network protocols, and wireless sensor network algorithms.

机译：实时Maude是一种基于重写逻辑的工具，支持对实时系统进行正式的规范和分析。我们的工具强调关键属性的算法可决定性的表现力和易于说明，并提供了一系列分析方法，包括符号模拟，无界和时限可及性分析以及LTL模型检查。事实证明，实时Maude非常适合分析大型复杂的实时系统的正确性和性能，包括最新的调度程序，网络协议和无线传感器网络算法。

著录项

来源
《Tools and Algorithms for the Construction and Analysis of Systems》|2008年|P.332-336|共5页
会议地点 Budapest(HU);Budapest(HU);Budapest(HU);Budapest(HU)
作者
Peter Csaba OElveczky; Jose Meseguer;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类设计与性能分析;
关键词

相似文献

外文文献
中文文献
专利

1. Verification of the European Rail Traffic Management System in Real-Time Maude [J] . Ulrich Berger, Phillip James, Andrew Lawrence, Science of Computer Programming . 2018,第MARa1期

机译：实时Maude中的欧洲铁路交通管理系统验证
2. A model transformation approach for specifying real-time systems and its verification using RT-maude [J] . Bendiaf Messaoud, Bourahla Mustapha, Boudia Malika, International journal of information technology and web engineering . 2017,第4期

机译：用于指定实时系统的模型转换方法及其使用RT-maude的验证
3. Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude [J] . Jiaxiang Liu, Min Zhou, Xiaoyu Song, IEEE Transactions on Industrial Electronics . 2017,第4期

机译：带有实时Maude的速率单调调度实现的形式化建模和验证
4. The Real-Time Maude Tool [C] . Peter Csaba Olveczky, Jose Meseguer International Conference on Tools and Algorithms for the Construction and Analysis of Systems . 2008

机译：实时Maude工具
5. Se jouer: La performance du soi ou le dévoilement littéraire chez Maude Veilleux [D] . Mimeault-Boivin, Amélie. 2020

机译：玩：在Maude Veilleux的自我或文学中的表现
6. Quality Control Analysis in Real-time (QC-ART): A Tool for Real-time Quality Control Assessment of Mass Spectrometry-based Proteomics Data [O] . Bryan A. Stanfill, Ernesto S. Nakayasu, Lisa M. Bramer, 2018

机译：实时质量控制分析（QC-ART）：基于质谱的蛋白质组学数据实时质量控制评估的工具
7. Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems11Supported by DARPA through Rome Laboratories Contract F30602-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grant CCR-9900334. [O] . Csaba ölveczky Peter, Meseguer José 2000

机译：实时Maude：一种用于仿真和分析实时和混合系统的工具11由DARPA通过罗马实验室合同F30602-C-0312，海军研究办公室N00014-99-C-0198和国家科学基金会Grant CCR-9900334的支持。
8. Semantics and Pragmatics of Real-Time Maude [R] . Olveczky, P. C., Meseguer, J. 2007

机译：实时maude的语义和语用

The Real-Time Maude Tool

摘要

著录项

相似文献

相关主题

期刊订阅