GDPA  
Index for tools/publications on formal methods  

Types of Systems: Real-time systems

Contents  
  • Publications
  • Projects/Tools
  • See also
  • Publications

    2000:
    /Dang, 2000/ Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time System
    /Kopetz, 2000/ Software Engineering for Real-time: A Roadmap
    /Theaker, 2000/ The introduction and evaluation of object orientation in a company developing real-time embedded systems

    1999:
    /Braberman, 1999/ Verification of Real Time Designs: Combining Scheduling Theory with Automatic Formal Verification
    /Gafni, 1999/ Robots: A Real-Time Systems Architectural Style
    /Zoli, 1999/ Configuration Management for multi-site co-operative Development of real-time Software

    1995:
    /Choi, 1995a/ The Specification and Schedulability Analysis of Real-Time Systems using ACSR

    1992:
    /Shumate, 1992/ Software Specification and Design - A Disciplined Approach for Real-Time Systems

    1987:
    /Hatley, 1987/ Strategies for Real-Time System Specification

    1985:
    /Ward, 1985/ Structured Development for Real-Time Systems

    Projects/Tools

    ACSR - Algebra of Communicating Shared Resources
    DC - Duration Calculus
    Kronos - verification tool
    PARAGON - visual specification and verification of real-time systems
    RAISE Method
    TRIO - tools for real-time systems
    TTM/RTTL - framework for real-time reactive systems
    UPPAAL - verification and validation tools for real-time systems
    VeriSoft - model checking tool

    See also

    Index for tools/publications on formal methods

    GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster