Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much has been written about the design and developmentprocess, very little organized information is available on how to verifyand validate highly complex and highly coupled dynamic systems. Inability toevaluate such systems adequately may become the limiting factor in our ability to employ systems that our technology and knowledge allow us to design. This volume, based on a NATO Advanced Science Institute held in 1992, is designed to provide guidance for the verification and validation of all highly complex and coupled systems. Air traffic control isused an an example to ensure that the theory is described in terms that will allow its implementation, but the results can be applied to all complex and coupled systems. The volume presents the knowledge and theory ina format that will allow readers from a wide variety of backgrounds to apply it to the systems for which they are responsible. The emphasis is on domains where significant advances have been made in the methods of identifying potential problems and in new testing methods and tools. Also emphasized are techniques to identify the assumptions on which a system is built and to spot their weaknesses.

This is volume 2 of a 2-volume set. Marine Design XIII collects the contributions to the 13th International Marine Design Conference (IMDC 2018, Espoo, Finland, 10-14 June 2018). The aim of this IMDC series of conferences is to promote all aspects of marine design as an engineering discipline. The focus is on key design challenges and opportunities in the area of current maritime technologies and markets, with special emphasis on: • Challenges in merging ship design and marine applications of experience-based industrial design • Digitalisation as technological enabler for stronger link between efficient design, operations and maintenance in future • Emerging technologies and their impact on future designs • Cruise ship and icebreaker designs including fleet compositions to meet new market demands To reflect on the conference focus, Marine Design XIII covers the following research topic series: •State of art ship design principles - education, design methodology, structural design, hydrodynamic design; •Cutting edge ship designs and operations - ship concept design, risk and safety, arctic design, autonomous ships; •Energy efficiency and propulsions - energy efficiency, hull form design, propulsion equipment design; •Wider marine designs and practices - navy ships, offshore and wind farms and production. Marine Design XIII contains 2 state-of-the-art reports on design methodologies and cruise ships design, and 4 keynote papers on new directions for vessel design practices and tools, digital maritime traffic, naval ship designs, and new tanker design for arctic. Marine Design XIII will be of interest to academics and professionals in maritime technologies and marine design.

Marine Design XIII collects the contributions to the 13th International Marine Design Conference (IMDC 2018, Espoo, Finland, 10-14 June 2018). The aim of this IMDC series of conferences is to promote all aspects of marine design as an engineering discipline. The focus is on key design challenges and opportunities in the area of current maritime technologies and markets, with special emphasis on: • Challenges in merging ship design and marine applications of experience-based industrial design • Digitalisation as technological enabler for stronger link between efficient design, operations and maintenance in future • Emerging technologies and their impact on future designs • Cruise ship and icebreaker designs including fleet compositions to meet new market demands To reflect on the conference focus, Marine Design XIII covers the following research topic series: •State of art ship design principles - education, design methodology, structural design, hydrodynamic design; •Cutting edge ship designs and operations - ship concept design, risk and safety, arctic design, autonomous ships; •Energy efficiency and propulsions - energy efficiency, hull form design, propulsion equipment design; •Wider marine designs and practices - navy ships, offshore and wind farms and production. Marine Design XIII contains 2 state-of-the-art reports on design methodologies and cruise ships design, and 4 keynote papers on new directions for vessel design practices and tools, digital maritime traffic, naval ship designs, and new tanker design for arctic. Marine Design XIII will be of interest to academics and professionals in maritime technologies and marine design.