Dr Matt Luckcuck and Dr Marie Farrell discuss how robust Formal Methods can help to verify autonomous systems.
Autonomous and automated systems present a variety of challenges for robust verification and validation. Autonomous systems make choices without human intervention; they are often embodied in robotic systems, which mean that they can interact with the real world. Autonomous systems are being introduced into safety-critical scenarios, where their safety must be assured and, often, demonstrated to a regulator.
|
|
|
Standardisation Workshops, Autumn 2021
Do we have anything new to talk about?
On the 16th of September of 2021, the VALU3S project has initiated a new series of training sessions dedicated to standardisation. This is a new branch in training activities within VALU3S that aims at building an internal ecosystem for the exchange of information focused on aspects of established standards and ongoing standardisation activities that are of relevance to the work being performed in the project. Moreover, these training sessions have also the purpose to support the standardisation activities that are foreseen in the scope of the project and drive it towards the achievement of one of the project’s KPI that aims at the project being involved in at least 14 standardisation initiatives.
The first session was focused on the CEN ISO/IEEE 11073 Health informatics. This norm enables communication between medical, health care and wellness devices and external computer systems. They provide automatic and detailed electronic data capture of client-related and vital signs information, and of device operational data.
- Real-time plug-and-play interoperability for citizen-related medical, healthcare and wellness devices;
- Efficient exchange of care device data, acquired at the point-of-care, in all care environments.
- "Real-time" means that data from multiple devices can be retrieved, time correlated, and displayed or processed in fractions of a second.
- "Plug-and-play" means that all a user has to do is make the connection – the systems automatically detect, configure, and communicate without any other human interaction
- "Efficient exchange of care device data" means that information that is captured at the point-of-care (e.g., personal vital signs data) can be archived, retrieved, and processed by many different types of applications without extensive software and equipment support, and without needless loss of information.
This norm could serve as inspiration in other domains in which the interoperability between devices is a must, and data sources can be of different types; The way the data is structured and real time registration is achieved can be of use in other domains.
As usual in VALU3S, the video of this first session (of the training dedicated to standardisation will made available in our Youtube channel as well as the videos of the future sessions), so stay tuned in our social networks, as the link for the video will be announced soon.
|
|
Should we keep this? Do we have anything new?
During September we have created a new section on the web presenting all our deliverables. This section will continuously be updated with information.
|
|
|
- Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3S ECSEL project.
Authors: Alper Kanak, Salih Ergun, Ahmet Yazıcı, Metin Ozkan, Gürol Çokünlü, Uğur Yayan, Mustafa Karaca, Abdullah Taha Arslan - Efficient and Effective Generation of Test Cases for Pedestrian Detection.
Authors: Hamid Ebadi, Mahshid Helali Moghadam, Markus Borg, Gregory Gay, Afonso Fontesvand Kasper Socha - Featured Team Automata.
Authors: Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, and José Proença
|
|
|
Report from the EFECS2021
Can we make a summary from this event? |
|
Do we have any new information?
xxxx |
|
2022
January xxx xxxx
February xxx xxxx |
|
2022
January xxx xxxx
February xxx xxxx
|
|
|
|
|