Results 1 - 10 of 808

Parametric WCET Analysis

by Stefan Bygde , 2007
"... WCET analysis is about getting information about the worst-case execution time for a program on a certain platform for any possible input. Static WCET analysis is an automatic way to derive a safe upper bound for the worst-case execution time of a program by analyzing its source code and the hardwar ..."
Abstract - Add to MetaCart
it is not possible to be sure that the worst case has been measured). In static analysis on the other hand, the estimation of the WCET should always be equal or greater than the actual WCET (ofcourse, assumed that the analysis tool is correct). In classic static WCET analysis, the upper bound of the execution time

Abstract interpretation and application to logic programs

by Patrick Cousot, Radhia Cousot , 1992
"... Abstract interpretation is a theory of semantics approximation which is usedfor the construction of semantics-basedprogram analysis algorithms (sometimes called“data flow analysis”), the comparison of formal semantics (e.g., construction of a denotational semantics from an operational one), the des ..."
Abstract - Cited by 317 (14 self) - Add to MetaCart
Abstract interpretation is a theory of semantics approximation which is usedfor the construction of semantics-basedprogram analysis algorithms (sometimes called“data flow analysis”), the comparison of formal semantics (e.g., construction of a denotational semantics from an operational one

Applying static WCET analysis to automotive communication software

by Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper - In 17th Euromicro Conf. on Real-Time Systems, (ECRTS’05 , 2005
"... The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previous technologies. These computers are often connected by one or more communication networks and the data traffic sent ove ..."
Abstract - Cited by 26 (11 self) - Add to MetaCart
current WCET analysis methods to these particular kind of systems. A central question was if today’s static WCET analysis tools can be used in the automotive software development process. In particular, we were interested in how labor-intensive the analysis becomes, measured by the number of manual

The stages of economic growth.

by W W Rostow - Economic History Review , 2nd series 12, , 1959
"... JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about J ..."
Abstract - Cited by 297 (0 self) - Add to MetaCart
propositions about supply, demand, and the pattern of production; and before indicating the historical content of the categories I shall briefly state the underlying propositions. A Dynamic Theory of Production The classical theory of production is formulated under essentially static assumptions which freeze

Processor Pipelines and Their Properties for Static WCET Analysis

by Jakob Engblom, Bengt Jonsson - Proceedings of EMSOFT 02: Second International Conference on Embedded Software, volume 2491 of Lecture Notes in Computer Science , 2002
"... When developing real-time systems, the worst-case execution time (WCET) is a commonly used measure for predicting and analyzing program and system timing behavior. Such estimates should preferrably be provided by static WCET analysis tools. Their analysis is made difficult by features of common ..."
Abstract - Cited by 19 (2 self) - Add to MetaCart
When developing real-time systems, the worst-case execution time (WCET) is a commonly used measure for predicting and analyzing program and system timing behavior. Such estimates should preferrably be provided by static WCET analysis tools. Their analysis is made difficult by features of common

Static Analysis Support for Measurement-based WCET Analysis

by Stefan Schaefer , Bernhard Scholz, Stefan M. Petters, Gernot Heiser - IN 12TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, WORK-IN-PROGRESS SESSION , 2006
"... Guaranteeing that the worst-case scenario has been covered for each basic block individually is a major challenge in measurement-based WCET analysis. On the static analysis side the accuracy of hardware models used are also subject to doubt as they are based on available documentation provided by ve ..."
Abstract - Cited by 8 (3 self) - Add to MetaCart
Guaranteeing that the worst-case scenario has been covered for each basic block individually is a major challenge in measurement-based WCET analysis. On the static analysis side the accuracy of hardware models used are also subject to doubt as they are based on available documentation provided

SCOP database in 2004: refinements integrate structure and sequence family data

by Antonina Andreeva, Dave Howorth, Steven E. Brenner, Tim J. P. Hubbard, Cyrus Chothia, Alexey G. Murzin , 2004
"... The Structural Classication of Proteins (SCOP) database is a comprehensive ordering of all proteins of known structure, according to their evolutionary and structural relationships. Protein domains in SCOP are hierarchically classied into families, superfamilies, folds and classes. The continual acc ..."
Abstract - Cited by 273 (9 self) - Add to MetaCart
The Structural Classication of Proteins (SCOP) database is a comprehensive ordering of all proteins of known structure, according to their evolutionary and structural relationships. Protein domains in SCOP are hierarchically classied into families, superfamilies, folds and classes. The continual

Performance Comparison of Techniques on Static Path Analysis of WCET

by Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu
"... Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Currently, there is an argument in the research community whether model checking is another good solution for WCET analysis, ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Currently, there is an argument in the research community whether model checking is another good solution for WCET analysis

TOWARDS PREDICATED WCET ANALYSIS

by Amine Marref, Guillem Bernat
"... In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are collected automatically through static analysis or measurements. We achieve considerable tightness in comparison to tradi ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are collected automatically through static analysis or measurements. We achieve considerable tightness in comparison

WCET calculations at Volvo CE

by Dani Barkah
"... A prerequisite for creating a safe and predictable real time computer system is to have knowledge about its timing behavior during operation. The Worst Case Execution Time (WCET) is one of the key values to consider when predicting this timing behavior, since it ensures that every task meets its dea ..."
Abstract - Add to MetaCart
set of automatic tests on the system and measure its execution time. To ensure that a safe WCET value is derived the automatic tests must cover the worst case scenario, which is tough to find when the systems increase in size and complexity. Static WCET analysis is an alternative method, where
Results 1 - 10 of 808