Concurrent Reactive Objects in Rust Secure by Construction

Embedded systems of the IoT era face the software developer with requirements on a mix of resource efficiency, real-time, safety, and security properties. As of today, C/C++ programming dominates t ...