Security Assured Framework for Efficiently Running RTK

To address the ArmyÆs need to run the Robotic Technology Kernel (RTK) software library securely and efficiently on a high-assurance separation kernel, Intellisense Systems, Inc. (Intellisense) proposes to develop a new Security Assured Framework for Efficiently Running RTK (SAFE-RTK) based on a new design that utilizes previously developed mature software components. Specifically, by leveraging a highly secure microkernel, alongside containerization technology, this approach achieves robust isolation of RTK operations, ensuring superior safety and security. The ported RTK/ROS (Robot Operating System) over a separation kernel maintains the following features: (1) cross-platform: new RTK capabilities can be leveraged by all RTK-enabled platforms; (2) cross-controller: any RTK-enabled platforms can be controlled by any RTK-compatible controller; and (3) cross-effort: an effort delivers new capabilities to the RTK, which in turn is leveraged for new efforts. In addition to memory isolation, the ported RTK/ROS will be amenable to other security checks such as the concept of Monitor and Policy Enforcement, as applicable and needed in DoD use cases including Autonomy and Swarm. The advantages lie in SAFE-RTKÆs ability to efficiently manage resources, deliver consistent performance, and facilitate flexible deployment of robotic applications. This innovation empowers developers to explore the potential of complex robotic systems in a controlled and secure manner, adhering to Army cybersecurity requirements. Ultimately, the benefits include enhanced reliability, scalability, and ease of management, paving the way for safer and more versatile robotic technologies for various mission-critical applications. In Phase I Intellisense will develop the technical approach, analyze trade-off options, and justify design choices. All design choices, including a representative hardware platform, will be made in agreement with the Government counterpart. Intellisense will finalize the overall design that can securely and efficiently run RTK (and ROS) on a high-assurance separation kernel, analyze the costs and benefits, accounting for practical implementation constraints in Army platforms and use cases, and prepare the path for a proof-of-concept demonstration. All lessons learned will be thoroughly documented for the way forward. In Phase II, Intellisense plans to fully develop the SAFE-RTK technology and produce a practical prototype. Intellisense will test and evaluate the security and performance of the ported RTK (and ROS) running on a high-assurance separation kernel, under various ROS/RTK test cases as well as relevant mission scenarios. Intellisense will also demonstrate the capabilities using a representative hardware platform under realistic concepts of operations, such as those adopted in previous Army efforts, and enhance and mature the technology and prototype for transition.