GameTime: A Toolkit for Timing Analysis of Software

被引：0

作者：

Seshia, Sanjit A. ^{[1
]}

Kotker, Jonathan ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept EECS, Berkeley, CA 94720 USA

来源：

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 2011年 / 6605卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Timing analysis is a key step in the design of dependable real-time embedded systems. In this paper, we present Game Time, a toolkit for execution time analysis of software. Game Time is based on a combination of game-theoretic online learning and systematic testing using satisfiability modulo theories (SMT) solvers. In contrast with many existing tools for timing analysis, Game Time can be used for a range of tasks, including estimating worst-case execution time, predicting the distribution of execution times of a task, and finding timing-related bugs in programs. We describe key implementation details of Game Time and illustrate its usage through examples.

引用

页码：388 / 392

页数：5

共 50 条

[1] Modeling software quality: The software measurement analysis and reliability toolkit
Khoshgoftaar, TM
Allen, EB
Busboom, JC
[J]. 12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 54 - 61
[2] A SOFTWARE TOOLKIT FOR HIERARCHICAL TASK-ANALYSIS
BASS, A
ASPINALL, J
WALTERS, G
STANTON, N
[J]. APPLIED ERGONOMICS, 1995, 26 (02) : 147 - 151
[3] A software toolkit for the quantitative analysis course.
Spence, DM
[J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1998, 216 : U401 - U401
[4] A software tool for the timing analysis of embedded software
Luculli, G
Sangiovanni-Vincentelli, A
[J]. MELECON 2000: INFORMATION TECHNOLOGY AND ELECTROTECHNOLOGY FOR THE MEDITERRANEAN COUNTRIES, VOLS 1-3, PROCEEDINGS, 2000, : 754 - 757
[5] Software safety analysis: Using the entire risk analysis toolkit
Guthrie, VH
Parikh, PB
[J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2004 PROCEEDINGS, 2004, : 272 - 279
[6] Analyzing Variability in Automation Software with the Variability Analysis Toolkit
Schlie, Alexander
Rosiak, Kamil
Urbaniak, Oliver
Schaefer, Ina
Vogel-Heuser, Birgit
[J]. 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE(SPLC 2019), VOL B, 2019, : 191 - 198
[7] A Software Toolkit for Nonlinear Heart Rate Variability Analysis
Garcia, Constantino A.
Otero, Abraham
Presedo, Jesus
Vila, Xose
Felix, Paulo
[J]. 2013 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), 2013, 40 : 393 - 396
[8] REPTATE rheology software: Toolkit for the analysis of theories and experiments
Boudara, Victor A. H.
Read, Daniel J.
Ramirez, Jorge
[J]. JOURNAL OF RHEOLOGY, 2020, 64 (03) : 709 - 722
[9] Towards a Software Toolkit for Neurophysiological Data Collection and Analysis
Niehaus, James
Weyhrauch, Peter
[J]. FOUNDATIONS OF AUGMENTED COGNITION: DIRECTING THE FUTURE OF ADAPTIVE SYSTEMS, 2011, 6780 : 199 - 202
[10] PyPWA: A software toolkit for parameter optimization and amplitude analysis
Jones, Mark
Hurck, Peter
Phelps, William
Salgado, Carlos W.
[J]. NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2024, 1062

← 1 2 3 4 5 →