A Framework for Safety-Guided Design of Collaborative Control Systems

The limitations of existing design and assurance processes have stifled the ability to field aerospace systems with complex team-inspired interactions. Existing design techniques are oversimplified, founded on reductionism, and do not scale well. Assurance is typically separated from design and considered too late in the engineering lifecycle. This paper introduces a system-theoretic framework that aims to overcome some of these problems by integrating design and assurance activities.