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