GSN is the dominant notation for AC constructions. The SACM 2.0 framework enables the model-based AC process with the support of the model-based engineering platforms, and further to link the AC model with the system model automatically. We can envisage the future application in the engineering practice of SACM.

This blog tries to provide an answer on the question: How would the deployment of autonomous systems have made the pandemic different?

Nowadays, there has been a variety of discussions about autonomous vehicles, but most are about cars and planes, so what about ships? Compared to the automotive and aircraft industry, the world took the fully autonomous ferry a bit late. In this brief, we dive into current developments and challenges of autonomous ships.

The societal benefits of autonomous vehicles (AVs) — those that operate fully without a driver — have never been clearer than they are right now. The delivery of essential items, such as medical supplies and food, with limited human contact, would serve us well in the current Coronavirus climate.

Check out our first SAS Promo Video! Watch how Dejana Ugrenovic (ESR4) and Orian Dheu (ESR15) explain which issues the ETN SAS project tackles and how the project helps society achieve Safer Autonomous Systems!

The lock down is still in force, however, research continues in full swing. MSCA ETN SAS candidates Aleksandr Ovechkin (ESR5) and Hassan Tirmizi (ESR9) had recently submitted their first research outcomes to the international symposium on Electromagnetic Compatibility, better known as EMC Europe 2020. After a peer-review, we are delighted to announce that Aleksandr has one accepted paper: The Need ...

Our own Raul Sena Ferreira, ESR1, has won one of the few available grants for the VIVA European Summer School on Artificial Intelligence and Software Verification and Validation. This summer school will take place in October this year. Congratulations to Raul!

The imposed lockdowns are for our ultimate good, as health and safety takes precedence over all other matters. However, at the same time it is important that we don’t let the virus demoralize our spirits and disrupt our lives.

This is an introduction of ROS2 (Robot Operating System 2), including fundamental architecture and features.

Finding an appropriate PhD position requires a lot of time, energy and motivation. Here are some tips that can help you with this goal.