Changeset 22 for Deliverables/D6.2/report.tex

Timestamp:

Aug 20, 2010, 8:03:28 PM (11 years ago)

Author:

sacerdot

Message:

Proposed final version.

File:

• Deliverables/D6.2/report.tex (modified) (3 diffs)

Deliverables/D6.2/report.tex

@@ -149 +149 @@
 ~\\
 
+\begin{center}
 \begin{tabular}{|lc|}
 \hline
@@ -157 +158 @@
 \hline
 \end{tabular}
+\end{center}
+
+~\\
+
+\subsection{Academic exploitation}
+ Academic partners will take great advantage from the results of CerCo mainly in terms of increased technical know-how and scientific knowledge, increased visibility in the scientific community of reference, increased expertise, exploitable for institutional academic purposes (e.g. didactic activities). We also expect that the rest of the academic community will take up the innovative ideas of the project, building on top of them code analyses at a level of accuracy that could have not been previously possible. Finally, we expect elaboration and instantiation of our methodology to other kinds of high level languages (functional, logic) and to more complex scenarios involving, for instance, a real time operating system.
+
+\subsection{Industrial exploitation}
+ The long term industrial exploitation of the results of the CerCo project is envisaged mainly in the area of the embedded systems/software, in particular in the case of safety critical applications and time critical (realtime) applications. In the short term, software houses producing compilers for embedded systems could immediately benefit from the CerCo cost annotating technology or, more generally, by the know- how provided in the certification of compilers. It is worth noting that several of these software houses are located in Europe, such as the medium-sized System Engineer Group of Freescale, which is headquartered in Scotland, Raisonance and Cosmic Software, which are headquartered in France, the small-size Hightech, headquartered in Germany, just to name a few.
 
 \subsection{Management of knowledge and intellectual property}
@@ -311 +321 @@
 This section indicates some projects and organizations relevant to the ongoing work (at world-wide, European or national level) and with which information exchange might be beneficial.
 
-XXX: TO BE COMPLETED
-
-%• ARTIST2: FP6 Network of Excellence on Embedded Systems Design.
-%  Sep 2004 – Aug 2008, http://www.artist-embedded.org/artist.
-%• ARTISTDesign: FP7 Network of Excellence on Design of Embedded Systems.
-%  Jan 2008 – Dec 2011, https://www.control.lth.se/ project/ArtistDesign.
-%• DEPLOY: Industrial deployment of system engineering methods pro-
-%  viding high dependability and productivity. FP7 project, Feb 2008 –
-%  Jan 2012, http://www.deploy-project.eu/index.html.
-%• MASTER: Managing Assurance, Security and Trust for sERvices. FP7
-%  project, Feb 2008 – Jan 2011, http://www.master-fp7.eu/index.
-%  php.
-%• SENSORIA: Software Engineering for Service-Oriented Overlay Computers,
-%  FP6 project, Sep 2005 – Aug 2009, http://www.sensoria-ist.
-%• SERENITY: System Engineering for Security and Dependability. FP6
-%  project, Jan 2006 – Dec 2008, http://www.serenity-forum.org.
+\subsubsection{National/Local Projects and Research Groups}
+
+The following national/local projects and research groups are the most direct
+interlocutors for \cerco.
+
+\begin{itemize}
+ \item CompCert \url{http://compcert.inria.fr}, the most advanced, closed
+       source project on the development of a certified compiler for a subset
+       of C, and a natural source of inspiration and competitor for \cerco.
+ \item Frama-C \url{http://frama-c.com}, an extensible and collaborative
+       platform dedicated to source-code analysis of C software. It is a
+       natural candidate for a technological integration with the \cerco{}
+       compiler in order to provide high-level reasoning tools on the
+       intentional properties of C programs.
+ \item AbsInt \url{http://absint.com} is a privately-held company located
+       in Saarbruecken, Germany, that participated to several EU projects and
+       has a good record of collaboration with the scientific community. It
+       develops advanced development tools for embedded systems, and tools for
+       validation, verification and certification of safety-critical software.
+\end{itemize}
+
+\subsubsection{EU Projects}
+
+This is a selection of EU projects (mainly from FP7) dealing with embedded or,
+more generally, resource constrained systems.
+
+\begin{itemize}
+\item ARTEMIS: European Technology Platform/Joint Technology Initiative on
+      Advanced Research \& Technology for Embedded Intelligence and Systems
+\item Embounded: FP6 Strep on Automatic Analysis of Bounded Resources for Embedded Systems. 
+\item ARTISTDesign: FP7 Network of Excellence on Design of Embedded Systems
+\item MNEMEE : FP7 Collaborative Project on Memory management technology for adaptive and efficient design of embedded systems. Jan 2008 -- Dec 2010.
+\item INTERESTED: FP7 Collaborative Project on Interoperable embedded systems Tool-chain for enhanced rapid design, prototyping and code generation. Jan 2008 -- Dec 2010.
+\item PREDATOR : FP7 Collaborative Project on Design for predictability and efficiency. Feb 2008 -- Jan 2011.
+\item QUASIMODO : FP7 Collaborative Project on Quantitative system properties in model-driven design of embedded systems. Jan 2008 -- Dec 2010.
+\end{itemize}
 
 \section{Description of the Use Plan (by result)}\label{byresult}