Citation
Insa Fuhrmann, David Broman, Steven Smyth, Reinhard von Hanxleden. "Towards Interactive Timing Analysis for Designing Reactive Systems". Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2014-26, April, 2014.

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.

Electronic downloads

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

• HTML

  Insa Fuhrmann, David Broman, Steven Smyth, Reinhard von
  Hanxleden. <a
  href="http://chess.eecs.berkeley.edu/pubs/1072.html"
  ><i>Towards Interactive Timing Analysis for
  Designing Reactive Systems</i></a>, Technical
  report,  EECS Department, University of California,
  Berkeley, UCB/EECS-2014-26, April, 2014.

• Plain text

  Insa Fuhrmann, David Broman, Steven Smyth, Reinhard von
  Hanxleden. "Towards Interactive Timing Analysis for
  Designing Reactive Systems". Technical report,  EECS
  Department, University of California, Berkeley,
  UCB/EECS-2014-26, April, 2014.

• BibTeX

  @techreport{FuhrmannBromanSmythvonHanxleden14_TowardsInteractiveTimingAnalysisForDesigningReactive,
      author = {Insa Fuhrmann and David Broman and Steven Smyth
                and Reinhard von Hanxleden},
      title = {Towards Interactive Timing Analysis for Designing
                Reactive Systems},
      institution = {EECS Department, University of California, Berkeley},
      number = {UCB/EECS-2014-26},
      month = {April},
      year = {2014},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1072.html}
  }
  

Posted by David Broman on 28 Apr 2014.
Groups: pret
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.