| |
|
| \subsubsection*{Goals (last 4 years):} |
\subsubsection*{Goals (last 4 years):} |
| %\emph{Brief description of the |
%\emph{Brief description of the |
| %eesearch topics to be addressed during the last 4 years. Make sure to |
%research topics to be addressed during the last 4 years. Make sure to |
| %explicitly stress what the significant additions to the scientific |
%explicitly stress what the significant additions to the scientific |
| %knowledge are, and why they are important. (20-30 lines)} |
%knowledge are, and why they are important. (20-30 lines)} |
| |
|
| New programming languages and compilers for RESs |
In the last 4 years we will extend the research of the first years into |
| Non-functional properties and requirements as first-class language and compiler citizens |
some additional directions like |
| New compilation techniques enabling a uniform and integrated approach |
|
| |
\begin{itemize} |
| |
\item New programming languages and compilers for RESs |
| |
\item Non-functional properties and requirements as first-class language and |
| |
compiler citizens |
| |
\item New compilation techniques enabling a uniform and integrated approach |
| for ensuring functional and non-functional program and system requirements |
for ensuring functional and non-functional program and system requirements |
| Replacing trust by proof |
\item Verified compilers, proof-carrying code, verifying compilation for RESs |
| Certifying compilation, proof-carrying code, translation validation |
\item Making legacy applications fit to and available on RESs |
| Verified compilers, verifying compilation for RESs |
\item Techniques for adjusting and decompiling legacy applications |
| Making legacy applications fit to and available on RESs |
\end{itemize} |
| Techniques for adjusting and decompiling legacy applications |
|
| |
Application of the results of this research reduces the cost of the |
| |
development of reliable and correct embedded systems and makes them |
| |
safer and robust. |
| |
|
| \subsubsection*{Collaboration with other PPs:} |
\subsubsection*{Collaboration with other PPs:} |
| %\emph{List the PPs you are expecting to collaborate with, and describe briefly |
%\emph{List the PPs you are expecting to collaborate with, and describe briefly |
| %describe briefly the topic and nature of such a collaboration. (5-10 |
%describe briefly the topic and nature of such a collaboration. (5-10 |
| %lines)} |
%lines)} |
| \begin{itemize} |
\begin{itemize} |
| \item Walter Binder, University of Lugano, Switzerland |
\item Walter Binder, University of Lugano, Switzerland (resource analysis) |
| \item Sabine Glesner, TU Berlin, Berlin, Germany |
\item Sabine Glesner, TU Berlin, Berlin, Germany (verified compilation) |
| \item Aviral Shrivastava, Arizona State University, Tempe, AZ, USA |
\item Aviral Shrivastava, Arizona State University, Tempe, AZ, USA (reliable compilation) |
| \item Wolf Zimmermann, Martin-Luther Universit\"at Halle-Wittenberg, Halle, Germany |
\item Wolf Zimmermann, Martin-Luther Universit\"at Halle-Wittenberg, Halle, Germany |
| |
(verified compilation) |
| \end{itemize} |
\end{itemize} |
| |
|
| \begin{comment} |
\begin{comment} |
