VESSEDIA Project Objectives
• Developing a methodology that allows to adopt and use source code analysis tools efficiently and produce similar benefits than already achieved for highlycritical applications,
• Enhancing the Frama-C toolbox to enable efficient and fast implementation,
• Demonstrating the new toolbox capabilities on IoT (Internet of Things) applications including an IoT Operating System (Contiki),
• Developing a standardization plan for generalizing the use of the toolbox,
• Contributing to the Common Criteria certification process, and
• Defining a label “Verified in Europe” for validating software products with European technologies such as Frama-C.