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