Visible to the public A Rigorous System Engineering Process for Resilient Cyber-Physical Systems Design

TitleA Rigorous System Engineering Process for Resilient Cyber-Physical Systems Design
Publication TypeConference Paper
Year of Publication2019
AuthorsMcDermott, Thomas Allen
Conference Name2019 International Symposium on Systems Engineering (ISSE)
Date Publishedoct
Keywordsaggressive systems engineering approach, comprehensive systems engineering approach, computational systems, CPS Resilience, cyber physical systems, Cyber-physical systems, Defense Advanced Research Process Agency, Design, exploitable vulnerabilities, formal design methods, functional design methods, Internet of Things, Internet of Things devices, physical control, pubcrawl, resilience, Resiliency, resilient cyber-physical systems design, resilient IoT systems, security, security of data, software engineering, system assurance, Systems Engineering, Systems Engineering Research Center
AbstractSystem assurance is the justified confidence that a system functions as intended and is free of exploitable vulnerabilities, either intentionally or unintentionally designed or inserted as part of the system at any time during the life cycle. The computation and communication backbone of Internet of Things (IoT) devices and other cyber-physical systems (CPS) makes them vulnerable to classes of threats previously not relevant for many physical control and computational systems. The design of resilient IoT systems encompasses vulnerabilities to adversarial disruption (Security), behavior in an operational environments (Function), and increasing interdependencies (Connectedness). System assurance can be met only through a comprehensive and aggressive systems engineering approach. Engineering methods to "design in" security have been explored in the United States through two separate research programs, one through the Systems Engineering Research Center (SERC) and one through the Defense Advanced Research Process Agency (DARPA). This paper integrates these two programs and discusses how assurance practices can be improved using new system engineering and system design strategies that rely on both functional and formal design methods.
Citation Keymcdermott_rigorous_2019