News for hackers. Stuff that matters.

A comment on Boeing Starliner's flight's flaws show “fundamental problem,” NASA says. Parent comment

Re:Boeing Starliner's flight's flaws show “fundamental probl... by aforwardslash on Tuesday February 11, 2020 @11:09AM (#22299524)
Well, it really depends on what the project does. Most general purpose programming has looser requirements (both on specification and implementation) than critical projects. I have the sense you're comparing apples and oranges. Have a look at ex. MISRA https://en.wikipedia.org/wiki/MISRA_C to have an idea of the strictness applied. Hint: if you're using any methodology from the "agile" umbrella, it's not even in the same league. Specification and verification processes are arguably the most time-consuming part, not maintaining the code by itself.
[ Parent | on HN ]
Re:Boeing Starliner's flight's flaws show “fundamental probl... by sudoaza on Tuesday February 11, 2020 @06:15PM (#22304009)
Checked it, it's nice to have a standard linter, but then even at web development we use those. I know C/C++, embed systems and orbital dynamics will be harder but I would expect them to have the whole mission tested and dry-ran before, at the very least. I'd bet they were just rushed to deliver and focused on a working features checklist instead of thorough testing.
[ Parent | on HN ]
Re:Boeing Starliner's flight's flaws show “fundamental probl... by 0xffff2 on Tuesday February 11, 2020 @06:41PM (#22304198)
I you think MISRA-C is just "a standard linter" I don't think you've really grasped what it requires. MISRA-C compliant code requires a pretty fundamental shift in thinking.
[ Parent | on HN ]
Re:Boeing Starliner's flight's flaws show “fundamental probl... by sudoaza on Friday February 14, 2020 @03:47PM (#22330242)
There are some good common sense recommendations on the general development and then there are basically linter rules. The rules may be more restrictive than others but makes sense for a language such as C and the application is being used. But all this rules can be implemented by a linter and a short checklist. http://caxapa.ru/thumbs/468328/misra-c-2004.pdf
[ Parent | on HN ]
Re:Boeing Starliner's flight's flaws show “fundamental probl... by 0xffff2 on Tuesday February 11, 2020 @06:39PM (#22304182)
Agile has nothing to do with this. I don't want to dox myself, but I currently work on a spacecraft flight software team and we use a lot of agile principles in our development process.
[ Parent | on HN ]