RATAN: A tool for rate analysis and rate constraint debugging for embedded systems

This publication has 8 references indexed in Scilit:

• A framework for interactive analysis of timing constraints in embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Performance estimation for real-time distributed embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An algorithm for exact bounds on the time separation of events in concurrent systems
  IEEE Transactions on Computers, 1995
• Performance analysis of embedded software using implicit path enumeration
  Published by Association for Computing Machinery (ACM) ,1995
• Interface optimization for concurrent systems under timing constraints
  IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1993
• High Level Synthesis of ASICs under Timing and Synchronization Constraints
  Published by Springer Nature ,1992
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
  IEEE Transactions on Software Engineering, 1980
• A characterization of the minimum cycle mean in a digraph
  Discrete Mathematics, 1978