Control-flow integrity for real-time operating systems: open issues and challenges