Dissemination and Innovation Activities
Dissemination of project results into knowledge, products, and exploitation are key indicators of the success of the project. The dissemination strategy will be explicit about the links between the research process and the dissemination process, with particular attention paid to the links between the project's outputs and the dissemination tools and between these tools and the potential users of the project's results.
The potential target audience of the CerCo? project is composed of the following categories:
- Academic communities, which should be made aware of both the methodological and technological approach developed in CerCo?. In particular, formal verification is still seen as highly innovative in the community of compiler construction, and complexity has been under-addressed so far in the theorem proving community. Other communities, like that of Worst Case Execution Time, could find in our technology a solid ground for linking high level analysis to actual code execution.
- Other EC funded initiatives, related either to compilation and formal verification techniques (in particular for embedded systems) or to their exploitation areas, like the European Technology Platform/Joint? technology Initiative on Embedded Systems ARTEMIS.
- European software houses active in the development of compilers or static analyzers for embedded systems, with potential interest in certification of their products.
In order to reach these stakeholders and ensure an effective dissemination, the project foresees the following dissemination mechanisms:
- Definition of a project coordinated image and preparation of the dissemination materials, such as the project logo and a coordinated set of project tools for reports and presentation of the project results, be used in different dissemination occasions.
- Preparation of a project web site containing a reserved area needed as collaboration platform among the project partners, as well as public pages, to be used to showcase the results which can be disseminated. In particular, the web site will contain the project description; partners profile and relevant contact details; scientific papers and slides of presentations to international meetings; public project deliverables; press kit: project fact sheet and flyer; project poster; links to relevant projects; research programmes and associations; notice of important European and international events. The content of the site will be updated regularly as well as at the accomplishment of every deliverable. Furthermore,a quarterly newsletter will be published on the web public section and electronically distributed to potential user communities.
- Participation in national and international scientific events (seminars, clustering activities and working groups); presentation of results at conferences, seminars, workshops, both through speeches or posters; publication of technical and research papers in well-known scientific and industrial journals, magazines, newspapers. Within the initial dissemination plan, partners will contribute to create a list of possible conferences and events connected with the topics dealt with by the project in order to exploit all possible dissemination opportunities.
- Presentations of the technologies developed in the project to industrial parties with potential short and long term interests. This could also be achieved by inviting industrial representatives to late project meetings.
Exploitation of the results
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.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.
Management of Intellectual Property Rights (IPR)
Apart from the Guideline for IPR in FP7 Projects (the Project Manager is in contact with the IPR Helpdesk Service organized by the EC) that will be the basis for the project IPR standards, more specific rules regulating specific aspects of the property and protection needs will be defined in the Consortium Agreement. All software will be developed under open licences and proofs will be public domain. The partners will commit in the Consortium Agreement to avoid filing patents on the software. Nevertheless, a continuous patent survey, carried out by the Coordinator, will assist the Advisory Board in decisions related to the danger of infringing existent patents.
The Consortium Agreement will be a formally binding legal document, prepared by the Coordinator and signed, upon approval of the Advisory Board, by all the participants at the latest within three months after the start of the Project.
The Consortium Agreement will be mainly aimed at complementing and better clarifying the rules stated in the EU Contract and Annexes and will further specify the recommendations and guidelines of EU IPR HelpDesk? to the sensible results of the Project. In particular, it will be focused among others on:
- Decision process and voting ways of the Advisory Board
- Publication authorization
- IPR and ownership rules
- Access Rights
- Participant obligations
- Periodic reporting