2 Apr 2024
🚀 VeriDevOps key results 🚀
9 use cases, 21 tools, 45 papers, a published book on #CyberSecurity in a #DevOps Environment, and 6 Research workshops later, we conclude with the #VeriDevOpsProject.
link.springer.com/book/10.10…
1
3
22
30 May 2023
Don't miss our new article about the #Early tool for early attack detection.
✍ Written by @drtanwirahmad from @AboAkademi.
#VeriDevOpsProject #Horizon2020 #EarlyAttackDetection #AttackDetection
linkedin.com/pulse/early-usi…
2
4
72
30 Mar 2023
#VeriDevOps tools and methods aims to support the #DevOps context with rapid cycles for #continuousintegration and delivery.
#VeriDevOpsProject #Horizon2020
veridevops.eu
2
22
15 Feb 2023
🆕 If you were unable to attend the third #ResearchWorkshop, we have uploaded each session to YouTube, so you can access them!
🔎 Find below the session focused on the #NALABS tool presented by Eduard Paul Enoiu.
#VeriDevOps #VeriDevOpsProject
youtube.com/watch?v=hOpmqFaj…
2
2
87
14 Feb 2023
🛡️ Most of the #VeriDevOpstools should demonstrate the compatibility with #CICD practices. In this post, we identify a possible #CICDscenario for the #SEAFOX tool by @malardalen_uni.
#VeriDevOps #VeriDevOpsProject #HorizonEU
veridevops.eu
1
3
92
6 Feb 2023
🇸🇪 We open the year with another #VeriDevOps plenary meeting! This time it's the turn of @malardalen_uni, who has organized the event in Västerås.
We can't wait to see each other's faces again and keep working on this great project that brings us together.
#VeriDevOpsProject
2
3
89
31 Jan 2023
🛡️ ARQAN can provide a list of semantically similar requirements from an existing set of requirements, thus indicating possible issues with duplication or possible inconsistencies in the #requirementsspecification.
#VeriDevOpsProject #HorizonEU
veridevops.eu
1
2
38
16 Jan 2023
🛡️ The #VeriDevOpsProject will participate in the #HiPEAC23 taking place in Toulouse! You can find us on Wednesday at the EU projects’ poster session.
#VeriDevOps #Horizon2020
@hipeac
2
4
70
29 Dec 2022
🏭 Over the next posts, we will focus on @ABBSverige #usecases focused on the #AutomationIndustry and Operation of #Cranes. We will start sharing the first of the six case studies, that covers the #MPTest Process Assessment.
#VeriDevOpsProject #HorizonEU
veridevops.eu
2
54
15 Dec 2022
🏭 The third @FagorAutomation #usecase deals with the alignment of the #EdgeDevice configuration to the #NISTFramework.
#VeriDevOpsProject #HorizonEU
veridevops.eu
2
13 Dec 2022
🏭 The second @FagorAutomation #usecase deals with #SecurityMonitoring.
⚠️ If a #securityissue is detected, its root cause should also be identified and a counter-measure, manual or automatic according to the threat impact, should be also recommended/applied.
#VeriDevOpsProject
2
6 Dec 2022
#NALABS is a new tool, developed by @malardalen_uni, that aims at the quick analysis of requirements by detecting problematic #requirements, both functional and security-related requirements.
#VeriDevOps #VeriDevOpsProject #HorizonEU
veridevops.eu
3
29 Nov 2022
🆕 The last article is out! Learn more about the #THOE tool at the link below!
✍ Written by Ángel Longueira Romero from @IKERLANofficial.
#VeriDevOps #VeriDevOpsProject
linkedin.com/pulse/thoe-adva…
3
5
23 Nov 2022
🆕 The penultimate article is out! Learn more about the safety monitoring of #IndustrialControlSystems on the link below!
✍ Written by @Wissam2010 from @MontimageF.
#VeriDevOps #VeriDevOpsProject
linkedin.com/pulse/monitorin…
1
2
26 Oct 2022
🆕 Our #IndustrialResearchWorkshop newsletter is out! Read the first article about the #NALABS tool and its benefits now!
✍ Written by @eduardpaulenoiu from @malardalen_uni.
#VeriDevOps #VeriDevOpsProject
linkedin.com/pulse/nalabs-de…
3
3
24 Oct 2022
🎂 We were even able to celebrate the birthday of two of our colleagues, @sadovykh and @Wissam2010, wait till you see the end of the video!
#VeriDevOpsProject
veridevops.eu
3
17 Oct 2022
🤩 The #VeriDevOps plenary meeting starts tomorrow in Mondragón (Spain)! We will open this face to face meeting by presenting and discussing the status of the project, but there will also time for an exciting #ResearchWorkshop on Thursday 20th, don't miss it!
#VeriDevOpsProject
3
3
11 Oct 2022
The #InSpeX tool, developed by @AboAkademi, is a tool that generates tests efficiently for systems with large input spaces in a black-box manner.
#VeriDevOps #VeriDevOpsProject
veridevops.eu
2
4
1 Oct 2022
Don't miss the second #ResearchWorkshop on 20 October! Below you will find the link to all the event details, the agenda, the speakers, and the link to the YouTube Livestream! We cannot wait to see you there!
#VeriDevOps #VeriDevOpsProject
veridevops.eu/veridevops/eve…
2
3
22 Sep 2022
#Modelio, developed by @SofteamGroup, proposes various extension modules and can be used as a platform for building new #ModelDrivenEngineering features such as #codegeneration and #reverseengineering of Java and C .
#VeriDevOpsProject #HorizonEU
veridevops.eu
1
2