Classification of WCET Analysis Techniques

Authors:
Raimund Kirner;Peter Puschner
Affiliations:
Technische Universität Wien, Austria;Technische Universität Wien, Austria
Venue:
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Year:
2005

Citing 0
Cited 7

Synthesis of time-constrained multitasking embedded software

ACM Transactions on Design Automation of Electronic Systems (TODAES)
SciSim: a software performance estimation framework using source code instrumentation

WOSP '08 Proceedings of the 7th international workshop on Software and performance
Towards a Statistical Model of a Microprocessor's Throughput by Analyzing Pipeline Stalls

SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Allowance-Fit: a partitioning algorithm for temporal robustness of hard real-time systems upon multiprocessors

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Software performance simulation strategies for high-level embedded system design

Performance Evaluation
Towards modular average-case timing in real-time languages: an application to real-time Java

ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
The WCET analysis tool calcwcet167

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper defines a precise conceptual model of a software platform and the relationship that exists between platforms and software applications that use them. One of the key features of this model is that it allows formal verification of deployment ...