Mitra receives CAREER award for work on reliability of distributed cyber-physical systems

Sayan Mitra, an assistant professor in electrical and computer engineering has been awarded a National Science Foundation (NSF) Faculty Early Career Development (CAREER) award that will support research on algorithms and verification for reliable distributed cyber-physical ystems.

Cyber-physical systems (CPS) involve close coordination among computers that interact with the outside world by means of sensors and actuators. The NSF CAREER award provides research funding support that will allow Mitra to address the reliability of a special class of CPS, namely distributed cyber-physical systems (DCPS). DCPS involve multiple system components that are not all sitting in one place. As a result, on top of the general problems of CPS, DCPS present additional challenges, such as unreliable communication and undetected failures.

"Designing reliable CPS is challenging, because writing correct computer programs itself is hard, and now you are making these programs manipulate the physical world," explained Mitra. "So how do you design and analyze these systems?"

As an example of a cyber-physical system that most people use on a daily basis, Mitra points to various driver assistance systems in the current generation of automobiles, such as anti-lock brakes and electronic stability control. Today, such cyber-physical systems are created in an ad hoc manner because the current development process is not very scalable, and adequate general principles and tools are not yet available. Thus, everyone who needs to make such a system is forced to build it, to a great extent, from the ground up. Mitra's research will address this problem by working to identify appropriate "algorithmic building blocks" that can be assembled together to build such systems much more easily, while meeting certain reliability guarantees.

"As soon as programmable computers were invented, people started worrying about correctness of programs," Mitra observed. "Automatically proving correctness of programs or automatically creating programs that are correct is a longstanding challenge, sort of the Holy Grail of computer science. At a philosophical level, it's asking, to what extent can you automate creativity? The activity of coming up with a correct program, or a proof for correctness of a program, is a creative activity. While the general problem is unlikely to be solved in the foreseeable future, tremendous progress has been made in the last couple of decades, and there is now a hope for these technologies to influence specific engineering domains."

In order to make the problem more manageable, Mitra says it is necessary to be somewhat application-specific. For example, programs for automotive control systems, though complex, are usually much smaller than many other computing systems, so there's hope for analyzing them automatically.

Researchers from John Deere & Company will collaborate with Mitra on the CAREER-funded research. The company's interest in the planned work grew out of a desire to find ways to design control systems for future generations of tractors with less effort. With Mitra's envisioned "building blocks" available, the design and verification process would be partially automated.

Mitra obtained his PhD from the Massachusetts Institute of Technology in 2007 and joined the faculty of the University of Illinois in 2008. In addition to the Department of Electrical and Computer Engineering, he has faculty appointments in the Information Trust Institute and the Coordinated Science Laboratory at Illinois. His broader research interests are in the areas of hybrid, distributed, and real-time systems, and design and analysis of software for embedded systems.

According to the National Science Foundation's website, the Faculty Early Career Development (CAREER) Program offers the NSF's "most prestigious awards in support of junior faculty who exemplify the role of teacher-scholars through outstanding research, excellent education, and the integration of education and research within the context of the mission of their organizations." It is designed to provide crucial early financial support to particularly promising young faculty members who are just launching their careers.
_______________

Contact: Sayan Mitra, Department of Electrical and Computer Engineering, 217/ 333-7824.

Writer: Jenny Applequist, Information Trust Institute, 217/244-8920.

If you have any questions about the College of Engineering, or other story ideas, contact Rick Kubetz, editor, Engineering Communications Office, University of Illinois at Urbana-Champaign, 217/244-7716.