Thursday, June 29, 2006

Rules for Developing Safety Critical Code

Since I've spent quite a bit of time at JPL, some of it doing formal specification and verification, this article in the latest IEEE Computer caught my eye.

It's a short essay giving ten "rules" for safety critical software development. Some of it reminds me of cleanroom software engineering (with the exception of Rule 10 :)