Reply to post: Re: Standardization?

Rusty Linux kernel draws closer with new patch adding support for Rust as second language


Re: Standardization?

The optimizing C compilers used in automotive, medical, aerospace and rail are being "qualified" for use by large test code batteries and essentially "old age" and "widespread use with small problems".

There have been cases of compiler and MCU bugs, because the approach above is NOT mathematical correctness proof.

The same can soon be said about the Rust compiler.

Also, functional safety requires very extensive test efforts including unit tests for each subroutine, which would most likely expose compiler bugs.

In the end, there is no absolute safety, but only a "best effort, according to state of the art".

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

Biting the hand that feeds IT © 1998–2022