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

Graph

<?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>

www.000webhost.com