Building a new certifiable simulator