DATE is pleased to present a special hybrid format for its 2022 event, as the situation related to COVID-19 is improving but safety measures and restrictions will remain uncertain for the upcoming months across Europe and worldwide. In transition towards a future post-pandemic event again, DATE 2022 will host a two-day live event in presence in the city of Antwerp (just north of Brussels in Belgium), to bring the community together again, followed by other activities carried out entirely online in the subsequent days. This setup combines the in-presence experience with the opportunities of on-line activities, fostering the networking and social interactions around an interesting program of selected talks and panels on emerging topics to complement the traditional DATE high-quality scientific, technical and educational activities.

VeriDevOps

VeriDevOps
Contact Person
Gunnar Widforss
Location

POBox 883
721 23 VASTERAS
Sweden

VerDevOps Website

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)