If you haven't heard of it yet, you might find the rust language interesting. It is the most likely candidate for replacing C in applications like this today. It is kind of like C with built-in static analysis to enforce memory safety, plus a modern type system and tooling. It also has robust C ABI support.