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