EclipseCon proposals

EclipseCon 2012 deadline is tonight, we have at Atos Toulouse submit 3 proposals presenting our different Eclipse activities.

• MDT Papyrus usage in industrial context - sharing feedback with community
• This talk is a good opportunity for community to have feedbacks of industrials of MDT Papyrus usage.
• BIRT for reporting ... what about documentation ? Here comes Gendoc2 !
• BIRT everybody knows, why do we need another tool to generate documentation ? Because the task is different and industrials have of course reporting expectations but the also need a documentation compliant with the Quality Kit of the company.
• FCDT, formal proof integration in CDT using Codan and XText
• This talk will present how the CDT has been extended to provide an open source formal proof IDE using a powerful static analysis tool (Frama-C)

These 3 proposals are a good summary of the Eclipse work of Atos Toulouse : focusing on embedded project lifecycle, our job is to give solutions and support to industrials in the descending and ascending phases.