Towards Interactive Timing Analysis for Designing Reactive Systems
2014 (English)Report (Other academic)
Reactive systems are increasingly developed using high-level modeling tools. Such modeling tools may facilitate formal reasoning about concurrent programs, but provide little help when timing-related problems arise and deadlines are missed when running a real system. In these cases, the modeler has typically no information about timing properties and costly parts of the model; there is little or no guidance on how to improve the timing characteristics of the model. In this paper, we propose a design methodology where interactive timing analysis is an integral part of the modeling process. This methodology concerns how to aggregate timing values in a user-friendly manner and how to define timing analysis requests. We also introduce and formalize a new timing analysis interface that is designed for communicating timing information between a high-level modeling tool and a lower-level timing analysis tool.
Place, publisher, year, edition, pages
, UC Berkeley EECS Technical Report, UCB/EECS-2014-26
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-164157OAI: oai:DiVA.org:kth-164157DiVA: diva2:803894
QC 201504202015-04-142015-04-142016-06-13Bibliographically approved