D4.3.2 – Plan for the Use and Dissemination of by KevenMealamu

VIEWS: 22 PAGES: 8

									Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008




  D4.3.2 – Plan for the Use and Dissemination of Foreground (PUDF)
This plan for the Use and Dissemination of Foreground (PUDF) is initially delivered May 31,
2008 and can then be updated every 9 months, if needed.

Regarding Foreground, the rules in ‘Section 8: Foreground’ of the ALL TIMES PCA, version of
2007-10-05 apply.

Regarding Access Rights to Foreground and Background, the rules in ‘Section 9: Access
Rights’ of the ALL TIMES PCA, version of 2007-10-05 apply.




Responsible contacts

(1) Mälardalen University – Mr. Björn Lisper

(2) AbsInt Angewandte Informatik GmbH – Mr. Christian Ferdinand

(3) Vienna University of Technology – Mr. Markus Schordan

(4) Gliwa GmbH – Mr. Peter Gliwa

(5) Symtavision GmbH - Mr. Marek Jersak

(6) Rapita Systems Ltd. – Mr. Guillem Bernat




                                                                                              1
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008


Conflicts with regards to Foreground and Background
As of May 31, 2008, there were no conflicts between the partners with regards to
Foreground and Background.


Expected Foreground

Each partner’s individual list of Foreground material expected to be produced.

From AbsInt Angewandte Informatik GmbH:

Source-level analyses
   - Implementations of program analyzers that read C source code and produce .ais
      annotations suitable to be used by aiT. The annotations provide information on
      upper iteration bounds of loops and possible values of function pointers

Integration of timing measurements
    - A format for the exchange of measurement data, e.g. between Gliwa and aiT
    - Extension of aiT able to read measurement data and represent longest paths
       based on measured basic block times

Code-level early phase execution time estimation tool
  - Extension of aiT that allow early phase exploration of microprocessor
      architecture parameters

From Gliwa GmbH Embedded Systems:

New technologies
  - new measurement approach: compute execution times “on-line”, i.e. on the
      target.
  - new measurement approach: use processor’s debug-facilities to gain data
  - indirect timing information: determine number of times, functions/variables are
      executed/accessed in a given time

tool coupling
    - make measured WCET, BCET and average execution times available to other
       tools
    - provide flow information
    - provide distribution of run-times (timing analysis)

From Mälardalen University:

   -   ALF code interface to flow analysis module of SWEET
   -   Tool coupling with SATIrE for source level analysis
   -   Method for hybrid WCET analysis through model identification
   -   Method for early stage WCET analysis through approximative timing models
   -   Method to extract flow facts from execution traces
   -   Method to find flow facts by a combination of abstract execution and traditional
       abstract interpretation


                                                                                          2
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008


From Rapita Systems Limited:

New technologies
   - New measurement based wcet analysis with integration of source code and other flow
      analysis
   - Plugins for extracting timing information to other third party tools.
   - RapiTime/SymtaS tool integration that can be used to derive execution times for
      schedulability analysis.
   - Trace generation for large systems and visualisation

From Symtavision GmbH:

early stage analysis
   -    early-stage system-level timing estimation methodology based on dynamic load
        models
   -    tool coupling between aiT and SymTA/S usable in early design phases
   -    prototype SymTA/S extension for early-stage system-level timing estimation and
        optimization

late stage analysis
    -   system-level statistical timing analysis methodology
    -   tool coupling between debugGURU and SymTA/S, as well as RapiTime and
        SymTA/S usable for statistical timing analysis, and for mode/scenario-based
        timing analysis
    -   prototype SymTA/S extension for statistical timing analysis, and for
        mode/scenario-based timing analysis

analysis and visualization of traces
   -   upper/lower bound analysis on the number of events based on traces
   -   rich trace interface that can be used by both debugGURU and RapiTime and
       can be quickly extended to other trace tools
   -   trace viewer that can efficiently display traces from debugGURU, RapiTime
       and SymTA/S, and can be quickly extended to other trace tools

