CaMEL and ADCIRC Storm Surge Models—A Comparative Study

CaMEL and ADCIRC Storm Surge Models— A Comparative Study

The Computation and Modeling Engineering Laboratory (CaMEL), an implicit solver-based storm surge model, has been extended for use on high performance computing platforms. An MPI (Message Passing Interface) based parallel version of CaMEL has been developed from the previously existing serial version. CaMEL uses hybrid finite element and finite volume techniques to solve shallow water conservat...

A Framework for Running the ADCIRC Discontinuous Galerkin Storm Surge Model on a GPU

Hybrid architectures utilizing GPUs provide a unique opportunity in a high performance computing environment. However, there are many legacy codes, particularly written in Fortran, that can not take immediate advantage of GPUs. Furthermore, many of these codes are under active development and so completely rewriting the code may not be an option. The advanced circulation and storm surge finite ...

Storm surge modelling for Bunbury

Storm surge scenarios for Hamburg

Abstract A scenario for future storm surge heights for the tide gauge of Hamburg St. Pauli is constructed on the basis of results from a regional model for Cuxhaven. Under the A2 emission scenario, an increase of the mean annual maximum water level of about 0.1724 m appears possible and plausible for the time horizon of 2030. In Cuxhaven, an increase of 0.14 may be expected in this scenario. In...

A Formal Verification Study on the Rotterdam Storm Surge Barrier

This paper presents the results of the validation and verification of a crucial component of BOS, a large safety-critical system that decides when to close and open the Maeslantkering, a storm surge barrier near the city of Rotterdam in the Netherlands. BOS was specified in the formal language Z and model checking has been applied to some of its subsystems during its development. A lightweight ...