Threat Modelling and Risk Management with THREATGET

THREATGET, is an Enterprise architect plugin developed by AIT, which allows to model and visualize a security-focused representation of a system. It enables the integration of “security-by-design” for security critical infrastructures during the whole system lifecycle...

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 and validation. Autonomous systems make choices without human...

Verification and validation methods for industrial robots

The use of industrial robots in the industry reached to 2.7 million in 2020 according to the world robotics industrial robots report [1]. This number is expected to rise due to fact that robots become indispensable elements of smart production with the fourth...

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.

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.

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.