The EmBounded Project : Deliverables/title> </head> <body>  <div id="nav"> <a href="index.shtml"><img width="165" height="108" class="logo" src="images/embounded.png" alt="EmBounded Project (Logo)" /></a> <span class="nav"><a href="index.shtml">Project Home</a></span> <span class="nav"><a href="partners.shtml">Project Partners</a></span> <span class="nav"><a href="pubs/index.shtml">Publications</a></span> <span class="nav_sub"><a href="deliverables/">Deliverables</a></span> <span class="nav_sub"><a href="pubs/list/index.shtml">Bibliography</a></span> <span class="nav"><a href="events/">Events</a></span> <span class="nav"><a href="resources.shtml">Resources</a></span> <span class="nav"><a href="software/cost/cost.cgi">Interactive Analysis</a></span> <span class="nav"><a href="internal/">Internal Pages</a></span> <a href="http://cordis.europa.eu/fp6/dc/index.cfm?fuseaction=UserSite.FP6HomePage" rel="external" ><img class="logo" src="images/framework6.gif" alt="Sixth Framework Programme" /></a> <a href="http://cordis.europa.eu/ist/home.html" rel="external" ><img class="logo" src="images/ist_logo.gif" alt="IST" /></a> </div>  <div id="top"></div> <h1>The EmBounded Project : Deliverables</h1> <ul> <li><a href="/embounded/deliverables/index.shtml?all">All Deliverables (Living or Submitted)</a></li> <li><a href="/embounded/deliverables/index.shtml?living">Living Deliverables</a></li> <li><a href="/embounded/deliverables/index.shtml?y1">Period 1 Deliverables</a></li> <li><a href="/embounded/deliverables/index.shtml?y2">Period 2 Deliverables</a></li> <li><a href="/embounded/deliverables/index.shtml?y3">Period 3 Deliverables</a></li> <li><a href="/embounded/deliverables/index.shtml?y4">Period 4 Deliverables</a></li> <li><a href="/embounded/deliverables/index.shtml?additional">Additional Material</a></li> </ul> <p style="visibility: hidden;"><em>Please Note: Your web browser must support <acronym title="Cascading Style Sheets">CSS</acronym> <noscript>and JavaScript</noscript> to filter this list by category.</em></p> <table id="deliverables"> <thead> <tr class="head"> <th width="20%">Number</th> <th>Title</th> <th>Description</th> </tr> </thead> <tbody> <tr class="y1"> <td>D01 (WP10)</td> <td>Project Presentation</td> <td><a href="pubs/D01_WP10.pdf">PDF</a> </td> </tr> <tr class="y1"> <td>D02 (WP5a)</td> <td>Requirements Analysis (Update 3) (Living)</td> <td><a href="internal/D02_WP5a.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y1"> <td>D03 (WP7b)</td> <td>Hume-HAM Translation</td> <td><a href="pubs/D03_WP7b.pdf">PDF</a> </td> </tr> <tr class="living_y1">  <td>D04 (WP2a)</td> <td>Cost Model (Revised) (Living)</td> <td><a href="pubs/D04_WP2a.pdf">PDF</a> </td> </tr> <tr class="y1_y2">  <td>D05 (WP4a)</td> <td>Stack Size Analysis (Updated)</td> <td><a href="pubs/D05_WP4a_Y3.pdf">PDF</a> </td> </tr> <tr class="y1"> <td>D06 (WP5b)</td> <td>Extended <acronym>AIS</acronym> interface language</td> <td><a href="internal/D06_WP5b.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="living_y1">  <td>D07 (WP8a)</td> <td>Real-time Testbed Applications (Living)</td> <td><a href="pubs/D07_WP8a.pdf">PDF</a> </td> </tr> <tr class="y1"> <td>D08 (WP10)</td> <td>First Project Workshop</td> <td><a href="internal/D08_WP10.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y1"> <td>D09 (WP10)</td> <td>Second Project Workshop</td> <td><a href="internal/D09_WP10.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y1"> <td>D10 (WP1)</td> <td>Summary Management Report (Period 1)</td> <td><a href="internal/D10_WP1.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y2"> <td>D11 (WP4b)</td> <td>Heap Space Analysis (Updated)</td> <td><a href="pubs/D11_WP4b_Y3.pdf">PDF</a> </td> </tr> <tr class="living_y1">  <td>D12 (WP7a)</td> <td>Formal Hume Semantics (Living)</td> <td><a href="pubs/D12_WP7a.pdf">PDF</a> </td> </tr> <tr class="y2"> <td>D13 (WP4)</td> <td>Prototype Implementation of space analyses (Updated)</td> <td><a href="pubs/D13_WP4_Y3.pdf">PDF</a> </td> </tr> <tr class="y2"> <td>D14 (WP3a)</td> <td>Report on <acronym title="Worst-Case Executation Time">WCET</acronym> analysis (Updated)</td> <td><a href="pubs/D14_WP3a_Y3.pdf">PDF</a> </td> </tr> <tr class="y2"> <td>D15 (WP3b)</td> <td>Prototype implementation of time analysis (Updated)</td> <td><a href="pubs/D15_WP3b_Y3.pdf">PDF</a> </td> </tr> <tr class="y3" style="vertical-align: top;"> <td>D16 (WP3c)</td> <td>Validation of the Prototype Worst-Case Executation Time (<acronym>WCET</acronym>) analysis</td> <td><a href="pubs/D16_WP3c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D17 (WP6a)</td> <td>Assertion Language</td> <td><a href="pubs/D17_WP6a.pdf">PDF</a> </td> </tr> <tr class="y2"> <td>D18 (WP10)</td> <td>Third Project Workshop</td> <td><a href="internal/D18_WP10.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y2"> <td>D19 (WP10)</td> <td>Fourth Project Workshop</td> <td><a href="internal/D19_WP10.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y2"> <td>D20 (WP1)</td> <td>Summary Management Report (Period 2)</td> <td><a href="internal/D20_WP1.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y3"> <td>D21 (WP6b)</td> <td>Certificates (Period 3)</td> <td><a href="pubs/D21_WP6b.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D23 (WP7c)</td> <td>Hume to HAM Translator</td> <td><a href="pubs/D23_WP7c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D24 (WP7c)</td> <td>Hume Machine Code Compiler</td> <td><a href="pubs/D24_WP7c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D25 (WP7c)</td> <td>Analyses integrated into compiler</td> <td><a href="pubs/D25_WP7c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D26 (WP7d)</td> <td>Compiler support tools</td> <td><a href="pubs/D26_WP7d.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D27 (WP8)</td> <td>Real-time Computer Vision Algorithms</td> <td><a href="pubs/D27_WP8.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D28 (WP2b)</td> <td>Validation of Cost Model</td> <td><a href="pubs/D28_WP2b.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D29 (WP5c)</td> <td>Refinement of the Machine Level Analysis</td> <td><a href="pubs/D29_WP5c.pdf">PDF</a> </td> </td> </tr> <tr class="y3"> <td>D30 (WP4c)</td> <td>Validation of Space analyses</td> <td><a href="pubs/D30_WP4c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D31 (WP6c)</td> <td>Case studies certifying resource consumption of Hume applications (Period 3)</td> <td><a href="pubs/D31_WP6c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D32 (WP9a)</td> <td>Application to More Traditional Settings</td> <td><a href="pubs/D32_WP9a.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D33 (WP8c)</td> <td>Evaluation of Hume and the Hume Methodology</td> <td><a href="pubs/D33_WP8c.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D34 (WP7e)</td> <td>Hume Problem Solving Environment</td> <td><a href="pubs/D34_WP7e.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D35 (WP9b)</td> <td>Destructive Update and Dynamic Data Structures</td> <td><a href="pubs/D35_WP9b.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D36 (WP10)</td> <td>Fifth Project Workshop</td> <td><a href="internal/D36_WP10.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y3"> <td>D37 (WP10)</td> <td>Sixth Project Workshop</td> <td><a href="pubs/D37_WP10.pdf">PDF</a> </td> <tr class="y4"> <td>D38 (WP10)</td> <td>Project Website</td> <td><a href="pubs/D38_WP10.pdf">PDF</a> </td> </tr> <tr class="y3"> <td>D39 (WP1)</td> <td>Summary Management Report (Period 3)</td> <td><a href="pubs/D39_WP1.pdf">PDF</a> </td> </tr> <tr class="y1"> <td>D40 (WP10)</td> <td>Plan for Use and Dissemination of Knowledge</td> <td><a href="internal/D40_WP10.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y4"> <td>D41 (WP1)</td> <td>Summary Management Report (Final)</td> <td><a href="internal/D41_WP1.pdf">PDF</a> <strong>*</strong> </td> </tr> <tr class="y4"> <td>D42 (WP6d)</td> <td>Certification Using Dependent Types</td> <td><a href="pubs/D42_WP6d.pdf">PDF</a> </td> </tr> <tr class="y4"> <td>D43 (WP7f)</td> <td>Analysis Robustification</td> <td><a href="pubs/D43_WP7f.pdf">PDF</a> </td> </tr> <tr class="y4"> <td>D44 (WP8d)</td> <td>Costing-by-construction Exemplar</td> <td><a href="pubs/D44_WP8d.pdf">PDF</a> </td> </tr> </tbody></table> <p><strong>*</strong> Files are password protected.</p>  <div id="lastmod_blk"> <p id="nav_top">[<a href="/embounded/deliverables/index.shtml#top" >Back to top of this page</a>]</p> <p id="lastmod">This page was last modified on Thursday 13 August 2009 02:29:40. This site is maintained by Robert Rothenberg (<span class="fix">r r at cs dot st - andrews dot ac dot uk</span>). </p> </div> </body> </html>