DATE 2021 became a virtual conference due to the worldwide COVID-19 pandemic (click here for more details)

Taking into consideration the continued erratic development of the worldwide COVID-19 pandemic and the accompanying restrictions of worldwide travelling as well as the safety and health of the DATE community, the Organizing Committees decided to host DATE 2021 as a virtual conference in early February 2021. Unfortunately, the current situation does not allow a face-to-face conference in Grenoble, France.

The Organizing Committees are working intensively to create a virtual conference that gives as much of a real conference atmosphere as possible.

 
 
 
 

VeriDevOps

VeriDevOps
Contact Person
Gunnar Widforss
Location

POBox 883
721 23 VASTERAS
Sweden

VeriDevOps is an ICT project funded by Horizon 2020; 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 and pattern-based approaches. The 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 project consortium consists of Mälardalen University (coordinator) and ABB AB (Sweden); SOFTEAM and Montimage EURL (France); Åbo Akademi (Finland); IKERLAN S. COOP and Fagor Arrasate S COOP (Spain)