Knowledge-centric systems engineering with the Systems Engineering Suite
Among the existing general systems engineering approaches, there exists a growing interest in industry towards the so-called Knowledge Centric Systems Engineering (KCSE). It can be regarded as a specialisation of model-based systems engineering based on the idea that all systems engineering processes are affected by the existence of a knowledge base about a system and its lifecycle. The base relates to all the systems engineering processes and enables improvements in the quality of their outputs, traceability of the artefacts, and system reuse. In essence, the activities of any systems engineering process can take advantage of a knowledge base, including V&V activities.
|
|
|
|
Virtual Stress-Testing a Digital Twin of a Motor Control Platform using Dynamic Fault-injection
The use-case presented here is a system redesign of a Motor Control Platform where an existing microcontroller (MCU) is to be replaced by a new RISC-V core. Replacing a core component of an industrial embedded systems usually requires huge efforts regarding verification and validation of the new setup. Especially replacing the MCU normally entails significant changes to the hardware/software interface design and the verification process, possibly including the purchase of expensive design IP and verification IP for the specific component. To achieve a shift-left of the system verification, a Virtual Prototype of the system is created to detect possible issues as early as possible during this redesign process long before the real hardware is available. In this way, an early feasibility study can be started independent from the hardware redesign process. Moreover, it helps to analyze and elaborate details of the system requirements, supports the creation of the firmware, and helps to build test scenarios for the final hardware/software components. In this article we will show how to build a Digital Twin of the new system and how to apply dynamic fault-injection for stress-testing the new platform. The effect of various safety-features and redundancy configurations can thus be evaluated and taken into consideration for the full system design.
|
|
|
- Network Failures in Cloud Management Platforms: A Study on Oenstack
Authors: Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira. - SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system
Authors: Borg, M., Henriksson, J., Socha, K. _et al._ Ergo. - SMIRK: A machine learning-based pedestrian automatic emergency braking system with a complete safety case
Authors: Kasper Socha, Markus Borg, Jens Henriksson. - Can we Communicate? Using Dynamic Logic to Verify Team Automata
Authors: Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença
|
|
|
On November 30 2022 the VALU3S project hosted an online information meeting. First a project introduction was given by Behrooz Sangolie from RISE, the coordinator of VALU3S. After this Joseba A. Agirre Bastegieta, professor/researcher at the Department of Electronics and Computer Science at Mondragon University, guided us through the new repository hosting the elements of V&V processes.
|
|
|
|
In this video, Bernd Bredehorst (PUMACY) explains us the Human-Robot-Interaction in semi-automatic assembly process use-case within VALU3S project. This use-case is based on a Human-Robot-Interaction (HRI) process taking place on the shop floor of a manufacturing-like environment. The process itself involves the execution of assembly tasks by human workers focusing on the assembly of transformer units which consist of multiple parts. HRI systems have to manage the coordination between humans and robots according to the safety requirements for collaborative industrial robot systems defined by several standards (e.g. ISO 10218-2:2011). VALU3S tool ensures that verification and validation of safety requirements is performed through the simulation of the use-case.
|
|
|
|
End-of-life (EOL) products are continually being discarded, causing several environmental issues. Responsible treatment of EOL products can include reusing, recycling or remanufacturing products or parts. These processes can be both environmentally and economically beneficial. Waste is minimised, while valuable components and materials are recovered. Product disassembly is one of the main steps in EOL treatment processes and involves the extraction and segregation of the desired components, parts or materials from the product, and is usually carried out on disassembly lines in specialised plants.
|
|
|
In this video, Emanuele Mingozzi from ESTE is explaining needs and challenges of the Agriculture Robot use case. In details, the Agriculture Robot use case aims to verify by testing, safety analysis and simulation both the manual and the autonomous guidance phases of work of the multi-tool robot. Then, the other target for this use case are to finalize the development, verify and validate the parallel autonomous guidance. In fact, this agriculture vehicle was traditionally drive through remote control unit, while now it has been endowed with position and radar sensors to enable operators to switch from tele-operated to autonomous guidance. In this regard, VALU3S project has supported the improvement of this system through risk analysis, model-based safety analysis, machine learning for data validation, fault detection and penetration testing tools and methodologies.
|
|
|
1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems 27 June 2023, Porto, Portugal.
The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on safety and security) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.
|
|
|
|
The VALU3S consortium is happy to showcase part of the results produced during the project in a demonstration session that is planned to be held on June 29 in Porto, Portugal.
The demonstration session is organized as part of the program of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN203). More information about this event will be announced on the project website as well as on the website of DSN2023.
|
|
|
|
The VALU3S project is proud to organize a summer school with the focus on the results produced during the project.
The theme of the school is Verification and Validation of Dependable Cyber-Physical Systems, and the following topics are planned to be covered, each in 1-to-3-hour modules:
- Testing (e.g., injection-based verification and validation)
- Simulation
- Formal Verification (e.g., requirements formalization, Model checking, semi-formal analysis, including Risk assessment and hazard analysis)
- Verification and validation modelling language (VVML)
- VALU3S web-based repository (https://repo.valu3s.eu/)
- Standards and standardisation initiatives
- VALU3S demonstrations
In addition to the above topics, the participants will have the opportunity to present and disseminate their research in poster sessions.
The summer school is planned to take place in Genova, Italy on 18th-20th July 2023 with the support of the partners within the Italian cluster. The estimated cost for registration (per participant) is around 180€.
If you are a student (bachelor, master, or Ph.D.) or an early-stage researcher/engineer with an interest in expanding your knowledge around verification and validation, we recommend you to join us!
|
|
|
|
|
|
