Et er et datasystem som karakteriseres ved at riktigheten av dets beregninger ikke bare avhenger av logisk korrekthet, men også av om de ankommer tidsnok. Tidskravet skyldes sanntidssystemets interaksjon med en dynamisk omverden.