US12566485B2 - Methods and Articles of Manufacture for Hosting a Safety Critical Application on an Uncontrolled Data Processing Device