NSF-funded project focuses on improved 1xbet online casino of smart devices
Wednesday, Oct. 14, 2020
Kansas State University's Xiaolong 1xbet online casino , assistant professor of electrical and computer engineering, has received a three-year, 0,000 grant from the National Science Foundation Division of Computing and Communication Foundations for the project "Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems." | Download this photo.
MANHATTAN —Smart homes, smart infrastructure, smart health and more — the list of applications embedded with sensors, software and other technologies for the purpose of connecting and exchanging data with other devices continues to drive the need for rigorous analysis of hardware and software critical to ensuring the safety and 1xbet online casino of these systems.
The National Science Foundation Division of Computing and Communication Foundations has awarded a 0,000, three-year grant to Xiaolong 1xbet online casino , assistant professor in the Mike Wiegers Department of Electrical and Computer 1xbet online casino at Kansas State 1xbet online casino , for further research in this area.
1xbet online casino will collaborate on the project "Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems" with Tuba Yavuz, assistant professor of electrical and computer engineering at the University of Florida.
Things unique to their approach include a property-directed co-model extraction and a 1xbet online casino run-time validation process to achieve scalability and precision in detecting bugs due to hardware-software interactions.
"If successful, the research will deliver methodologies, automation tools and system-level benchmarks that will allow vendors to detect security and safety vulnerabilities in early stages," 1xbet online casino said. "Its greatest impact will be on workforce training and broadening participation in formal methods and embedded-system security."
This will primarily be achieved through courses 1xbet online casino will develop and teach in the Carl R. Ice College of 1xbet online casino , outreach events and collaborations with industry.
