Verification and Validation of Automated Systems’ Safety and Security   Web version > | Go to our homepage > Subscribe to the VALU3S Newsletter >> VALU3S Newsletter June 2022 The VALU3S Team whishes you all a very nice summer! See you all in August again. VALU3S Blog article Blog article number 9: ISO12100 Standard - how Risk Analysis contributes to design of safe machinery Risk analysis is an interconnected process that provides a systematic methodology for defining measures or other interventions to protect health in an effective, proportionate and targeted manner. A tool that provides common information for all those who need to perform a risk analysis is the set of ISO standards. ISO stands for “International Organisation for Standardisation”, an organisation responsible for defining the technical standards that an entity must comply with to conform to specific evaluation parameters. The guidelines defined by ISO certifications are voluntary: adherence to them is not required by law, but is necessary to obtain them. These certifications are concerned with certifying the company’s compliance with evaluation criteria to establish the presence of specific elements within the company’s processes. Read the full article > VALU3S Workshops - Spring 2022 IPR Workshop, Spring 2022 On 12 April the VALU3S consortium attended a small workshop on Intellectual Property Rights (IPR) given by Horizon Results Booster, an initiative created by the European Commission to support the dissemination, exploitation and business plan development of European funded projects. During the interactive lecture held in the afternoon, topics such as the importance of protecting intellectual property, the current methodologies to protect the outcomes and the procedures to be followed were discussed. In particular, special emphasis was placed on patents, although it was pointed out that this is not always the best way to safeguard intellectual property, highlighting other alternatives such as trade secrets. This workshop allowed partners to learn about the wide range of possibilities that exist for the protection of their intellectual property and the benefits that this protection can bring to VALU3S. A second workshop on this topic is also expected to be scheduled with the European Patent Office in the coming months. Publications New publications from VALU3S API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 Authors: Luc Edixhoven, Sung-Shik Jongmans, Guillermina Cledou, José Proença FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs Authors: Jasmin Jahic, Thomas Bauer, Thomas Kuhn, Norbert Wehn, Pablo Oliveira Antonino Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer Author: Harmim Dominik Practical Application of Facebook Infer on Systems Code Author: Beránek Tomáš Learning methods for structural damage detection via entropy-based sensors selection Authors: Francesco Smarra, Jimmy Tjen, Alessandro D'Innocenzo Comparison of RGB-D and IMU-based gesture recognition for human-robot interaction in remanufacturing Authors: Luis Roda-Sanchez, Celia Garrido-Hidalgo, Arturo S. García, Teresa Olivares & Antonio Fernández-Caballero Facial Emotion Recognition from an Unmanned Flying Social Robot for Home Care of Dependent People Authors: Anselmo Martínez,Lidia M. Belmonte, Arturo S. García,Antonio Fernández-Caballero, Rafael Morales Model-based assurance evidence management for safety–critical systems Authors: Jose Luis de la Vara, Arturo S. García, Jorge Valero, Clara Ayora Intercepting Hail Hydra: Real-time detection of Algorithmically Generated Domains Authors: Fran Casino, Nikolaos Lykousas, Ivan Homoliak, Constantinos Patsakis, Julio Hernandez-Castro Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars Author: Markus Borg Endüstriyel Robot Hareket Planlama Algoritmaları Performans Karşılaştırması Authors: Uğur YAYAN,Alim ERDOĞMUŞ Development of Simulation based testing for automated robot cell for quality inspection of automotive body-in-white system Authors: Alim Kerem Erdoğmuş, Mustafa Karaca, Uğur Yayan2, Gürol Çökünlü3 Manipulation of Camera Sensor Data via Fault Injection for Anomaly Detection Authors: Alim Kerem Erdogmus, Mustafa Karaca, Ugur Yayan Intelligent trajectory planner and generalised proportional integral control for two carts equipped with a red-green-blue depth sensor on a circular rail Authors: Ramón Panduro; Eva Segura; Lidia M. Belmonte; Antonio Fernández-Caballero; Paulo Novais; Jesús Benet; Rafael Morales Efficient and Effective Generation of Test Cases for Pedestrian Detection - Search-based Software Testing of Baidu Apollo in SVL Authors: Hamid Ebadi; Mahshid Helali Moghadam; Markus Borg; Gregory Gay; Afonso Fontes; Kasper Socha Test Automation with Grad-CAM Heatmaps - A Future Pipe Segment in MLOps for Vision AI? Authors: Markus Borg; Ronald Jabangwe; Simon Åberg; Arvid Ekblom; Ludwig Hedlund FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller Authors: Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan Towards Refactoring FRETish Requirements Authors: Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements Authors: Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan Read all publications > Events VALU3S year-2 review meeting 28-30 of June On 29th and 30th June 2022 the 2nd year Review Meeting of VALU3S project has been held at RISE premises in Gothenburg. All the Consortium Partners were present, as well as the ECSEL officer and the experts. On the first day, VALU3S partners have reported all the work done in the 2nd year of the project in the different work packages, highlighting the results achieved so far and the next steps until completion of the project. On the second day, a demonstration session has been held in the morning to showcase methods, tools and use-cases through pitches, posters and live demos. While in the afternoon the Consortium has visited the test track of AstaZero, a full-scale independent test environment for future road safety. AstaZero’s test site is unique since it is specifically developed for tests and research surrounding active safety. This meeting, indeed, has been a great opportunity for the consortium to report the progress status of the project and to define major improvements to implement from now to the end of the project. Furthermore, all partners have had the possibility to meet again physically after the 7th GA held in May and to reinforce team working and cooperation. The whole Consortium thanks RISE for the great hospitality and the excellent organization and the partners within the Swedish cluster for sponsoring the meeting. Looking forward to meet all of you in the next GA. Information Figure 1: the beautiful building of Orona Idea Campus in Hernani, San Sebastian (ES) VALU3S 7th General Assembly and Consortium Meeting: finally all together live! The 7th General Assembly and Consortium Meeting has been held on 17th-18th May 2022 in San Sebastian (ES) with the support of the partners within the Spanish cluster. The event was located in the brand new and futuristic facility of Orona Ideo Campus, in Hernani town. After two years of virtual meetings due to pandemic breakout and consequent travel restrictions, finally all the 41 VALU3S partners had the occasion to take part to the first physical plenary meeting. It has been very nice (and sometimes also weird) to see live faces of people with which partners are collaborating since 2019. The first day of meeting was dedicated to the presentation of objectives and activities planned for the third and last year of the project in the morning, while in the afternoon a demonstrator session has taken place. Within the latter, VALU3S partners had the opportunities to showcase methods, tools and use-cases involved in the project through pitches, posters and live demonstrations. Figure 2: VALU3S partners during the demo session The second day of the meeting was fully dedicated to the rehearsal of the several presentations for the Review Meeting of the second year of the project, which took place in the end of June. Partners were indeed prepared to report major advancements of activities and results achieved during the second. To conclude, it has been a very intense but grateful meeting. Partners are indeed ready for the final rush up to the end of the project, making all the best to make VALU3S successful! A message from the partners within the Spanish cluster At the general meeting and rehearsal of the second year review held in San Sebastian, we had the opportunity to share good times face to face for the first time since the project started. Besides reviewing the status of the project, we had the opportunity to share some of our culture, especially everything related to cider (Txotx!!!). We hope you enjoyed it. It has been a pleasure to host the meeting. The spanish consortium Updated version of the VALU3S Project vocabulary The systems and software engineering disciplines, techniques, and processes have vastly advanced during past decades. The progress is so rapid that terminology is updated in different domains simultaneously, which allows more definitions representing the same thing or unambiguous definitions leading to misunderstanding and faults in designs. This document was prepared to collect terms used specifically in the context of the VALU3S project and to unify or narrow down their definitions. Read vocabularty here > Upcoming external events 2022 August 8-12  International Conference on INnovations in Intelligent SysTems and Applications August 29- September 2  31st IEEE International Conference on Robot & Human Interactive Communication September 6 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022) September 6-9 The 41st International Conference on Computer Safety, Reliability and Security September 12-15 18th European Dependable Computing Conference 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 >