I think that's what I was saying. Vehicle control software is the only place I think where certified code makes sense. When others' safety can be put at risk by your crappy coding. That's not a copyright/licencing issue, or even something solved by making chips harder to flash, it's a vehicle law.

TFA makes it sound like there are many others. What else is there?