Towards Enhanced Security for Automotive Operating Systems