Search results for "WCET-analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
150	Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson	Worst-case execution-time analysis for embedded real-time systems.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Embedded systems, Software architecture, Hard real-time, WCET analysis, Programming tools
103	Peter P. Puschner, Guillem Bernat	WCET Analysis of Reusable Portable Code.	ECRTS	2001	DBLP DOI BibTeX RDF
102	Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom	Clustered Worst-Case Execution-Time Calculation.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	WCET calculation, embedded systems, hard real-time, WCET analysis
102	Andreas Ermedahl, Friedhelm Stappert, Jakob Engblom	Clustered calculation of worst-case execution times.	CASES	2003	DBLP DOI BibTeX RDF	WCET calculation, embedded systems, hard real-time, WCET analysis
100	Jan Gustafsson	Usability Aspects of WCET Analysis.	ISORC	2008	DBLP DOI BibTeX RDF
93	Jan Gustafsson	The Worst Case Execution Time Tool Challenge 2006.	ISoLA	2006	DBLP DOI BibTeX RDF
93	Raimund Kirner, Peter P. Puschner	Classification of WCET Analysis Techniques.	ISORC	2005	DBLP DOI BibTeX RDF	Classification, Execution Times, Worst-Case Execution Time Analysis, Generic Framework
92	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Deriving Java Virtual Machine Timing Models for Portable Worst-Case Execution Time Analysis.	OTM Workshops	2003	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) Analysis, Portable WCET, Real-Time Java
91	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling out-of-order processors for WCET analysis.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Worst-case execution time (WCET) analysis, Out-of-order superscalar processor, Branch prediction, Instruction cache
90	Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling	Influence of procedure cloning on WCET prediction.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	WCET minimization, context-sensitive WCET-analysis, compiler optimizations
90	Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz	Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
81	Jack Whitham, Neil C. Audsley	Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	wcet, reduction, trace, hard real-time, scratchpads
81	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra 0001, Xu Cheng 0001	A Retargetable Software Timing Analyzer Using Architecture Description Language.	ASP-DAC	2007	DBLP DOI BibTeX RDF	retargetable software timing analyzer, static WCET analysis, program path analysis, microarchitecture modeling, graph-based execution models, pipeline model, real-time systems, architecture description language, worst case execution time, embedded processors, branch prediction, schedulability analysis
81	Heiko Falk, Sascha Plazar, Henrik Theiling	Compile-time decided instruction cache locking using worst-case execution paths.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	WC-path, cache locking, optimization, WCET
81	Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand	An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.	DSN	2003	DBLP DOI BibTeX RDF
80	Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Applying Static WCET Analysis to Automotive Communication Software.	ECRTS	2005	DBLP DOI BibTeX RDF
80	Jakob Engblom, Bengt Jonsson 0001	Processor Pipelines and Their Properties for Static WCET Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
79	Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper	Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.	RTSS	2006	DBLP DOI BibTeX RDF
74	Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Static Timing Analysis of Real-Time Operating System Code.	ISoLA	2004	DBLP DOI BibTeX RDF
74	Peter P. Puschner, Alan Burns 0001	Writing Temporally Predictable Code.	WORDS	2002	DBLP DOI BibTeX RDF	Real-Time Systems, Predictability, Computer Architectures, Programming Paradigms, Worst-Case Execution-Time Analysis
72	Trevor Harmon, Raymond Klefstad	A Survey of Worst-Case Execution Time Analysis for Real-Time Java.	IPDPS	2007	DBLP DOI BibTeX RDF
71	Paul Lokuciejewski, Heiko Falk, Peter Marwedel, Henrik Theiling	WCET-driven, code-size critical procedure cloning.	SCOPES	2008	DBLP DOI BibTeX RDF
70	Joel Coffman, Christopher A. Healy, Frank Mueller 0001, David B. Whalley	Generalizing parametric timing analysis.	LCTES	2007	DBLP DOI BibTeX RDF	parametric timing analysis, worst-case execution time (WCET) analysis
69	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
68	Mingsong Lv, Nan Guan, Yi Zhang 0056, Rui Chen, Qingxu Deng, Ge Yu 0001, Wang Yi 0001	WCET Analysis of the mC/OS-II Real-Time Kernel.	CSE (2)	2009	DBLP DOI BibTeX RDF
68	D. Kebbal	Automatic Flow Analysis Using Symbolic Execution and Path Enumeration.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
67	Antoine Colin, Isabelle Puaut	A Modular & Retargetable Framework for Tree-Based WCET Analysis.	ECRTS	2001	DBLP DOI BibTeX RDF
64	Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings	Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Worst-Case Execution Time (WCET) Analysis, Object-Oriented WCET, Java, Hard Real-Time Systems, Real-Time Java, Dynamic Dispatching
62	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling Out-of-Order Processors for Software Timing Analysis.	RTSS	2004	DBLP DOI BibTeX RDF
62	Trevor Harmon, Raymond Klefstad	Toward a Unified Standard for Worst-Case Execution Time Annotations in Real-Time Java.	IPDPS	2007	DBLP DOI BibTeX RDF
61	Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch	Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.	ISoLA	2006	DBLP DOI BibTeX RDF
59	Benedikt Huber, Wolfgang Puffitsch, Martin Schoeberl	WCET driven design space exploration of an object cache.	JTRES	2010	DBLP DOI BibTeX RDF
59	Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad	A Modular Worst-case Execution Time Analysis Tool for Java Processors.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF
59	Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper	Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development.	SEUS	2009	DBLP DOI BibTeX RDF
58	Amine Marref, Guillem Bernat	Predicated Worst-Case Execution-Time Analysis.	Ada-Europe	2009	DBLP DOI BibTeX RDF
58	Antoine Colin, Guillem Bernat	Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.	ECRTS	2002	DBLP DOI BibTeX RDF
56	Erik Yu-Shing Hu, Andy J. Wellings, Guillem Bernat	Gain Time Reclaiming in High Performance Real-Time Java Systems.	ISORC	2003	DBLP DOI BibTeX RDF	Gain Time Reclaiming, Worst-Case Execution Time (WCET) Analysis, Real-Time Java
55	Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan	WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2008	DBLP BibTeX RDF
55	Raimund Kirner	WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2008	DBLP BibTeX RDF
55	Christine Rochange	WCET 2007 Abstracts Collection - 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2007	DBLP BibTeX RDF
55	Frank Mueller 0001	2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.	WCET	2006	DBLP BibTeX RDF
51	Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Faster WCET flow analysis by program slicing.	LCTES	2006	DBLP DOI BibTeX RDF	hard real time, worst-case execution time analysis
51	Henrik Theiling	ILP-Based Interprocedural Path Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
50	Trevor Harmon, Raymond Klefstad	Interactive Back-annotation of Worst-case Execution Time Analysis for Java Microprocessors.	RTCSA	2007	DBLP DOI BibTeX RDF
48	H. H. Park, Jiman Hong, S. M. Yang	Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
48	Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng	Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip.	RTSS	2007	DBLP DOI BibTeX RDF
48	Xianfeng Li, Tulika Mitra, Abhik Roychoudhury	Modeling Control Speculation for Timing Analysis.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	micro-architectural modeling, worst case execution time, branch prediction, schedulability analysis, instruction cache
47	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner	Low-level analysis of a portable Java byte code WCET analysis framework.	RTCSA	2000	DBLP DOI BibTeX RDF	low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs
46	Lili Tan	The worst-case execution time tool challenge 2006.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Embedded systems, Timing analysis, Worst-case execution time, WCET, Hard real time
46	Paul Lokuciejewski, Heiko Falk, Peter Marwedel	WCET-driven Cache-based Procedure Positioning Optimizations.	ECRTS	2008	DBLP DOI BibTeX RDF
45	Lei Ju 0001, Bach Khoa Huynh, Samarjit Chakraborty, Abhik Roychoudhury	Context-sensitive timing analysis of Esterel programs.	DAC	2009	DBLP DOI BibTeX RDF	worst-case execution time (WCET) analysis, Esterel, synchronous programming
43	George Logothetis, Klaus Schneider 0001	Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.	DATE	2003	DBLP DOI BibTeX RDF
43	Raimund Kirner, Peter P. Puschner	Transformation of Path Information for WCET Analysis during Compilation.	ECRTS	2001	DBLP DOI BibTeX RDF
40	Iain Bate, Guillem Bernat, Peter P. Puschner	Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
38	Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg	Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.	ECRTS	2008	DBLP DOI BibTeX RDF
38	Jack Whitham, Neil C. Audsley	Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis.	WCET	2008	DBLP BibTeX RDF
38	Amine Marref, Guillem Bernat	Towards Predicated WCET Analysis.	WCET	2008	DBLP BibTeX RDF
38	Sebastian Altmeyer, Gernot Gebhard	WCET Analysis for Preemptive Scheduling.	WCET	2008	DBLP BibTeX RDF
38	Olivier Gilles, Jérôme Hugues	Applying WCET Analysis at Architectural Level.	WCET	2008	DBLP BibTeX RDF
38	Peter P. Puschner, Martin Schoeberl	On Composable System Timing, Task Timing, and WCET Analysis.	WCET	2008	DBLP BibTeX RDF
38	Stefan Bygde, Björn Lisper	Towards an Automatic Parametric WCET Analysis.	WCET	2008	DBLP BibTeX RDF
38	Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel	WCET Analysis: The Annotation Language Challenge.	WCET	2007	DBLP BibTeX RDF
38	Stephan Wilhelm, Björn Wachter	Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.	WCET	2007	DBLP BibTeX RDF
38	Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane	Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis.	WCET	2007	DBLP BibTeX RDF
38	Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann 0001, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace	Towards Formally Verifiable WCET Analysis for a Functional Programming Language.	WCET	2006	DBLP BibTeX RDF
38	Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark, Niklas Holsti	Using a WCET Analysis Tool in Real-Time Systems Education.	WCET	2005	DBLP BibTeX RDF
38	Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Experiences from Industrial WCET Analysis Case Studies.	WCET	2005	DBLP BibTeX RDF
38	Adam Betts, Guillem Bernat	Issues using the Nexus Interface for Measurement-Based WCET Analysis.	WCET	2005	DBLP BibTeX RDF
37	Fadia Nemer, Hugues Cassé, Pascal Sainrat, Jean Paul Bahsoun	Inter-task WCET computation for a-way instruction caches.	SIES	2008	DBLP DOI BibTeX RDF
36	Raimund Kirner, Peter P. Puschner	Obstacles in Worst-Case Execution Time Analysis.	ISORC	2008	DBLP DOI BibTeX RDF	measurement-based timing analysis, static analysis, WCET, worst-case execution time analysis
36	Christof Pitter, Martin Schoeberl	Time Predictable CPU and DMA Shared Memory Access.	FPL	2007	DBLP DOI BibTeX RDF
36	Raimund Kirner, Peter P. Puschner	Timing Analysis of Optimised Code.	WORDS	2003	DBLP DOI BibTeX RDF	Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages
36	Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner	Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.	ECRTS	2002	DBLP DOI BibTeX RDF
36	Peter Altenbernd, Lars-Olof Burchard, Friedhelm Stappert	Worst-case execution times analysis of MPEG-2 decoding.	ECRTS	2000	DBLP DOI BibTeX RDF
36	Vincent Mussot	Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET. (Flow fact automata for the expression and the integration of properties in WCET analysis).		2016	RDF
36	Aleksandra Tesanovic, Jörgen Hansson, Dag Nyström, Christer Norström, P. Uhlin	Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components.	WCET	2003	DBLP BibTeX RDF
36	Christof Pitter	Time-predictable memory arbitration for a Java chip-multiprocessor.	JTRES	2008	DBLP DOI BibTeX RDF	Java, chip-multiprocessor, shared memory, worst-case execution time
36	Lars Wehmeyer, Peter Marwedel	Influence of Memory Hierarchies on Predictability for Time Constrained Embedded Software.	DATE	2005	DBLP DOI BibTeX RDF
36	Guillem Bernat, Alan Burns 0001, Andy J. Wellings	Portable worst-case execution time analysis using Java Byte Code.	ECRTS	2000	DBLP DOI BibTeX RDF
35	Jack Whitham, Neil C. Audsley, Martin Schoeberl	Using hardware methods to improve time-predictable performance in real-time Java systems.	JTRES	2009	DBLP DOI BibTeX RDF
35	Heiko Falk, Martin Schwarzer	Loop Nest Splitting for WCET-Optimization and Predictability Improvement.	ESTIMedia	2006	DBLP DOI BibTeX RDF
35	Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim	An Accurate Worst Case Timing Analysis for RISC Processors.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	pipelined execution, real-time system, Cache memory, worst case execution time, RISC processor
35	Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings	A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems.	WORDS	2002	DBLP DOI BibTeX RDF	Portable WCET Analysis, Java, Hard Real-Time Systems, Real-Time Java, Worst-Case Execution Time Analysis
32	Stephan Wilhelm, Björn Wachter	Symbolic state traversal for WCET analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	abstract interpretation, binary decision diagram, worst-case execution time, hard real time, processor models
32	Guillem Bernat, Antoine Colin, Stefan M. Petters	WCET Analysis of Probabilistic Hard Real-Time System.	RTSS	2002	DBLP DOI BibTeX RDF	worst case execution time, probabilistic analysis, hard real-time, execution profiles
31	Jack Whitham, Neil C. Audsley	Forming Virtual Traces for WCET Analysis and Reduction.	RTCSA	2008	DBLP DOI BibTeX RDF
31	Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel	Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis.	WISES	2008	DBLP DOI BibTeX RDF
31	Mengluo Ji, Xin Wang, Zhichang Qi	Trace Acquirement from Real-Time Systems Based on WCET Analysis.	ICESS	2005	DBLP DOI BibTeX RDF
26	Raimund Kirner, Martin Schoeberl	Modeling the Function Cache for Worst-Case Execution Time Analysis.	DAC	2007	DBLP DOI BibTeX RDF
26	Thomas Ringler	Static Worst-Case Execution Time Analysis of Synchronous Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
25	Martin Schoeberl, Wolfgang Puffitsch, Benedikt Huber	Towards Time-Predictable Data Caches for Chip-Multiprocessors.	SEUS	2009	DBLP DOI BibTeX RDF
25	Jan Gustafsson, Andreas Ermedahl, Björn Lisper	Towards a Flow Analysis for Embedded System C Programs.	WORDS	2005	DBLP DOI BibTeX RDF
25	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.	FORMATS	2005	DBLP DOI BibTeX RDF
24	Jack Whitham, Neil C. Audsley	Implementing time-predictable load and store operations.	EMSOFT	2009	DBLP DOI BibTeX RDF	wcet, scratchpad
24	Jörg Mische, Sascha Uhrig, Florian Kluge, Theo Ungerer	Exploiting spare resources of in-order SMT processors executing hard real-time threads.	ICCD	2008	DBLP DOI BibTeX RDF
24	Björn Lisper	Trends in Timing Analysis.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time System, Program Analysis, Timing Analysis
24	Martin Schoeberl	A Time Predictable Instruction Cache for a Java Processor.	OTM Workshops	2004	DBLP DOI BibTeX RDF
24	Janosch Fauster, Raimund Kirner, Peter P. Puschner	Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF
24	Jakob Engblom	Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
24	Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner	Measurement-Based Timing Analysis.	ISoLA	2008	DBLP DOI BibTeX RDF