Changeset 22


Ignore:
Timestamp:
Aug 20, 2010, 8:03:28 PM (9 years ago)
Author:
sacerdot
Message:

Proposed final version.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D6.2/report.tex

    r21 r22  
    149149~\\
    150150
     151\begin{center}
    151152\begin{tabular}{|lc|}
    152153\hline
     
    157158\hline
    158159\end{tabular}
     160\end{center}
     161
     162~\\
     163
     164\subsection{Academic exploitation}
     165 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.
     166
     167\subsection{Industrial exploitation}
     168 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.
    159169
    160170\subsection{Management of knowledge and intellectual property}
     
    311321This 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.
    312322
    313 XXX: TO BE COMPLETED
    314 
    315 %• ARTIST2: FP6 Network of Excellence on Embedded Systems Design.
    316 %  Sep 2004 – Aug 2008, http://www.artist-embedded.org/artist.
    317 %• ARTISTDesign: FP7 Network of Excellence on Design of Embedded Systems.
    318 %  Jan 2008 – Dec 2011, https://www.control.lth.se/ project/ArtistDesign.
    319 %• DEPLOY: Industrial deployment of system engineering methods pro-
    320 %  viding high dependability and productivity. FP7 project, Feb 2008 –
    321 %  Jan 2012, http://www.deploy-project.eu/index.html.
    322 %• MASTER: Managing Assurance, Security and Trust for sERvices. FP7
    323 %  project, Feb 2008 – Jan 2011, http://www.master-fp7.eu/index.
    324 %  php.
    325 %• SENSORIA: Software Engineering for Service-Oriented Overlay Computers,
    326 %  FP6 project, Sep 2005 – Aug 2009, http://www.sensoria-ist.
    327 %• SERENITY: System Engineering for Security and Dependability. FP6
    328 %  project, Jan 2006 – Dec 2008, http://www.serenity-forum.org.
     323\subsubsection{National/Local Projects and Research Groups}
     324
     325The following national/local projects and research groups are the most direct
     326interlocutors for \cerco.
     327
     328\begin{itemize}
     329 \item CompCert \url{http://compcert.inria.fr}, the most advanced, closed
     330       source project on the development of a certified compiler for a subset
     331       of C, and a natural source of inspiration and competitor for \cerco.
     332 \item Frama-C \url{http://frama-c.com}, an extensible and collaborative
     333       platform dedicated to source-code analysis of C software. It is a
     334       natural candidate for a technological integration with the \cerco{}
     335       compiler in order to provide high-level reasoning tools on the
     336       intentional properties of C programs.
     337 \item AbsInt \url{http://absint.com} is a privately-held company located
     338       in Saarbruecken, Germany, that participated to several EU projects and
     339       has a good record of collaboration with the scientific community. It
     340       develops advanced development tools for embedded systems, and tools for
     341       validation, verification and certification of safety-critical software.
     342\end{itemize}
     343
     344\subsubsection{EU Projects}
     345
     346This is a selection of EU projects (mainly from FP7) dealing with embedded or,
     347more generally, resource constrained systems.
     348
     349\begin{itemize}
     350\item ARTEMIS: European Technology Platform/Joint Technology Initiative on
     351      Advanced Research \& Technology for Embedded Intelligence and Systems
     352\item Embounded: FP6 Strep on Automatic Analysis of Bounded Resources for Embedded Systems.
     353\item ARTISTDesign: FP7 Network of Excellence on Design of Embedded Systems
     354\item MNEMEE : FP7 Collaborative Project on Memory management technology for adaptive and efficient design of embedded systems. Jan 2008 -- Dec 2010.
     355\item INTERESTED: FP7 Collaborative Project on Interoperable embedded systems Tool-chain for enhanced rapid design, prototyping and code generation. Jan 2008 -- Dec 2010.
     356\item PREDATOR : FP7 Collaborative Project on Design for predictability and efficiency. Feb 2008 -- Jan 2011.
     357\item QUASIMODO : FP7 Collaborative Project on Quantitative system properties in model-driven design of embedded systems. Jan 2008 -- Dec 2010.
     358\end{itemize}
    329359
    330360\section{Description of the Use Plan (by result)}\label{byresult}
Note: See TracChangeset for help on using the changeset viewer.