VM4SEC

The VM4SEC project aims to provide computer-assisted software technology tools to address the lengthy, exhausting, and error-prone verification and validation (V&V) process, minimizing development time and associated costs in the development of safety-sensitive software products. According to existing safety-critical software projects and industry experience, V&V processes impose a significant burden on the software development lifecycle, as they are time-consuming, often begin after the system has already been developed or even deployed, and small changes in software configuration or usage conditions require a complete re-evaluation of the system in terms of safety.

To this end, the VM4SEC project envisions a new software technology paradigm, along with the appropriate supportive tools, that integrates safety requirements into the code development process to effectively enhance productivity in the development of safety-sensitive software applications through a series of innovations. Specifically, the project will develop and provide a new hierarchical Safety Assessment Model for identifying vulnerabilities and effectively facilitating decision-making tasks in the development of secure software. Additionally, it provides a vulnerability prediction model and a recommendation engine to predict software vulnerabilities, aiming (a) to prevent their introduction into the system and thus improve the quality (i.e., safety) of the software product under development, and (b) to ensure adherence to the initially specified safety requirements.

Through its collaborative partners, the project will evaluate the proposed V&V tool in a real business environment to confirm its commercial applicability.

Consortium

Onelity Hellas Ltd.
Center for Research and Technology Hellas / Information Technologies Institute