摘要：'Safe vo yage fro m berth to berth' — this is the goal of all e-navigation strains, driven b y new technologies, new infrastructures and new organizational structures on bridge, o n shore as well as in the clo ud. To facilitate these efforts suitable engineering and safety/risk assess- ment methods have to be applied. Understanding maritime transportation as a sociotechnical system allows system engineering methods to be applied. Formal and simulation based veri- fication and validation o f 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 pr o- cesses, 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 ex- periments 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 demo n- strations
