Abstract: This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these  features within system platform architectures. The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between  different features.