Improved CRPD analysis and a secure scheduler against information leakage in real-time systems