Helsing: Simulating a System of Systems
- đ¤ Speaker: Matei David
- đ Date & Time: Monday 17 March 2025, 13:05 - 13:55
- đ Venue: FW26, William Gates Building
Abstract
At Helsing, speed and correctness are key in delivering high quality products. The two are often in antithesis; it is difficult to quickly iterate over designs while keeping your codebase correct and vice versa. To build confidence in the systems we build, we use deterministic simulation concepts to enable full end-to-end testing and verification of our software through our in-house simulation platform called Prophecy. Prophecy aims to make simulating easy by providing libraries and services necessary to orchestrate simulations and build a system of systems. This allows other teams to test scenarios up-front and ensure their code and models are resilient to failure, and to run complex, distributed workflows through closed or open loop simulations. In this talk, we’ll be having a look at what deterministic simulation is in a nutshell, how Prophecy works, and how to simulate concurrent code in Rust using tokio.
Please register at the following link: https://forms.office.com/e/E2nCWEpkA9
Please note that it is not a requirement to sign up in order to attend the event
You can also participate in a coding challenge, and the best submission will win a DJI drone. The challenge is available in this link: https://screen-ide.coderpad.io/invite/1323704f6f9c624b725
Some catering will be provided
Series This talk is part of the Technical Talks - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- Department of Computer Science and Technology talks and seminars
- FW26, William Gates Building
- Guy Emerson's list
- Interested Talks
- ndk22's list
- ob366-ai4er
- rp587
- School of Technology
- Technical Talks - Department of Computer Science and Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Matei David
Monday 17 March 2025, 13:05-13:55