Does anyone know about certifying RTOSes as safe for particular applications, like avionics, hospital equipment, nuclear power plant operation, that sort of thing (the practicalities of it, like cost, how long it takes, who does it...)
Are there any standard references on hard real time kernels? Is anyone else here interested in hard real time?
Real time kernels
Re:Real time kernels
Whenever "hard real time" comes up, I usually cannot resist the temptation to ask, "what for", but you seem to be aware that "hard real time" has nothing to do with multimedia. Congratulations, you're a rare species. 
No, I don't know about "standard certification" bodies. Usually, "hard real time" requirements go hand in hand with rather special hardware requirements (failsafe, fallback, redundancy etc.), so we're back to the question:
What for?
I think it is pretty near impossible to write a "general purpose" hard RTOS, and if you were on corporate contract, you wouldn't be hanging around here.
Tell us more about what your RTOS should be good for, and we might be able to provide pointers to organisations that might be of help. (Ever thought about asking your potential customers what certificates they're looking for?)
No, I don't know about "standard certification" bodies. Usually, "hard real time" requirements go hand in hand with rather special hardware requirements (failsafe, fallback, redundancy etc.), so we're back to the question:
What for?
I think it is pretty near impossible to write a "general purpose" hard RTOS, and if you were on corporate contract, you wouldn't be hanging around here.
Tell us more about what your RTOS should be good for, and we might be able to provide pointers to organisations that might be of help. (Ever thought about asking your potential customers what certificates they're looking for?)
Every good solution is obvious once you've found it.
-
jamesb.au
Re:Real time kernels
Hum, yes, you've asked me some interesting questionsSolar wrote: Whenever "hard real time" comes up, I usually cannot resist the temptation to ask, "what for", but you seem to be aware that "hard real time" has nothing to do with multimedia. Congratulations, you're a rare species.
No, I don't know about "standard certification" bodies. Usually, "hard real time" requirements go hand in hand with rather special hardware requirements (failsafe, fallback, redundancy etc.), so we're back to the question:
What for?
I think it is pretty near impossible to write a "general purpose" hard RTOS, and if you were on corporate contract, you wouldn't be hanging around here.
Tell us more about what your RTOS should be good for, and we might be able to provide pointers to organisations that might be of help. (Ever thought about asking your potential customers what certificates they're looking for?)
I wasn't aware that general purpose hard real time kernels weren't really a practical thing to do. I assumed that the RTOS kernels I have looked at were hard not soft real time, although one (uC-OS II) is certified for avionics.What for: don't know yet, but I wanted to write one that could be certified for some serious tasks, such as the above list. Maybe I will have to pick just one, learn about the certification requirements from reading the docs on it, then develop for that application, see if it appears to work, get venture capital, then hire a real engineer and go from there
Hell, I don't know. Just experimenting and learning...My first will probably be a RTOS for the control of embedded devices, maybe controlling stuff hooked up to a serial port as well, like robots, games, that sort of thing.
As you can see, I have no idea what for. Heh.
Maybe what I need is a soft RTOS, for that sort of do, then after getting some experience I can develop a hard real time kernel if I ever do get a contract to do that.
Nope, not a corporate contract, just my own software company. I'm a uni student with a little software company dreaming of big things to come