This TechXchange takes a look at some programming languages that target high reliability embedded applications
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.
Programming languages often defer reliability and security issues to tools and processes. Two initiatives—SPARK and Rust—state that language is key to reaching these objectives...
Technology Editor Bill Wong takes another look Ada 2012 and thinks it is time for other C programmers to do the same. It has significant advantages for embedded applications, ...
