Automatically assigned DDC number: 00433
Manually assigned DDC number: 00433
Number of references: 8
Title: Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs
Author:
Author:
Subject: Jan Gustafsson,Andreas Ermedahl Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs
Description: . This paper presents a new method for deriving path and loop annotations automatically for objectoriented real-time programs. Such annotations are necessary when the worst case execution time (WCET) of programs is to be calculated. Normally these annotations must be given manually by the programmer. By automating the the generation of annotations the user is relieved from a task that can be quite difficult and highly critical. If, for example, a programmer gives a too optimistic annotation for a loop, a tool may calculate a too short WCET. This may invalidate subsequent analysis, leading to that a real-time system may violate its real-time properties. The method is based on the notion of abstract interpretation, and is illustrated by showing the analysis of an example in Smalltalk. The paper also discusses alternatives to the semantic analysis used in the method. It is shown that syntactic analysis suffices in some cases, and that it can be used to reduce the calculation cost for loop...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1998-08-28
Pubyear: 1998
Format: ps
Identifier: http://citeseer.ist.psu.edu/153176.html
Source: http://www.docs.uu.se/astec/Reports/Reports/9803.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/119354.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="the false path problem in hard real-time programs,">
<identifier Org="ISBN:0780355008" Paper_ID="/119354.html" Extracted="0780355008" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0792386140" Paper_ID="/119354.html" Extracted="0792386140" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:0818680342" Paper_ID="/119354.html" Extracted="0818680342" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:142004382X" Paper_ID="/119354.html" Extracted="142004382X" />
<identifier Org="ISBN:1581133464" Paper_ID="/119354.html" Extracted="1581133464" />
<identifier Org="ISBN:1581135424" Paper_ID="/119354.html" Extracted="1581135424" />
<identifier Org="ISBN:1590331028" Paper_ID="/119354.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540003487" Paper_ID="/119354.html" Extracted="3540003487" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540309993" Paper_ID="/119354.html" Extracted="3540309993" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.16666666666666666" />
<identifier Org="ISBN:3540417818" Paper_ID="/119354.html" Extracted="3540417818" />
<identifier Org="ISBN:354065075X" Paper_ID="/119354.html" Extracted="354065075X" />
</rec>
<rec ID="/579041.html" Type="article" CiteSeer_Book="Computer Languages" CiteSeer_Volume="20" Title="Discrete Loops and Worst Case Performance,">
<identifier Org="ISBN:0198523823" Paper_ID="/579041.html" Extracted="0198523823" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:1590331028" Paper_ID="/579041.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:354061317X" Paper_ID="/579041.html" Extracted="354061317X" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/28015.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Integrated Program Proof and Worst-Case Timing Analysis of SPARK Ada,">
<identifier Org="ISBN:0199241449" Paper_ID="/28015.html" Extracted="0199241449" DDC="153.09" Normalized_DDC="15309" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:0521460859" Paper_ID="/28015.html" Extracted="0521460859" DDC="004/.072" Normalized_DDC="004072" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:0780326814" Paper_ID="/28015.html" Extracted="0780326814" />
<identifier Org="ISBN:0818685697" Paper_ID="/28015.html" Extracted="0818685697" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:1581136765" Paper_ID="/28015.html" Extracted="1581136765" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:1590331028" Paper_ID="/28015.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354020461X" Paper_ID="/28015.html" Extracted="354020461X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540204946" Paper_ID="/28015.html" Extracted="3540204946" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.14285714285714285" />
</rec>
<rec ID="/132238.html" Type="inproceedings" CiteSeer_Book="European Conference on Parallel Processing" CiteSeer_Volume="" Title="Deriving Annotations for Tight Calculation of Execution Time,">
<identifier Org="ISBN:0769503063" Paper_ID="/132238.html" Extracted="0769503063" />
<identifier Org="ISBN:0769519296" Paper_ID="/132238.html" Extracted="0769519296" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.125" />
<identifier Org="ISBN:0818685697" Paper_ID="/132238.html" Extracted="0818685697" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.125" />
<identifier Org="ISBN:0849328241" Paper_ID="/132238.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.125" />
<identifier Org="ISBN:142004382X" Paper_ID="/132238.html" Extracted="142004382X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.125" />
<identifier Org="ISBN:1590331028" Paper_ID="/132238.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540213775" Paper_ID="/132238.html" Extracted="3540213775" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540309993" Paper_ID="/132238.html" Extracted="3540309993" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540441654" Paper_ID="/132238.html" Extracted="3540441654" />
<identifier Org="ISBN:354065075X" Paper_ID="/132238.html" Extracted="354065075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />
</rec>
<rec ID="/93159.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Benefits of Type Inference for an ObjectOriented Real-Time Language," />
<rec ID="/328445.html" Type="article" CiteSeer_Book="Journal of the ACM" CiteSeer_Volume="20" Title="Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment,">
<identifier Org="ISBN:0387231374" Paper_ID="/328445.html" Extracted="0387231374" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0585352232" Paper_ID="/328445.html" Extracted="0585352232" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0792382692" Paper_ID="/328445.html" Extracted="0792382692" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0818608196" Paper_ID="/328445.html" Extracted="0818608196" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0849328241" Paper_ID="/328445.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402052626" Paper_ID="/328445.html" Extracted="1402052626" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402062532" Paper_ID="/328445.html" Extracted="1402062532" />
<identifier Org="ISBN:1558606513" Paper_ID="/328445.html" Extracted="1558606513" DDC="006.7" Normalized_DDC="0067" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1558607021" Paper_ID="/328445.html" Extracted="1558607021" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1584883979" Paper_ID="/328445.html" Extracted="1584883979" DDC="658.5/3/0151" Normalized_DDC="658530151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540202234" Paper_ID="/328445.html" Extracted="3540202234" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354022906X" Paper_ID="/328445.html" Extracted="354022906X" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540404562" Paper_ID="/328445.html" Extracted="3540404562" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540550925" Paper_ID="/328445.html" Extracted="3540550925" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540643591" Paper_ID="/328445.html" Extracted="3540643591" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540657037" Paper_ID="/328445.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354067442X" Paper_ID="/328445.html" Extracted="354067442X" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540732292" Paper_ID="/328445.html" Extracted="3540732292" />
<identifier Org="ISBN:9051990413" Paper_ID="/328445.html" Extracted="9051990413" />
</rec>
<rec ID="/98155.html" Type="inproceedings" CiteSeer_Book="Workshop on Languages Compilers Tools for RealTime Systems" CiteSeer_Volume="" Title="Performance Analysis of Embedded Software Using Implicit Path Enumeration,">
<identifier Org="ISBN:0387275576" Paper_ID="/98155.html" Extracted="0387275576" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0769503063" Paper_ID="/98155.html" Extracted="0769503063" />
<identifier Org="ISBN:0780332946" Paper_ID="/98155.html" Extracted="0780332946" />
<identifier Org="ISBN:0849319854" Paper_ID="/98155.html" Extracted="0849319854" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0849328241" Paper_ID="/98155.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0897917251" Paper_ID="/98155.html" Extracted="0897917251" />
<identifier Org="ISBN:1402028725" Paper_ID="/98155.html" Extracted="1402028725" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:140206487X" Paper_ID="/98155.html" Extracted="140206487X" DDC="621.381" Normalized_DDC="621381" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:142004382X" Paper_ID="/98155.html" Extracted="142004382X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1558607021" Paper_ID="/98155.html" Extracted="1558607021" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:1581139470" Paper_ID="/98155.html" Extracted="1581139470" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540208038" Paper_ID="/98155.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540408223" Paper_ID="/98155.html" Extracted="3540408223" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540426736" Paper_ID="/98155.html" Extracted="3540426736" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540441085" Paper_ID="/98155.html" Extracted="3540441085" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354076836X" Paper_ID="/98155.html" Extracted="354076836X" />
<identifier Org="ISBN:3540774181" Paper_ID="/98155.html" Extracted="3540774181" DDC="005.12" Normalized_DDC="00512" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540859276" Paper_ID="/98155.html" Extracted="3540859276" />
<identifier Org="ISBN:3642009034" Paper_ID="/98155.html" Extracted="3642009034" />
</rec>
<rec ID="/90662.html" Type="inproceedings" CiteSeer_Book="SIGPLAN Conference on Programming Language Design and Implementation" CiteSeer_Volume="" Title="Accurate Static Branch Prediction by Value Range Propagation,">
<identifier Org="ISBN:0769506224" Paper_ID="/90662.html" Extracted="0769506224" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0769519296" Paper_ID="/90662.html" Extracted="0769519296" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:081868013X" Paper_ID="/90662.html" Extracted="081868013X" DDC="005.16" Normalized_DDC="00516" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0897916972" Paper_ID="/90662.html" Extracted="0897916972" />
<identifier Org="ISBN:1558603204" Paper_ID="/90662.html" Extracted="1558603204" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1590331028" Paper_ID="/90662.html" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540000852" Paper_ID="/90662.html" Extracted="3540000852" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540227911" Paper_ID="/90662.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540236627" Paper_ID="/90662.html" Extracted="3540236627" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540296433" Paper_ID="/90662.html" Extracted="3540296433" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540424954" Paper_ID="/90662.html" Extracted="3540424954" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540610537" Paper_ID="/90662.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540693297" Paper_ID="/90662.html" Extracted="3540693297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:364200721X" Paper_ID="/90662.html" Extracted="364200721X" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs">
<identifier Org="ISBN:1402071353" Paper_ID="SELF" Extracted="1402071353" DDC="005.26" Normalized_DDC="00526" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:1590331028" Paper_ID="SELF" Extracted="1590331028" DDC="344.73/046" Normalized_DDC="34473046" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540308814" Paper_ID="SELF" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.3333333333333333" />
</rec>
</references_metadata>