--- res/PP-compiler.tex	2009/06/26 10:31:16	1.5
+++ res/PP-compiler.tex	2009/06/26 14:26:38	1.6
@@ -19,8 +19,8 @@
 
 \title{\bf PP \emph{Compilation Techniques for Robust Embedded Systems}}
 
-\author{{\sc Ulrich Schmid}\\
-s@ecs.tuwien.ac.at
+\author{{\sc Andreas Krall and Jens Knoop}\\
+\{andi,knoop\}@complang.tuwien.ac.at
 }
 
 \bibliographystyle{unsrt}
@@ -121,13 +121,22 @@ Techniques for reducing or eliminating t
 %to also describe and (coarsely) quantify the resources (staff, cost of 
 %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}
 
-(1) Specification and efficient simulation of reliable processors
-(partial redundancy, ECC, lockstep etc) and compiler optimizations to
-exploit/balance reliabiliy features. Connection with CESAR NN1
+In previous work we have developed a processor description language
+with a very concise semantics from where we automatically generate
+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}
 \item Specification method to specify an energy consumption model in
@@ -137,8 +146,9 @@ exploit/balance reliabiliy features. Con
 \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
+      extended processor specification
+\item Generation of optimizing compilers from the extended 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