Changeset 22 for Deliverables/D6.2/report.tex
- Timestamp:
- Aug 20, 2010, 8:03:28 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D6.2/report.tex
r21 r22 149 149 ~\\ 150 150 151 \begin{center} 151 152 \begin{tabular}{|lc|} 152 153 \hline … … 157 158 \hline 158 159 \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. 159 169 160 170 \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. 312 322 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 325 The following national/local projects and research groups are the most direct 326 interlocutors 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 346 This is a selection of EU projects (mainly from FP7) dealing with embedded or, 347 more 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} 329 359 330 360 \section{Description of the Use Plan (by result)}\label{byresult}
Note: See TracChangeset
for help on using the changeset viewer.