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

November 20, 2015

The 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 Christoph Csallner, an associate professor in that department, will investigate how to automate improvement of development environments for cyber-physical systems with a $498,437 grant from the National Science Foundation.

Many software tools employ code generation methods to translate the model to the target hardware of whatever computer or microcontroller the software will run on in the actual system. This project aims to find defects in the development environments at several different stages, from the simulation stage through the code generation and compilation stages. This is accomplished through a technique known as randomized differential testing, where programs are randomly generated, translated with different tools - such as code generators and compilers, executed and then their outputs are compared.

"The results of all of the output should match. If not, there might be a bug somewhere in the system," Johnson said. "We must be able to randomly generate programs and cyber-physical systems' models, which we do using hybrid systems that have both continuous (how the physical world evolves) and discrete (model) behaviors."

This research will address several challenging theoretical and practical concerns novel to using this technique in cyber-physical systems, such as comparing simulation results to one another and approximating real numbers using floating-point numbers. Csallner will apply his expertise in software testing to the project, including prior work on randomly generating Java programs.

Khosrow Behbehani, dean of the College of Engineering, said Johnson and Csallner's work will make important contributions to the knowledge base of developing cyber-physical systems.

"Cyber-physical systems are prevalent in our lives, from automobiles, to aircraft, to many other systems. It is critical that we have the best possible development environments to ensure that they are reliable," Behbehani said. "Dr. Johnson and Dr. Csallner can make a significant contribution in giving future developers confidence to create with the knowledge that errors will not be introduced in the development phase."

Johnson is creating a niche in research related to cyber-physical systems. He currently has a $174,634 National Science Foundation grant, a $499,546 Air Force Research Laboratory grant and a $397,807 Air Force Office of Scientific Research grant all in this area of expertise.

Csallner was part of a recent $500,000 National Science Foundation grant that helped debug database-centric applications.
-end-


About The University of Texas at Arlington


The University of Texas at Arlington is a comprehensive research institution of more than 51,000 students in campus-based and online degree programs and is the second largest institution in The University of Texas System. The Chronicle of Higher Education ranked UT Arlington as one of the 20 fastest-growing public research universities in the nation in 2014. U.S. News & World Report ranks UT Arlington fifth in the nation for undergraduate diversity. The University is a Hispanic-Serving Institution and is ranked as a "Best for Vets" college by Military Times magazine. Visit http://www.uta.edu to learn more, and find UT Arlington rankings and recognition at http://www.uta.edu/uta/about/rankings.php.

University of Texas at Arlington

Related Engineering Articles from Brightsurf:

Re-engineering antibodies for COVID-19
Catholic University of America researcher uses 'in silico' analysis to fast-track passive immunity

Next frontier in bacterial engineering
A new technique overcomes a serious hurdle in the field of bacterial design and engineering.

COVID-19 and the role of tissue engineering
Tissue engineering has a unique set of tools and technologies for developing preventive strategies, diagnostics, and treatments that can play an important role during the ongoing COVID-19 pandemic.

Engineering the meniscus
Damage to the meniscus is common, but there remains an unmet need for improved restorative therapies that can overcome poor healing in the avascular regions.

Artificially engineering the intestine
Short bowel syndrome is a debilitating condition with few treatment options, and these treatments have limited efficacy.

Reverse engineering the fireworks of life
An interdisciplinary team of Princeton researchers has successfully reverse engineered the components and sequence of events that lead to microtubule branching.

New method for engineering metabolic pathways
Two approaches provide a faster way to create enzymes and analyze their reactions, leading to the design of more complex molecules.

Engineering for high-speed devices
A research team from the University of Delaware has developed cutting-edge technology for photonics devices that could enable faster communications between phones and computers.

Breakthrough in blood vessel engineering
Growing functional blood vessel networks is no easy task. Previously, other groups have made networks that span millimeters in size.

Next-gen batteries possible with new engineering approach
Dramatically longer-lasting, faster-charging and safer lithium metal batteries may be possible, according to Penn State research, recently published in Nature Energy.

Read More: Engineering News and Engineering Current Events
Brightsurf.com is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon.com.