Synthesis of Correct-By-Construction Control Protocols for Open, Reconfigurable Shipboard Networks
Technical point of contact: Lynn Petersen, Office of Naval Research
Period of activity: 2016-2019
Overview of the Project
The realization of autonomy in networks on naval platforms---beyond today’s norm of stand-alone unmanned vehicles---calls for new protocol-based controllers that blend continuous decisions with discrete, logic-based, network-wide decisions. They will be enabled by advanced perception, software with multiple threads and communication over constrained media. Furthermore, they are expected to support the emerging trends toward integrated functionality and open, modular architectures for design- and run-time affordability.
- Integration of functionalities and virtualization of services: We will develop algorithms that leverage the multitude of sense-compute-actuate capabilities and communication to dynamically allocate resources and improve efficiency and resilience through integration of functionality.
- Modular and incremental synthesis: We will investigate how a priori architectural constraints, e.g., modularity, can be introduced into protocol synthesis to enhance scalability, allow addition/removal of components in a plug-and-play manner and incrementally evolve verified controllers from one generation to the next without a re-design from scratch.