A Good Real time Programming language should specify various timing specifications for the entities in the System. But none of the languages does this. Following are some of the specifications needed for a good real time programming language
- the duration between two events is no longer than the specified maximum and no shorter than the specified minimum.
- the maximum runtime for a particular task, if the run time is not met, then an exception is generated.
- the absolute time at which a task is to begin.
- how soon a message is to be received after it is sent
- how soon after receipt a message must be processed by the receiving task
- periodic scheduling of the task
- maximum time allocated for a loop to execute
upper bounds on the size of dynamic data structures