Changeset 22

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

Proposed final version.

1 edited


  • Deliverables/D6.2/report.tex

    r21 r22  
     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.
     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.
    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.
    315 %• ARTIST2: FP6 Network of Excellence on Embedded Systems Design.
    316 %  Sep 2004 – Aug 2008,
    317 %• ARTISTDesign: FP7 Network of Excellence on Design of Embedded Systems.
    318 %  Jan 2008 – Dec 2011, project/ArtistDesign.
    319 %• DEPLOY: Industrial deployment of system engineering methods pro-
    320 %  viding high dependability and productivity. FP7 project, Feb 2008 –
    321 %  Jan 2012,
    322 %• MASTER: Managing Assurance, Security and Trust for sERvices. FP7
    323 %  project, Feb 2008 – Jan 2011,
    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,
     323\subsubsection{National/Local Projects and Research Groups}
     325The following national/local projects and research groups are the most direct
     326interlocutors for \cerco.
     329 \item CompCert \url{}, 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{}, 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{} 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.
     344\subsubsection{EU Projects}
     346This is a selection of EU projects (mainly from FP7) dealing with embedded or,
     347more generally, resource constrained systems.
     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.
    330360\section{Description of the Use Plan (by result)}\label{byresult}
Note: See TracChangeset for help on using the changeset viewer.