Compositional temporal analysis model for incremental hard real-time system design
Joost P.H.M. Hausmans, Stefan J. Geuns, Maarten H. Wiggers, Marco J.G. Bekooij · 2012
The incremental design and analysis of parallel hard real-time stream processing applications is hampered by the lack of an intuitive compositional temporal analysis model that supports arbitrary cyclic dependencies between tasks.