Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting
2016 (English)Conference paper (Refereed)
Modeling tools typically provide no information about timing properties and costly parts of the system under development. In this paper we propose a generic approach to integrate timing analysis and modeling tools. This approach includes visual highlighting to guide the user to worst-case execution time hotspots, detailed timing information for specific model elements, and the separation of di↵erent types of timing val- ues. Our solution includes both a way to keep track of model elements subject to timing analysis during the compilation process, and a flexible and formally defined timing analysis interface for communicating timing information between a high-level modeling tool and a lower-level timing analysis tool. We present a complete open-source, Eclipse-based pro- totype tool chain that is evaluated both using a systematic benchmark suite and a user study.
Place, publisher, year, edition, pages
ACM Press, 2016.
IdentifiersURN: urn:nbn:se:kth:diva-199041OAI: oai:DiVA.org:kth-199041DiVA: diva2:1059699
24th International Conference on Real-Time Networks and Systems (RTNS)