Modeling event-driven real-time applications using DAGs
Bini E., Lipari G., Vitucci C.
In this paper, we present a novel formalism for modeling event-driven real-time applications based on Directed Acyclic Graphs (dag). We explain how it is possible to express sevral kinds of software constructs with our model, and how these constructs can be mapped to mathematical equations. The goal is to express a real-time schedulability problem as a operation research problem. In the future we plan to develop novel optimization algorithms for solving this problem.Source: 22nd IEEE Real-Time Systems Symposium, Work in Progress Session, London, UK, 3-6 December 2001