CPS Challenges to the Trustworthiness of Systems
Date: Mon, December 30, 2013
Time: 11:00-12 noon
Location: Holmes Hall 389
Speaker: Professor Al Mok, University of Texas at Austin
Abstract:
CPS (Cyber-Physical Systems) are computer-enabled systems that require tight conjoining of and coordination between computational and physical resources. In this talk, we shall discuss the impact of the physical elements on the trustworthiness of CPS applications. New research issues are raised in regard to the fault tolerance, security and resource virtualization of CPS. With respect to fault tolerance, a key issue is the identification of appropriate failure semantics for CPS. With respect to security, new questions are the (dis)advantages afforded to the defender due to the interaction between the physical and information processing elements. With respect to resource virtualization, difficulties arise from the partitioning of physical resources that have severe restrictions on preemption. Inasmuch as the conjoining of and coordination between computational and physical elements are central to the success of CPS, new ideas are needed for an integrative framework for the design of CPS applications.
Bio of Speaker:
Professor Aloysius K. Mok holds the Quincy Lee Centennial Professorship, University of Texas at Austin. Professor Mok's primary research interest is in real-time and embedded systems and the recent development in the emerging field of cyber-physical systems research. He has made fundamental contributions to the formal specification, analysis and synthesis techniques of real-time and embedded systems and he is internationally known for his work in hard real-time scheduling algorithm design. Professor Mok has consulted widely for both the U.S. government and industries and is the holder of several patents. He is the co-founder of a company in advanced industrial wireless control. He has received the Award for Outstanding Technical Contributions and Leadership Achievements in Real-Time Systems, IEEE Computer Society Technical Committee on Real-Time Systems, 2002; Distinguished Visitor, IEEE Computer Society (2004-2006); and a Commendation from the Secretary of the United States Air Force for service on the F-22 Avionics Software Advisory Team (2004).