[BACK]Return to PP-compiler.tex CVS log [TXT] [DIR] Up to [gforth] / res

Diff for /res/PP-compiler.tex between versions 1.4 and 1.5

version 1.4, 2009/06/26 07:34:20 version 1.5, 2009/06/26 10:31:16
Line 38  Associated researchers: \emph{} Line 38  Associated researchers: \emph{}
 %\emph{Informal description of the purpose of the PP (3-5 lines)}  %\emph{Informal description of the purpose of the PP (3-5 lines)}
 Every embedded system consists of software which is written in a high  Every embedded system consists of software which is written in a high
 level language, compiled to machine language and executed on a  level language, compiled to machine language and executed on a
 processor. For robust embedded systems new verified compilation  processor. For robust embedded systems new verified compilation,
 techniques are necessary to optimize for performance, power, space,  simulation and specification methods are necessary to optimize for
 concurrency and reliability.  performance, power, space, concurrency and reliability.
   
 \subsubsection*{State of the art and related work:}   \subsubsection*{State of the art and related work:} 
 %\emph{Briefly describe the scientific state of the art (20-30 lines)}  %\emph{Briefly describe the scientific state of the art (20-30 lines)}
Line 121  Techniques for reducing or eliminating t Line 121  Techniques for reducing or eliminating t
 %to also describe and (coarsely) quantify the resources (staff, cost of   %to also describe and (coarsely) quantify the resources (staff, cost of 
 %special equipment) required for this work in a table. (20-30 lines)}  %special equipment) required for this work in a table. (20-30 lines)}
   
   The project is divided into three work packages.
   
   \paragraph*{WP1 - Compilation and Simulation Techniques for Reliability}
   
 (1) Specification and efficient simulation of reliable processors (partial redundancy,  (1) Specification and efficient simulation of reliable processors
 ECC, lockstep etc) and compiler optimizations to exploit/balance reliabiliy features.  (partial redundancy, ECC, lockstep etc) and compiler optimizations to
 Connection with CESAR NN1  exploit/balance reliabiliy features. Connection with CESAR NN1
   
   \begin{itemize}
   \item Specification method to specify an energy consumption model in
         a processor specification.
   \item Specification method for redundancy and error correction in the
         processor specification
   \item Specification method for fault injection and fault checking in
         the processor specification
   \item Generation of optimized instruction set simulators from the
         processor specification
   \item Generation of optimizing compilers from the processor specification
   \item Research into new compiler optimizations to increase reliability by
         pure software solutions, mixed hardware/software solutions and
         balancing performance, code space, reliability and energy consumption
   \item Research of correctness proofs and validation of the new optimizations
   
   \end{itemize}
   
 (2) translation verification, specification of semantics of IRs solving  \paragraph*{WP2 - Verified Compilation}
 subproblems. NN1 + NN2  
   
 (3) WCET NN3  translation verification, specification of semantics of IRs solving
   subproblems.
   
   \paragraph*{WP3 - Worst Case Ececution Time Analysis}
   
   WCET
   
   
 \begin{tabular}{llll}  \begin{tabular}{llll}
   \\
 \hline  \hline
 {\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\  {\bf Pos} & {\bf Type} & {\bf Description}    & {\bf Duration} \\
 NN1 & PhD & reliable compilation / simulation & 4 years \\  NN1 & PhD & reliable compilation / simulation & 4 years \\
 NN2 & PhD & compiler verificationi            & 4 years \\  NN2 & PhD & verified compilation              & 4 years \\
 NN3 & PhD & WCET                              & 4 years \\  NN3 & PhD & WCET                              & 4 years \\
 \hline  \hline
 \end{tabular}  \end{tabular}
Removed from v.1.4  
changed lines
  Added in v.1.5

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>