Complex Software Systems and Cybersecurity
Abstract
This activity focuses on developing the fundamental principles and models for the design and construction of complex software and hardware systems that meet required assurances for security, safety, reliability and performance. It builds upon foundations of mathematical logic and computational complexity but takes into account the uncertainties and constraints of the Naval operational environment which is very different from commercial and home cyber environments. The overall goal is to measurably improve the ability of complex computing systems to meet the information-processing challenges of future naval systems. The Cyber Security sub-program investigates wide-ranging principles and techniques for continuously maintaining integrity, availability and confidentiality of information and information infrastructures, focusing on the software, the hardware and the network. The program heavily emphasizes automation and autonomy in the cyber environment, preferring the human-on-the-loop paradigm over the human-in-the-loop, whenever possible. The program seeks to establish an autonomic, secure and dependable informational infrastructure toward ensuring Navy's mission successes. The Complex Software sub-program: Investigates principles, algorithms and methods; explores software and hardware engineering proof-of-concept tools for achieving efficient, timely, robust and secure software executables; focuses on science for software construction, correctness and efficiency by revisiting software development and deployment methodology. Efficient, timely, robust and secure cyber systems are required for secure computing infrastructure toward ensuring Navy's mission successes.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2025
- Source ID
- 294abe5a54befde6ef8175bf446b3f69