Verification and Validation of Automated Systems’ Safety and Security   Web version > | Go to our homepage > Subscribe to the VALU3S Newsletter >> The first year of the VALU3S project The VALU3S project is now reaching the end of its first year and is experiencing one of its busiest periods. During this year, and despite having to deal with a global pandemic, we managed to reach the project objectives set out for the period. This was made possible, through an active participation and contributions of the project partners as well as the many online meetings that replaced the initially planned face-to-face meetings. We have also had an active involvement in dissemination and communication of the project results through continuous reporting of the project results in the project’s social media platforms and participations in conferences, workshops, fairs that resulted in publication of a set of scientific articles that are available on the project website.   We are looking forward to finalization of the first year of the project and planning for the coming year, which will, to a great extent, be dedicated to implementation of technologies (methods and tools) that contribute to addressing the project objectives. These technologies will then be used mainly in the last year of the project to evaluate the project demonstrators as well as to show the time- and cost-related improvements made available through the application of the technologies on the demonstrators. The coming year will also be an exciting year where lots of activities will be performed in connection with our web-based repository that hosts the different vital components needed to conduct a V&V activity.   I would like to once again thank all the project partners for their active contributions to the project. Also, a special thank to you, readers of this newsletter, for showing interest in the project and following-up on its activities and results. Stay tuned for additional project-related news, results, and updates and hope that you find this newsletter informative and useful. Behrooz Sangchoolie Researcher in the Department of Electrification and Reliability at RISE Research Institutes of Sweden Blog articles Blog article, March 2021 Security of Automated systems – exploiting risk assessment as countermeasure against cyber-threats Automation is the key factor that will be increasingly present in the factories of the future. This type of systems is used in a wide range of applications, such as control and monitoring systems, data security applications, factory automation systems, automated message response systems, autonomous vehicles etc. The rise in automation leads to significant advantages in economic and safety terms. Read the article > Blog article, February 2021 Collaborative robotics – A way to ease recycling and enhance labour market inclusion Waste electrical and electronic equipment (WEEE) represents the fastest-growing type of waste in Europe. The increasing levels of electronic waste, inappropriate elimination, and insecure treatment pose significant risks to the environment and human health. Over the last decades, the ever-higher amount of waste electrical and electronic equipment has become a significant problem worldwide. Read the article > Publications New publications from VALU3S Implementing Hybrid Semantics: From Functional to Imperative. Authors: Goncharov, S., Neves, R., Proença, J. An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs. Authors: Sangchoolie, B., Pattabiraman, K., Karlsson, J. Feeling of Safety and Comfort towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home. Authors: Belmonte, L., García, A., Morales, R., de la Vara, J.L., López de la Rosa, F., Fernández-Caballero, A Read all publications > VALU3S first training session on V&V methods Watch the new VALU3S training sessions on V&V methods! The VALU3S project has conducted the first training session on V&V methods. The training has been divided into separate modules that can all be watched below. Stay tuned as more video tutorials focusing on V&V methods and tools that are addressed in VALU3S will be released soon. Wireless Interface Network Security Assessment Introductory video on “Wireless Interface Network Security Assessment” by Fabio Patrone and colleagues from University of Genova, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021. Runtime Verification Based on Formal Specifications Introductory video on “Runtime Verification Based on Formal Specifications” by Giann Nandi from Instituto Superior de Engenharia do Porto, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021. Risk Analysis for Secure Automated Systems Introductory video on “Risk Analysis for Secure Automated Systems” by Davide Ottonello from STAM, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021. Introduction to Model Checking Video on “Introduction to Model Checking” by José Proença from Instituto Superior de Engenharia do Porto, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021. Simulation-based fault and attack injection at system level Introductory video on “Simulation-based fault and attack injection at system level” by Mateen Malik from RISE, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021. Upcoming internal events 2021 March 25  VALU3S first training session – V&V methods, part 1 (presentations will become available at our YouTube channel) April 22  VALU3S first training session – V&V methods, part 2 (presentations will become available at our YouTube channel) May 18 - May 19  Consortium meeting Upcoming external events 2021 March 23 - March 25  ERF -European Robotics Forum April 12 - April 15  International Working Conference on Requirement Engineering: Foundation for Software Quality May 4 - May 5  Testforum 2021 May 22 - May 28  ISCAS 2021 This project has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852. The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey. The ECSEL JU and the European Commission are not responsible for the content of this newsletter or any use that may be made of the information it contains. Newsletter hosted by RISE Research Institutes of Sweden. Contact us > | Unsubscribe > | Tip a friend >