The Science of Cyber-Physical System Design

Science is knowledge that allows us to make predictions. What is the
science of system design? What predictions can we make about the
systems we build and deploy? Using examples from our own research, we
advocate a formal approach to tackling these questions. In particular,
we present some of our recent work on:

(1) the Refinement Calculus of
Reactive Systems, a compositional modeling and formal reasoning
framework;

(2) synthesis from scenarios and requirements, a powerful
combination of learning from examples and synthesis from
specifications; and

(3) synthesis of platform mappings with
applications to security.