Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

The process applied for verification of maritime systems lacks the ability to properly examine complex networks of interconnections. Verification is mainly focused on single failures of components, not properly accounting for the complexity emerging through interactions between human operators, computer systems and electro-mechanical components. The problem apparently resides in the supporting studies, or the lack thereof, for the development of...