VALU3S Blog

Formally Verifying Autonomous Systems

Formally Verifying Autonomous Systems

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...

read more
Security of Automated systems – exploiting risk assessment as countermeasure against cyber-threats

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 more
Collaborative robotics – A way to ease recycling and enhance labour market inclusion

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 more
Lower costs for verification and validation of automated systems and a safer everyday life for the end user

Lower costs for verification and validation of automated systems and a safer everyday life for the end user

Highly automated systems are being increasingly used in our day-to-day life. A great number of these system are also safety-critical, meaning that failures in them could result in loss of lives or damage to the environment. Examples of these systems are cars, airplanes, and health monitoring systems. Is it possible to anticipate possible errors and eliminate them to the extent that we could launch these systems into our everyday lives? The answer is -Yes! RISE is the coordinator of the VALU3S project where state-of-the-art methods and tools are used to verify and validate the safety and security of automated systems.

read more
Share This