Embedded Files
Project Description: Automated Protection and Prevention to Meet Security Requirements in DevOps Environments. Deploying verification methods for the security of cyber-physical systems into fast, flexible system engineering practices, VeriDevOps brings together fast security verification through formal modelling and verification as well as test generation, selection, execution and analysis capabilities to enable companies to deliver quality systems with confidence in a fast-paced DevOps environment. VeriDevOps brings fast and cost-effective security formal verification and test automation thus significantly improving the DevOps processes. Overall, VeriDevOps is using the results of formal verification of security requirements for test and monitor generation to be used to enhance the feedback mechanisms during development and operation phases. VeriDevOps focuses on addressing the challenges of automation of verification methods and intelligent monitoring for prevention and protection of modern complex industrial systems. The innovation will be enabled by leveraging formal specifications of security requirements automatically generated using Natural Language Processing (NLP) and pattern-based approaches13. Our goal is to provide a way of preventing inconsistencies from propagating into operations and identifying the faults that could be introduced in the requirements
The key challenge of the project is to automatically express and manage security requirements in an effective and unambiguous way, such that both engineers and stakeholders have a common understanding of their content. Once these security requirements are unambiguously specified and decomposed, one needs to verify the compliance of the realizations to required security behavior by formal verification and testing for both protection and prevention means.
SOFTEAM Role: Tech Coordinator, Technology Provider, Work Package Leader
Web Site: https://www.veridevops.eu/
Start Date: 1st October 2020
End Date: 30 September 2023
Report abuse