The objective of this research is to create tools to manage uncertainty in the design and certification process of safety-critical aviation systems. The research focuses on three innovative ideas to support this objective. First, probabilistic techniques will be introduced to specify system-level requirements and bound the performance of dynamical components. These will reduce the design costs associated with complex aviation systems consisting of tightly integrated components produced by many independent engineering organizations.

Abstract: With the increasing popularity of mobile computing, cyber physical systems are merging into major mobile systems of our society, such as public transportation, supply chain systems, health and wellness, and taxi networks. Mobile CPSs interact with phenomena of interest at different locations and environments, and where the context information (e.g., network availability and connectivity) about these physical locations might not be available.

This research addresses the basic challenge of bringing high levels of reliability and integrity to other domains-domains that can afford neither the cost nor the extra power, weight, and size associated with physical redundancy. The main research focus is on the development of algorithms and computing architectures which enable the detection of fauls without relying on physical redundancy.