Verifiably Safe Software Defined Networks for CPS Richard Skowyra rskowyra bu edu lapets bu edu Andrei Lapets Azer Bestavros best bu edu Assaf Kfoury kfoury bu edu Computer Science Department Boston University ABSTRACT Next generation cyber physical systems CPS are expected to be deployed in domains which require scalability as well as performance under dynamic conditions This scale and dynamicity will require that CPS communication networks be programmatic
Verifiably Safe Software Defined Networks for CPS Rick Skowyra rskowyra bu edu Andrei Lapets lapets bu edu Azer Bestavros best bu edu Assaf Kfoury kfoury bu edu Computer Science Department Boston University ABSTRACT Next generation cyber physical systems CPS are expected to be deployed in domains which require scalability as well as performance under dynamic conditions This scale and dynamicity will require that CPS communication networks be program