You probably hold with the conventional view that the Java language cannot be used for embedded programming. According to this view, implementations of the Java language are (1) too slow, (2) too big, ...

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 ...