The Real-Time Maude tool

被引：0
|
作者：
Olveczky, Peter Csaba [1 ]
Meseguer, Jose [2 ]
机构：
[1] Univ Oslo, Dept Informat, N-0316 Oslo, Norway
[2] Univ Illinois, Dept Comp Sci, Urbana, IL USA
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 2008年 / 4963卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Real-Time Maude is a rewriting-logic-based tool supporting the formal specification 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.
引用
收藏
页码：332 / +
页数：2
相关论文
共 50 条
  • [21] ReTiS:: a real-time simulation tool for the analysis of distributed real-time applications
    Briday, M
    Béhennec, JL
    Trinquet, Y
    [J]. WFCS 2004: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 2004, : 257 - 264
  • [22] Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
    Moreno-Delgado, Antonio
    Duran, Francisco
    Meseguer, Jose
    [J]. REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2016, 2016, 9942 : 118 - 133
  • [23] Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude
    James, Phillip
    Lawrence, Andrew
    Roggenbach, Markus
    Seisenberger, Monika
    [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 103 - 120
  • [24] Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
    Wirsing, Martin
    Bauer, Sebastian S.
    Schroeder, Andreas
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (36): : 1 - 25
  • [25] A Real-Time Tool Integration for Lectures
    Bakonyi, V. H.
    Szabo, T.
    Illes, Z.
    [J]. 2017 15TH IEEE INTERNATIONAL CONFERENCE ON EMERGING ELEARNING TECHNOLOGIES AND APPLICATIONS (ICETA 2017), 2017, : 31 - 36
  • [26] A tool for controlling response time in real-time systems
    Richard, P
    [J]. COMPUTER PERFORMANCE EVALUATION: MODELLING TECHNIQUES AND TOOLS, 2002, 2324 : 339 - 348
  • [27] Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
    Oelveczky, Peter Csaba
    Meseguer, Jose
    Talcott, Carolyn L.
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2006, 29 (03) : 253 - 293
  • [28] Formal Modeling and analysis of the OGDC wireless sensor network algorithm in real-time maude
    Oelveczky, Peter Csaba
    Thorvaldsen, Stian
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 122 - +
  • [29] Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
    Peter Csaba Ölveczky
    José Meseguer
    Carolyn L. Talcott
    [J]. Formal Methods in System Design, 2006, 29 : 253 - 293
  • [30] Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude
    Olveczky, Peter Csaba
    [J]. FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 368 - 402
12345