‘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.
 Bucklew J. A., An introduction to rare event simulation, New York 2003.
 Droste R., Läsche C., Sobiech C., Böde E. and Hahn A., Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations, in Formal Methods for Industrial Critical Systems, 2012, Vol. 7437, pp. 146–161.
 Endsley M. R., Toward a Theory of Situation Awareness in Dynamic Systems, Hum. Factors J. Hum. Factors Ergon. Soc., 1995, Vol. 37, No. 1, pp. 32–64.
 Gacnik J., Häger O., Hannibal M. and Köster F., Service-Oriented Architecture For Future Driver Assistance Systems, presented at the FISITA 2008 Automotive World Congress, München 2008.
 Gerkey B., Vaughan R., Stoy K. and Howard A., Most valuable Player: A Robot Device Server for Distributed Control, in Proceedings of 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001.
 Lee W. S., Grosh D. L., Tillman F. A. and Lie C. H., Fault Tree Analysis, Methods, and Applications ߝ A Review, IEEE Trans. Reliab., 1985, Vol. R-34, No. 3, pp. 194–203.
 Lenk J. C., Droste R., Sobiech C., Lüdtke A. and Hahn A., Towards Cooperative Cognitive Models in Multi-Agent Systems, in COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications, 2012, pp. 67–70.
 Ouyang C., Verbeek E., Aalst van der W. M. P., Breutel S., Dumas M. and Hofstede ter A. H. M., Formal semantics and analysis of control flow in WS-BPEL, Sci. Comput. Program., 2007, Vol. 67, No. 2–3, pp. 162–198.
 Pahl G., Wallace K. and Blessing L., Engineering design: a systematic approach, 3rd ed., London 2007.
 Pastor O., España S., Panach J. I. and Aquino N., Model-Driven Development, Inform.-Spektrum, 2008, Vol. 31, No. 5, pp. 394–407.
 Quigley M., Conley K., Gerkey B., Faust J., Foote T., Leibs J., Wheeler R. and Ng A., ROS: an open-source Robot Operating System, presented at the ICRA Workshop on Open Source Software, 2009.
 Schlager J., Systems Engineering: Key to Modern Development, IRE Trans., 1956, Vol. EM-3 (3), pp. 64–66.
 Schweigert S., Droste R. and Hahn A., Multi–Agenten basierte 3D Simulation für die Evaluierung von Offshore Operationen, in Go-3D 2012, Stuttgart 2012.
 Sobiech C., Droste R., Hahn A. and Korte H., Model based Development of Health, Safety, and Environment Plans and Risk Assessment for Offshore Operations, 2012.