A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

Dung Phan, Junxing Yang, Matthew Clark +4

We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates Assume-Gua…