These articles compare and contrast Rust, C, C++, Ada and SPARK. These languages are often used in applications that address high levels of safety and security from automotive applications to aviation. They are also regularly used for other embedded applications.