Loading...
Please wait, while we are loading the content...
Similar Documents
Towards Interactive Timing Analysis for Designing Reactive Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Fuhrmann, Insa Broman, David Smyth, Steven Hanxleden, Reinhard Von |
| Copyright Year | 2014 |
| Abstract | 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. |
| File Format | PDF HTM / HTML |
| DOI | 10.21236/ada605312 |
| Alternate Webpage(s) | https://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.pdf |
| Alternate Webpage(s) | https://rtsys.informatik.uni-kiel.de/~biblio/downloads/talks/repp14-talk.pdf |
| Alternate Webpage(s) | http://www.dtic.mil/dtic/tr/fulltext/u2/a605312.pdf |
| Alternate Webpage(s) | http://www.dtic.mil/get-tr-doc/pdf?AD=ADA605312 |
| Alternate Webpage(s) | http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.pdf |
| Alternate Webpage(s) | http://digitalassets.lib.berkeley.edu/techreports/ucb/text/EECS-2014-26.pdf |
| Alternate Webpage(s) | https://doi.org/10.21236/ada605312 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
