Recorded computer software for encoding videos for safety critical or high performance computing applications; Recorded computer software for encoding video