Towards Interactive Timing Analysis for Designing Reactive Systems

Insa Fuhrmann, David Broman, Steven Smyth and Reinhard von Hanxleden

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2014-26
April 3, 2014

http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.pdf

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.


BibTeX citation:

@techreport{Fuhrmann:EECS-2014-26,
    Author = {Fuhrmann, Insa and Broman, David and Smyth, Steven and von Hanxleden, Reinhard},
    Title = {Towards Interactive Timing Analysis for Designing Reactive Systems},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2014},
    Month = {Apr},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.html},
    Number = {UCB/EECS-2014-26},
    Abstract = {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.}
}

EndNote citation:

%0 Report
%A Fuhrmann, Insa
%A Broman, David
%A Smyth, Steven
%A von Hanxleden, Reinhard
%T Towards Interactive Timing Analysis for Designing Reactive Systems
%I EECS Department, University of California, Berkeley
%D 2014
%8 April 3
%@ UCB/EECS-2014-26
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.html
%F Fuhrmann:EECS-2014-26