The next frontier is distributed verification. Companies are now offering that run on a web browser. These systems use the exact same navigation solver and database engine compiled from the original C++ source code of the CMA 9000.
If you are looking to "produce" or access a simulation environment for this unit, the following resources are standard: cma 9000 fms simulator verified