Performance evaluation is a central issue in the design of complex real-time ysstmes.In this work,we prospsoe an extension of so called "Max-Plus" algebraci techniques to handle more relaistic types of real-time systems.In particular,our framework encompasss graph or partial order autoamta,adn more generally abstract models of real-time computations (including synchronous progrmas running over distributed architectures).
展开▼