From Vienna University of Technology:

static analysis
    -   supporting analyses for improving the precision of WCET analysis
    -   support for C++ features as relevant for use cases or available embedded
        systems codes
    -   plug-in mechanism for user-defined data-flow analyses

annotation of analysis results
   -  annotation mechanism that allows to associate analysis information with source
      code positions
   -  tool coupling between SATIrE and SWEET by extending SATIrE's annotation
      mechanism for ALF
   -  tool coupling between SATIrE and RapiTime by extending SATIrE's annotation
      mechanism to generate analysis information separate from the source file.
   -  tool coupling between SATIrE and aiT/PAG by an API for direct access to
      analysis results
   -  Front End for parsing analysis results format

                                                                                          3
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008



visualization of analysis results
    -  visualization of program dependences
    -  visualization of analysis results and its association with code locations
    -  visualization of specific paths in a program


This represents the status as of May 31, 2008.




                                                                                   4
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008


Dissemination of Foreground
Each partner’s individual plans for use and dissemination of all Foreground.

From AbsInt Angewandte Informatik GmbH:

Done:

Planned:

The prototypical implementation of source-level analysis will be eveluated with
selected AbsInt customers. If the evaluation results are satisfactory, the analyzers
will be further developed to be part of the aiT tool suite.

The integration of timing measurements will be developed to product status and
integrated into aiT (for selected targets).

The prototype of the code-level execution time estimation tool will be evaluated with
selected AbsInt customers. If the evaluation is satisfactory, these tool extensions will
be integrated into the aiT tool suite.

AbsInt plans to present ALL-TIMES results at selected trade shows (Embedded
World in Nuremberg, ERTS in Toulouse).

AbsInt plans to publish selected ALL-TIMES results in selected
workshops/conferences targeting engineers in the embedded systems domain.

From Gliwa GmbH Embedded Systems:

Done:

Planned:
   -  joint presentations at prospective customers
   -  presentation on Gliwa’s website
   -  joint presentations at technical/scientific events including demonstrators derived
      from the case- studies


From Mälardalen University:

Done:

Planned:
   -  Technical reports
   -  Scientific publications, and presentations

From Rapita Systems Limited:

Done:

Planned:

                                                                                           5
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008


   -    Joint presentation at prospective customers
   -    Promotion at Rapita systems website
   -    Technical articles presented at conferences and relevant journals

From Symtavision GmbH:

Done:

Planned:
   -  joint presentations at prospective customers
   -  joint presentations at leading technical/scientific events and trade-shows
   -  evaluation by prospective customers
   -  depending on customer feedback, ALL-TIMES results will be developed into
      products

From Vienna University of Technology:

Done:

Planned:
   -  tutorial at a conference
   -  joint presentations at technical/scientific events
   -  use of SATIrE in teaching static analysis techniques

This represents the status as of May 31, 2008.




                                                                                   6
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008


Update on PCA Attachment 1: Background included
Access Rights to Background made available to the Parties, in addition to ‘background
included’ listed in ALL-TIMES PCA, Attachment 1, version of 2007-10-05:

From AbsInt Angewandte Informatik GmbH:

No change

From Gliwa GmbH Embedded Systems:

No change

From Mälardalen University:

No change

From Rapita Systems Limited:

No change

From Symtavision GmbH:

No change

From Vienna University of Technology:

No change

This represents the status as of May 31, 2008.




                                                                                        7
Plan for the Use and Dissemination of Foreground (PUDF), May 31, 2008



Update on PCA Attachment 2: Background excluded
Background excluded from Access Rights, in addition to ‘background excluded’ listed in
ALL-TIMES PCA, Attachment 2, version of 2007-10-05:

From AbsInt Angewandte Informatik GmbH:

No change

From Gliwa GmbH Embedded Systems:

No change

From Mälardalen University:

No change

From Rapita Systems Limited:

No change

From Symtavision GmbH:

No change

From Vienna University of Technology:

No change

This represents the status as of May 31, 2008.




                                                                                         8

								
To top