VALU3S focuses on verification and validation (V&V) of cyber-physical automated systems. VALU3S will investigate methods, tools and concepts that are not only suitable for the evaluation of automated systems but also improve the time and cost of the verification and validation process. Thus, overall, VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost needed to verify and validate automated systems with respect to safety, cybersecurity and privacy (SCP) requirements.
You are here
Go to the closed projects pages.
The HUBCAP project aims at establishing a cloud-based center of innovation and collaboration among companies, research institutes and competence centers to help SMEs try and adopt Model-Based Design (MBD) technology. It builds on seven established Digital Innovation Hubs (DIHs) in seven European countries, each embedded in its regional innovation ecosystem, offering complementary technical expertise, experimental capabilities, and specialist knowledge in Cyber-Physical Systems (CPS) application domains.
Design and development of a robotic manipulator.
- Recognizing objects within boxes, planning movements to pick the object and to position it in the proper electroplating bar;
- Proper integration with the external production (E.g. the MAIS project);
- Facilitate the learning for new objects, thus reducing the cost for adaptation;
Final clients are coating companies operating complex and heterogeneous coating tasks.
In AWARD, the ES unit is responsible for the intra-logistic planning of a warehouse using Automated Guided Vehicles and by coordinating the last mile deliveries using drones.
Self-learning planning algorithms, based on academic knowledge and machine learning Techniques
This project is part of a key workstream activity of the company financing this activity which aims at changing the paradigm of underwater inspections and interventions via a fleet of next-generation drones and advanced ancillary equipments.
Within this project the ES unit will design and develop the Autonomous Reasoning Engine for the subsea robotic platform of the company:
A joint scientific study, funded by Bosch, will investigate the application of safety contracts and safety assessment techniques based on formal methods to the design process of Bosch with the goal of demonstrating their usefulness and suitability in the automotive domain.
Modeling, verification and safety analysis of critical, highly integrated systems.
The Mechanical Automation Integration System is an ambitious project aimed at the development of a platform for the automatic control of electroplating plants. We discovered that for this project, the combination of the planning and the scheduling sub-problems was intractable for existing domain-independent planers. In the project we developed a very efficient domain-dependent planner in which we coded the knowledge gained from extensive discussions with domain experts.
The VMT format is an extension of the SMT-LIBv2 (SMT2 for short) format to represent symbolic transition systems. VMT exploits the capability offered by the SMT2 language of attaching annotations to terms and formulas in order to specify the components of the transition system and the properties to verify.