Sign In

Communications of the ACM

ACM TechNews

­ta Work to Safeguard Cyber-Physical Systems Made With Legacy Subsystems

Taylor T. Johnson is an assistant professor of computer science and engineering at the University of Texas at Arlington, where he directs the Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory.

University of Texas at Arlington professor Taylor T. Johnson has received a grant from the U.S. Air Force to develop ways to automatically identify cyber-physical system mis-matches.

Credit: UT Arlington News Center

An increasingly large number of everyday objects incorporate cyber-physical systems, in which computers control physical mechanisms, such as in most cars and aircraft. However, many of these systems are regularly iterated upon, and reusing cyber-physical elements from an older version that may not have the same physical characteristics can cause problems.

"When we control the physical world through software, the system developers frequently make implicit assumptions about the physical environment that the software will operate within," says University of Texas at Arlington professor Taylor T. Johnson. "Because we've made assumptions about the physical world in the cyber domain, there is a possibility of reusing a component from one version to the next in ways that violate these implicit physical assumptions."

Johnson recently received a $397,907 U.S. Air Force grant to develop formal methods for automatically identifying these so-called cyber-physical system mismatches, enabling safe upgrades.

"This research will determine how to inform the software of differences in physical specifications, using, in-part, physical environment information as input," Johnson says. "On a given system, we want to infer the software's implicitly encoded assumptions about the physical world and ensure these match with the actual physical requirements."

From UT Arlington News Center
View Full Article


Abstracts Copyright © 2015 Information Inc., Bethesda, Maryland, USA


No entries found

Sign In for Full Access
» Forgot Password? » Create an ACM Web Account