Autonomous vehicles (AV) depend on the sensors like RADAR and camera for the
perception of the environment, path planning, and control. With the increasing autonomy …

Cyber-Physical Systems (CPS) are exposed to a plethora of attacks and their attack surface
is only increasing. However, whilst many attack paths are possible, only some can threaten …

Autonomous and unmanned ships are approaching reality. One of several unsolved
challenges related to these systems is how to perform safety verification. Although this …

As safety-critical systems become increasingly complex, ensuring the safety of systems that
govern critical functions affecting human activities and the environment is paramount. The …

Increased connectivity in modern aircraft also significantly increases the attack surface
available to adversaries and the number of possible attack paths. It is therefore of essence to …

The area of autonomous and remotely operated ships is develo** fast but is still an
immature field where new ideas and novel technology solutions are being introduced. As …

Fully automatic operation system (FAO) in metro has a huge potential because of its
efficiency and automation. Meanwhile, the autonomous train needs more advanced …

Model checking is a proven approach for checking whether the behavior model of a safety-
critical system fulfills safety properties that are stated as LTL formulas. We propose rules for …

Abstract The Abstract State Machine (ASM) method is a formal specification and modeling
technique that allows us to specify computational systems at the required abstraction level …

The research presented in this thesis is directed at the analysis of critical systems and
protocols and the improvement of their safety and security aspects respectively, by …