ABSTRACT'Safe voyage from berth to berth' -this is the goal of all e-navigation strains, driven by new technologies, new infrastructures and new organizational structures on bridge, on shore as well as in the cloud. To facilitate these efforts suitable engineering and safety/risk assessment methods have to be applied. Understanding maritime transportation as a sociotechnical system allows system engineering methods to be applied. Formal and simulation based verification and validation of e-navigation technologies are important methods to obtain system safety and reliability. The modelling and simulation toolset HAGGIS provides methods for system specification and formal risk analysis. It provides a modelling framework for processes, fault trees and generic hazard specification and a physical world and maritime traffic simulation system. HAGGIS is accompanied by the physical test bed LABSKAUS which implements a reference port and waterway. Additionally, it contains an experimental Vessel Traffic Services (VTS) implementation and a mobile integrated bridge enabling in situ experiments for technology evaluation, testing, ground research and demonstration. This paper describes an integrated seamless approach for developing new e-navigation technologies starting with virtual simulation based assessment and ending in physical real world demonstrations.