Software designed to function in a hard-real-time environment where strict timing constraints must be met often entails implicit assumptions about a programming language and the underlying system which supports it. Programs which are logically correct, i.e., implement the intended algorithms, may not function correctly if their assumed timing characteristics are not met.
