Verfication and validationSystems engineeringSystem and product qualificationSurface and subsea boat modellingStability and controlSafety, availability, reliability and maintainabilitySafety critical softwareRequirements captureModelling and simulationMechanical systems