Correct-By-Construction Autonomy Protocols for Open, Reconfigurable Shipboard Networks
Abstract
We partition the proposed effort into three research thrusts and a cross-cutting validation plan:Thrust I ~ Formal specifications and automated synthesis: Wewill develop synthesis algorithms that canhandle complex dynamics with discrete topology changes under stochasticity and limited network-wideawareness subject to temporal logic specifications.Thrust II ~ Integration of functionalities and virtualization of services: We will develop algorithmsthat leverage the multitude of sense-compute-actuate capabilities and communication to dynamicallyallocate resources and improve efficiency and resilience through integration of functionality.Thrust III ~ Modular and incremental synthesis: We will investigate how a priori architecturalconstraints, e.g., modularity, can be introduced into protocol synthesis to enhance scalability, allowaddition/removal of components in a plug-and-play manner and incrementally evolve verified controllersfrom one generation to the next without a re-design from scratch.The three research thrusts complement each other: Thrust I builds on our preliminary results and establishesa mathematical grounding for ~specify+synthesize~ design flow for autonomously reconfigurablenetworks on naval platforms. Thrust II focuses on new capabilities offered by autonomy. Thrust III ison how we can effectively develop these capabilities and upgrade them from generation to generation.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 23, 2016
- Source ID
- N000141613165
Entities
People
- Ufuk Topcu
Organizations
- Office of Naval Research
- United States Navy
- University of Texas at Austin