CP-SMARTS: Cyber Physical Security for Mission-Aware Army Tactical Systems

For this Phase 1 SBIR, we propose to create a model of cyber physical security called CP-SMARTS: Cyber Physical Security for Mission-Aware ARmy Tactical Systems.CP-SMARTS will model not only the services required of Cyber Physical Systems (such as computation, communications, control, etc.) but also Mission Assurance requirements (definitions of Mission Essential Function and corresponding vulnerabilities and mitigations) and Information Assurance services (such as Confidentiality, Integrity, Availability, Authentication, etc.).A core element of our teams CPS philosophyone that will permeate our approach in modeling, model checking, and implementationis that we always keep deployment in mind.This means creating models and model checking methods that integrate well into the development environment of the user who will deploy the CPS.In so doing, we create technologies that not only work on the whiteboard and in simulation but also can be readily adopted by commercial and military CPS designers.