Typically, this is the case where extremely high reliability is necessary, e.g. systems for air traffic control and certain kinds of medical equipment.
Developing software for this kind of run-time environment is actually quite similar to "normal" programming. The main difference is typically the lack of a file system and user interface code. This means that the developer has to implement this sort of functionality rather than rely on an operating system to handle it.