Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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