C++ versus Ada for safety critical software (i)
craftofcoding.wordpress.com
external-link

Safety critical software is incredibly important for systems designed for applications such as aerospace, rail transportation, power stations and the like. This the F-35 hey, built largely in C++. …

@Zach777
23M

This was an excellent example of why C is not a safe language lol.

@thindil
creator
33M

Quite interesting, that the author uses code which looks more like C than C++ :) Anyway, there is also a second part too: https://craftofcoding.wordpress.com/2021/04/02/c-versus-ada-for-safety-critical-software-ii/

@copacetic
23M

The difference between C and C++ is interesting here. C++ enables you to build abstractions to lower error risk (bounded integers, range checked containers, …) but C++ is also much more complex and that increases error risk.

@hburb3ri
13M

Why isn’t Rust mentioned? It should at least be worth mentioning, since Rust has been getting more and more real-world usage in safety critical software.

@copacetic
23M

Rust is used in safety-critical software? Citation please.

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

  • 0 users online
  • 1 user / day
  • 2 users / week
  • 2 users / month
  • 7 users / 6 months
  • 18 subscribers
  • 23 Posts
  • 12 Comments
  • Modlog