News for hackers. Stuff that matters.

A comment on The Power of 10: Rules for Developing Safety-Critical Code [pdf]. Parent comment

Re:The Power of 10: Rules for Developing Safety-Critical Cod... by adrianN on Wednesday June 28, 2023 @12:56PM (#36509209)
How many problems in safety critical systems need Turing completeness and how many are fine with something weaker eg primitive recursion? My intuition is that most things are fine without full Turing completeness (as far as you can even apply terms about computability to systems with complex IO behavior)
[ Parent | on HN ]
Re:The Power of 10: Rules for Developing Safety-Critical Cod... by marcosdumay on Wednesday June 28, 2023 @04:35PM (#36512233)
> How many problems in safety critical systems need Turing completeness

Probably all, like the ones outside of critical systems.

But if you concentrate the complex behavior in a single layer, you will probably get a very thin layer, that you can call an OS or something like that, verify it very well, and have almost all the code follow a non-complete idiom.

[ Parent | on HN ]
Re:The Power of 10: Rules for Developing Safety-Critical Cod... by adrianN on Thursday June 29, 2023 @12:50AM (#36516416)
I have worked on a safety critical system and can't recall a part that needed Turing completeness.
[ Parent | on HN ]
Re:The Power of 10: Rules for Developing Safety-Critical Cod... by marcosdumay on Thursday June 29, 2023 @11:49AM (#36522093)
What starts your safety critical code?
[ Parent | on HN ]
Re:The Power of 10: Rules for Developing Safety-Critical Cod... by adrianN on Friday June 30, 2023 @01:27AM (#36530847)
Some part of the hardware starts executing the code at some fixed address when the system is powered on. I don't know the details, I only do software.
[ Parent | on HN ]