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

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2014-26

April 3, 2014

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},
    Year= {2014},
    Month= {Apr},
    Url= {http://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.html
%F Fuhrmann:EECS-2014-26