Intelligent Distributed Computing Department Distributed Systems Technology Group Papers

High-Assurance Distributed, Adaptive Software for Dynamic Systems

Citation: Kurt Rohloff, Joseph Loyall, Partha Pal, Richard Schantz. IEEE High Assurance Systems Engineering Symposium (HASE 2007), Dallas, Texas, November 14-16, 2007.

Formats: PDF

Abstract: 

Exhaustive testing, documentation, code review, and formal methods have been the main approaches for software certification in high confidence cyber-physical systems. Although these methods have been sufficient in the past, continued reliance on these methods is no longer economically feasible for increasingly complex modern, distributed, dynamic systems due to inherent problems of state-explosions. Examples of such distributed high-assurance systems include DoD systems (including secure, timely command, control and information sharing systems and for military logistics), systems for manufacturing and process control (for industries whose safety is of critical national importance such as transportation, chemical, oil and natural gas), and medical systems among others. We need to develop innovative, economically feasible means to certify
distributed dynamic control software for cyberphysical systems so that when these systems are deployed, harmful unpredictable emergent behavior does not manifest itself.