Change search
ReferencesLink to record
Permanent link

Direct link
Towards Interactive Timing Analysis for Designing Reactive Systems
Christian-Albrechts-Universität zu Kiel.
University of California, Berkeley and Linköping University.ORCID iD: 0000-0001-8457-4105
Christian-Albrechts-Universität zu Kiel.
Christian-Albrechts-Universität zu Kiel.
2014 (English)Report (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
, UC Berkeley EECS Technical Report, UCB/EECS-2014-26
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-164157OAI: diva2:803894

QC 20150420

Available from: 2015-04-14 Created: 2015-04-14 Last updated: 2016-06-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Published version

Search in DiVA

By author/editor
Broman, David
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 8 hits
ReferencesLink to record
Permanent link

Direct link