The Power of 10: Rules for Developing Safety-Critical Code [pdf]

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 ]