Automatically assigned DDC number: 005133

Manually assigned DDC number: 005273

Number of references: 8

Title: Program Timing Analysis

Author:

Subject: Roderick Chapman Program Timing Analysis

Description: This report is submitted as a first year qualifying dissertation. The field of program timing analysis is surveyed in detail. The review includes details of relevant static analysis techniques, high-level program analysis, low-level timing analysis, and example languages and tools. Each of the techniques used in timing analysis is considered in detail, followed by a look at six contemporary tools --- the strengths and weaknesses of these are highlighted. From these conclusions, a plan for future research is proposed. Finally, the Ada language and the SPARK system are also considered. - 2 - Table of Contents Part I - Introduction 1. Introduction and overview ..............................................................................................3 Part II - Field Survey and Review 2. Static analysis .................................................................................................................5 2.1 Control flow analysis .........................................

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1994-09-08

Pubyear: 1994

Format: ps

Identifier: http://citeseer.ist.psu.edu/152224.html

Source: http://www.cs.york.ac.uk/ftpdir/reports/wcet.ps.Z

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/500137.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   ACM   SIGPLAN   90   Conference   on   Programming   Language   Design   and   Implementation"   CiteSeer_Volume=""   Title="Dynamic   program   slicing,">

            <identifier   Org="ISBN:0120121433"   Paper_ID="/500137.html"   Extracted="0120121433"   />

            <identifier   Org="ISBN:012012162X"   Paper_ID="/500137.html"   Extracted="012012162X"   />

            <identifier   Org="ISBN:0769518192"   Paper_ID="/500137.html"   Extracted="0769518192"   />

            <identifier   Org="ISBN:0780312511"   Paper_ID="/500137.html"   Extracted="0780312511"   />

            <identifier   Org="ISBN:081862325X"   Paper_ID="/500137.html"   Extracted="081862325X"   DDC="005.1/6"   Normalized_DDC="00516"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818667923"   Paper_ID="/500137.html"   Extracted="0818667923"   DDC="005.1/6"   Normalized_DDC="00516"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818671416"   Paper_ID="/500137.html"   Extracted="0818671416"   DDC="005.16"   Normalized_DDC="00516"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818677430"   Paper_ID="/500137.html"   Extracted="0818677430"   />

            <identifier   Org="ISBN:081867993X"   Paper_ID="/500137.html"   Extracted="081867993X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0818685603"   Paper_ID="/500137.html"   Extracted="0818685603"   />

            <identifier   Org="ISBN:142004382X"   Paper_ID="/500137.html"   Extracted="142004382X"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:1848822391"   Paper_ID="/500137.html"   Extracted="1848822391"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540236597"   Paper_ID="/500137.html"   Extracted="3540236597"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540558446"   Paper_ID="/500137.html"   Extracted="3540558446"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/500137.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1111111111111111"   />

      </rec>

      <rec   ID="/178555.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="{R}eal-time   {S}ystem   {S}cheduling,"   />

      <rec   ID="/67402.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Resource   Control   For   Hard   Real-Time   Systems:   {A}   Review,">

            <identifier   Org="ISBN:0818676264"   Paper_ID="/67402.html"   Extracted="0818676264"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/67402.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/513439.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   Eleventh   International   Conference   on   Automated   Deduction   CADE11"   CiteSeer_Volume=""   Title="Automated   correctness   proofs   of   machine   code   programs   for   a   commercial   microprocessor,">

            <identifier   Org="ISBN:0121229556"   Paper_ID="/513439.html"   Extracted="0121229556"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0387259473"   Paper_ID="/513439.html"   Extracted="0387259473"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780333918"   Paper_ID="/513439.html"   Extracted="0780333918"   DDC="005.2/4"   Normalized_DDC="00524"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792339207"   Paper_ID="/513439.html"   Extracted="0792339207"   DDC="005.265"   Normalized_DDC="005265"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792383753"   Paper_ID="/513439.html"   Extracted="0792383753"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818642300"   Paper_ID="/513439.html"   Extracted="0818642300"   />

            <identifier   Org="ISBN:1595930906"   Paper_ID="/513439.html"   Extracted="1595930906"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540556028"   Paper_ID="/513439.html"   Extracted="3540556028"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540568042"   Paper_ID="/513439.html"   Extracted="3540568042"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540587152"   Paper_ID="/513439.html"   Extracted="3540587152"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540631666"   Paper_ID="/513439.html"   Extracted="3540631666"   />

            <identifier   Org="ISBN:3540658998"   Paper_ID="/513439.html"   Extracted="3540658998"   DDC="006.3/1"   Normalized_DDC="00631"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540676643"   Paper_ID="/513439.html"   Extracted="3540676643"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540799796"   Paper_ID="/513439.html"   Extracted="3540799796"   />

      </rec>

      <rec   ID="/589601.html"   Type="article"   CiteSeer_Book="Software   Engineering   Journal"   CiteSeer_Volume=""   Title="Scheduling   Hard   Real-Time   Systems:   {A}   Review,">

            <identifier   Org="ISBN:0130833487"   Paper_ID="/589601.html"   Extracted="0130833487"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0585352232"   Paper_ID="/589601.html"   Extracted="0585352232"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0780336763"   Paper_ID="/589601.html"   Extracted="0780336763"   />

            <identifier   Org="ISBN:0780336860"   Paper_ID="/589601.html"   Extracted="0780336860"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0780373693"   Paper_ID="/589601.html"   Extracted="0780373693"   DDC="621.381"   Normalized_DDC="621381"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792373456"   Paper_ID="/589601.html"   Extracted="0792373456"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792382692"   Paper_ID="/589601.html"   Extracted="0792382692"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792385489"   Paper_ID="/589601.html"   Extracted="0792385489"   DDC="005.4/3"   Normalized_DDC="00543"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792393864"   Paper_ID="/589601.html"   Extracted="0792393864"   DDC="004/.36/0287"   Normalized_DDC="004360287"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818619562"   Paper_ID="/589601.html"   Extracted="0818619562"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818666005"   Paper_ID="/589601.html"   Extracted="0818666005"   />

            <identifier   Org="ISBN:0818680342"   Paper_ID="/589601.html"   Extracted="0818680342"   />

            <identifier   Org="ISBN:0818682566"   Paper_ID="/589601.html"   Extracted="0818682566"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0898714109"   Paper_ID="/589601.html"   Extracted="0898714109"   />

            <identifier   Org="ISBN:1402075014"   Paper_ID="/589601.html"   Extracted="1402075014"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540401830"   Paper_ID="/589601.html"   Extracted="3540401830"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/589601.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:9051991797"   Paper_ID="/589601.html"   Extracted="9051991797"   />

            <identifier   Org="ISBN:9051993005"   Paper_ID="/589601.html"   Extracted="9051993005"   />

      </rec>

      <rec   ID="/247165.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Concurrent   C,">

            <identifier   Org="ISBN:0070465444"   Paper_ID="/247165.html"   Extracted="0070465444"   />

            <identifier   Org="ISBN:0072460601"   Paper_ID="/247165.html"   Extracted="0072460601"   DDC="004.6/2"   Normalized_DDC="00462"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0201624443"   Paper_ID="/247165.html"   Extracted="0201624443"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0521714729"   Paper_ID="/247165.html"   Extracted="0521714729"   />

            <identifier   Org="ISBN:0792391969"   Paper_ID="/247165.html"   Extracted="0792391969"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818607874"   Paper_ID="/247165.html"   Extracted="0818607874"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0898382572"   Paper_ID="/247165.html"   Extracted="0898382572"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0929306007"   Paper_ID="/247165.html"   Extracted="0929306007"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0929306058"   Paper_ID="/247165.html"   Extracted="0929306058"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0929306171"   Paper_ID="/247165.html"   Extracted="0929306171"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0961533633"   Paper_ID="/247165.html"   Extracted="0961533633"   DDC="652/.5"   Normalized_DDC="6525"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/247165.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540511342"   Paper_ID="/247165.html"   Extracted="3540511342"   />

            <identifier   Org="ISBN:3540787380"   Paper_ID="/247165.html"   Extracted="3540787380"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/180507.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   Feasibility   of   Response   Time   Predictions   -   An   Experimental   Evaluation,">

            <identifier   Org="ISBN:0792393864"   Paper_ID="/180507.html"   Extracted="0792393864"   DDC="004/.36/0287"   Normalized_DDC="004360287"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540563202"   Paper_ID="/180507.html"   Extracted="3540563202"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/61793.html"   Type="article"   CiteSeer_Book="IEEE   Transactions   on   Software   Engineering"   CiteSeer_Volume="15"   Title="Reasoning   about   Time   in   Higher-Level   Language   Software,">

            <identifier   Org="ISBN:0130833487"   Paper_ID="/61793.html"   Extracted="0130833487"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792391969"   Paper_ID="/61793.html"   Extracted="0792391969"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818608943"   Paper_ID="/61793.html"   Extracted="0818608943"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818621125"   Paper_ID="/61793.html"   Extracted="0818621125"   DDC="001.64404"   Normalized_DDC="00164404"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0849328241"   Paper_ID="/61793.html"   Extracted="0849328241"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540236643"   Paper_ID="/61793.html"   Extracted="3540236643"   DDC="005.758"   Normalized_DDC="005758"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540308814"   Paper_ID="/61793.html"   Extracted="3540308814"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540309993"   Paper_ID="/61793.html"   Extracted="3540309993"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/61793.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540442359"   Paper_ID="/61793.html"   Extracted="3540442359"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540547428"   Paper_ID="/61793.html"   Extracted="3540547428"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/61793.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540563202"   Paper_ID="/61793.html"   Extracted="3540563202"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540566627"   Paper_ID="/61793.html"   Extracted="3540566627"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540604065"   Paper_ID="/61793.html"   Extracted="3540604065"   />

            <identifier   Org="ISBN:354067442X"   Paper_ID="/61793.html"   Extracted="354067442X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540676961"   Paper_ID="/61793.html"   Extracted="3540676961"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Program   Timing   Analysis">

            <identifier   Org="ISBN:0306467860"   Paper_ID="SELF"   Extracted="0306467860"   DDC="621.39/16"   Normalized_DDC="6213916"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0818682000"   Paper_ID="SELF"   Extracted="0818682000"   />

            <identifier   Org="ISBN:0818682019"   Paper_ID="SELF"   Extracted="0818682019"   />

            <identifier   Org="ISBN:1402028725"   Paper_ID="SELF"   Extracted="1402028725"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1402071353"   Paper_ID="SELF"   Extracted="1402071353"   DDC="005.26"   Normalized_DDC="00526"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1402073917"   Paper_ID="SELF"   Extracted="1402073917"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1558607021"   Paper_ID="SELF"   Extracted="1558607021"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1584883979"   Paper_ID="SELF"   Extracted="1584883979"   DDC="658.5/3/0151"   Normalized_DDC="658530151"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:354020184X"   Paper_ID="SELF"   Extracted="354020184X"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540252738"   Paper_ID="SELF"   Extracted="3540252738"   DDC="004.2/2"   Normalized_DDC="00422"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540300406"   Paper_ID="SELF"   Extracted="3540300406"   DDC="006.7"   Normalized_DDC="0067"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540726845"   Paper_ID="SELF"   Extracted="3540726845"   />

            <identifier   Org="ISBN:3540884785"   Paper_ID="SELF"   Extracted="3540884785"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:9051991428"   Paper_ID="SELF"   Extracted="9051991428"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:9051994915"   Paper_ID="SELF"   Extracted="9051994915"   DDC="658"   Normalized_DDC="658"   Normalized_Weight="0.08333333333333333"   />

      </rec>

</references_metadata>