Urban Air Mobility is envisioned as an on-demand, highly automated and autonomous air
transportation modality. It requires the use of advanced sensing and data communication …

The integration of connected and autonomous technologies in safety-critical brought
significant system design challenges. These systems are constantly evolving and becoming …

Security patterns play a pivotal role in enhancing the safety and security of safety-critical
systems. This study delves into the impact of adding pattern-based security on the functional …

The model-based toolchain for software systems engineering developed by the XANDAR
project supports designers in the integration of software with different degrees of granularity …

Urban Air Mobility is envisioned as an on-demand, highly automated and autonomous air
transportation modality. It requires the use of advanced sensing and data communication …