Using Mappings to Prove Timing Properties

@inproceedings{Lynch1990UsingMT,
  title={Using Mappings to Prove Timing Properties},
  author={Nancy A. Lynch and Hagit Attiya},
  booktitle={PODC},
  year={1990}
}
A new technique for proving timing properties for timing-based algorithms is described; it is an extension of the mapping techniques previously used in proofs of safety properties for asynchronous concurrent systems. The key to the method is a way of representing a system with timing constraints as an automaton whose state includes predictive timing information. Timing assumptions and timing requirements for the system are both represented in this way. A multi-valued mapping from the… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 70 CITATIONS

Software engineering : testing real-time embedded systems using timed automata based approaches

  • Journal of Systems and Software
  • 2012
VIEW 16 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Automatic verification of the timing properties of MMT automata

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Simulation Techniques for Proving Properties of Real-Time Systems

  • REX School/Symposium
  • 1993
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND

Action transducers and timed automata

  • Formal Aspects of Computing
  • 1994
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND

Formal specification and verification of components' real-time behavior

  • 2010 IEEE International Conference on Software Engineering and Service Sciences
  • 2010
VIEW 1 EXCERPT
CITES BACKGROUND

Incorporating time factor into behavior protocol model

  • 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE)
  • 2010
VIEW 1 EXCERPT

FILTER CITATIONS BY YEAR

1991
2012

CITATION STATISTICS

  • 7 Highly Influenced Citations