An Architecture Centric Approach to Safety and Security Assurance

Current modeling practices for software focus on functional aspects for behavior and structure. We are developing techniques that examine these functional aspects along with architecture issues through modeling, analysis, and virtual integration for assurance of performance properties. For embedded cyber-physical systems, the approach enables identification and removal of defects early in the design phase for verification of integrability, assurance that non-functional requirements are met, and flexibility in modeling and analysis at multiple levels of system fidelity.