Dependable Systems Group

New Parallel Computer Operational

Feb 04, 2014

The Dependable Systems group has commissioned a new parallel computer at the CAU together with the Scientific Computing and Algorithmic Optimal Control groups and the Prof. Dr. Werner Petersen foundation. The machine costs about 300,000 Euros, and has been financed by the state of Schleswig-Holstein, the Petersen foundation and funds of the three groups.

The new computer is an SGI UV2000 with 2.25 Terabytes of main memory, 36 CPUs (288 processing cores in total) and 8 modules with specialized co-processors (4 each equipped with Nvidia K20c and Intel Xeon Phi, respectively). It has a shared-memory architecture. We will use it to find new ways to check safety properties of concurrent systems.