4 ms·
I'm not sure for space, for aircraft it's usually C or Ada and lot's of testing. Sometimes Scada. I have not seen static analysis applied. You could use any lan
by plafl 9y ago
I'm not sure for space, for aircraft it's usually C or Ada and lot's of testing. Sometimes Scada. I have not seen static analysis applied. You could use any language of your choosing but you then would need to demonstrate test coverage on the generated machine code, which you could avoid maybe by using a certified C compiler. I would expect space applications to have less stringent requirements, unless human lifes are involved.
- osense 9y agoIt seems unfortunate to have to run tests at all, all the more running them on the generated machine code. What about having to satisfy some real-time guarantees? Is this checked by tests as well?
- plafl 9y agoI think, but not remember too well, that tests and some human analysis can suffice. But in the end there is testing, more tests and whole teams dedicated to testing.