US/UK/Canada

Share

Pick a time period -
Tags ( Active)

New UTA research will automatically check for bugs in cyber-physical systems

Ensuring reliabilityThe development environments in which cyber-physical systems are created must be correct if they are to work safely and reliably. Two computer scientists at The University of Texas at Arlington are using formal, methods-based testing to automatically discover bugs that will help improve these development environments. Development environments allow engineers to use desktop software to design, model, simulate and analyze cyber-physical systems. Taylor Johnson, an assistant professor in the Computer Science and Engineering Department , and co-PI

UT Arlington work to safeguard cyber-physical systems made with legacy subsystems

Avoiding errorsA University of Texas at Arlington computer scientist will work to ensure that using legacy components in cyber-physical systems – those that have been reused from prior versions of a cyber-physical system in subsequent versions – will not result in failures due to unforeseen requirements made between software and physical components. Taylor T. Johnson, an assistant professor in the Computer Science and Engineering Department , will use a $397,807 grant from the Air Force Office of Scientific Research  to develop

UT Arlington computer scientist’s research to better control cyber-physical systems

Mapping sky and spaceAs unmanned aerial vehicles and satellites are used more and more, understanding how they interact with everything else in the world is increasingly important. Taylor Johnson, an assistant professor of Computer Science and Engineering at The University of Texas at Arlington, will investigate emergent behavior in cyber-physical systems such as UAVs and satellites using a two-year, $499,546 grant from the Air Force Research Laboratory to model, predict, monitor and control potential emergent behavior. Emergent properties are those that spontaneously emerge in the

There are no items matching the current filter
There are no more items matching the current filter
Back to top

Media