Modeling event-driven real-time applications using DAGs

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.