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

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

version 1.5, 2009/06/26 10:31:16 version 1.6, 2009/06/26 14:26:38
Line 19 Line 19
   
 \title{\bf PP \emph{Compilation Techniques for Robust Embedded Systems}}  \title{\bf PP \emph{Compilation Techniques for Robust Embedded Systems}}
   
 \author{{\sc Ulrich Schmid}\\  \author{{\sc Andreas Krall and Jens Knoop}\\
 s@ecs.tuwien.ac.at  \{andi,knoop\}@complang.tuwien.ac.at
 }  }
   
 \bibliographystyle{unsrt}  \bibliographystyle{unsrt}
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.  Compilation techniques for robust embedded systems comprise different areas.
   Therefore, the project is divided into three work packages: compilation and
   simulation techniques for reliabiltiy, verified compilation and worst case
   execution time analysis.
   
 \paragraph*{WP1 - Compilation and Simulation Techniques for Reliability}  \paragraph*{WP1 - Compilation and Simulation Techniques for Reliability}
   
 (1) Specification and efficient simulation of reliable processors  In previous work we have developed a processor description language
 (partial redundancy, ECC, lockstep etc) and compiler optimizations to  with a very concise semantics from where we automatically generate
 exploit/balance reliabiliy features. Connection with CESAR NN1  optimized compilers \cite{BrEbKr07} and high efficient instruction set
   simulators \cite{BrFeKrRi09}. This environment we use as testbed for
   our compiler optimizations for embedded processors
   \cite{EbBrSchKrWiKa08,PrKrHo06,MeKr07}. We will extend this
   environment to do research on compilation and simulation techniques to
   enhance the reliability of processor/memory systems by mixed
   hardware/software and pure software techniques. 
   
 \begin{itemize}  \begin{itemize}
 \item Specification method to specify an energy consumption model in  \item Specification method to specify an energy consumption model in
Line 137  exploit/balance reliabiliy features. Con Line 146  exploit/balance reliabiliy features. Con
 \item Specification method for fault injection and fault checking in  \item Specification method for fault injection and fault checking in
       the processor specification        the processor specification
 \item Generation of optimized instruction set simulators from the  \item Generation of optimized instruction set simulators from the
       processor specification        extended processor specification
 \item Generation of optimizing compilers from the processor specification  \item Generation of optimizing compilers from the extended processor
         specification
 \item Research into new compiler optimizations to increase reliability by  \item Research into new compiler optimizations to increase reliability by
       pure software solutions, mixed hardware/software solutions and        pure software solutions, mixed hardware/software solutions and
       balancing performance, code space, reliability and energy consumption        balancing performance, code space, reliability and energy consumption
Removed from v.1.5  
changed lines
  Added in v.1.6

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