Functional Reactive Programming and Response Time Analysis for Developing Embedded Real-Time and Cyber-Physical Systems
Seminar Slides: Download (PDF)
When: Friday, October 25, 2013
Where: PGH 232
Time: 11:00 AM
Speaker: Prof. Albert M. K. Cheng, University of Houston
Host: Prof. Christoph Eick
The use of sophisticated digital systems to control complex physical components in real-time has grown at a rapid pace. These applications range from traditional stand-alone systems to highly-networked cyber-physical systems (CPS's), spanning a diverse array of software architectures and control models. Examples include automobile adaptive braking, industrial robotic assembly, medical pacemakers, autonomous (ground, air, and sea) vehicular travel, remote surgery, physical manipulation of nano-structures, search-and-rescue, and space exploration. Since all these applications interact directly with the physical world and often have humans in the loop, we must ensure their physical safety with formal verification and accurate response time analysis. Employing the functional (reactive) programming (FRP) over the imperative programming style found in languages such as C/C++ and Java for implementing embedded and real-time software have several benefits. The functional programming paradigm allows the programmer to intuitively describe safety-critical behaviors of the system, thus lowering the chance of introducing bugs in the design phase. Its stateless nature of execution does not require the use of synchronization primitives like mutexes and semaphores, thus reducing the complexity in programming. However, accurate response time analysis of FRP-based controllers remains a largely unexplored problem. This talk will introduce a framework for accurate response time analysis, scheduling, and verification of embedded controllers implemented as functional reactive programs.
Albert M. K. Cheng is Professor and former interim Associate Chairof the Computer Science Department at the University of Houston (UH).
His research interests center on the design, specification, modeling, scheduling, and formal verification of real-time, embedded, and cyber-physical systems, green/power/thermal-aware computing, software engineering, knowledge-based systems, and networking.
He is the founding Director of the UH Real-Time Systems Laboratory.
He received the B.A. with Highest Honors in Computer Science, graduating Phi Beta Kappa at age 19, the M.S. in Computer Science with a minor in Electrical Engineering at age 21, and the Ph.D. in ComputerScience at age 25, all from The University of Texas at Austin, where he held a GTE Foundation Doctoral Fellowship. He has served as a technical consultant for a number of organizations, including IBM and Shell, and was also a visiting professor in the Departments of Computer Science at Rice University and at the City University of Hong Kong. He is a co-founder of ZapThru.com, where he is currently the Chief Strategy and Technology Director.
Dr. Cheng is the author/co-author of over 180 refereed publications in leading journals (including IEEE Transactions on Computers, IEEE Transactions on Software Engineering, and IEEE Transactions on Knowledge and Data Engineering) and top-tier conferences (such as RTSS, RTAS, ICPADS, PADL, and ISLPED), and has received numerous awards, including the U.S. National Science Foundation Research Initiation Award and the Texas Advanced Research Program Grant.
He has been invited to present seminars, tutorials, panel positions, and keynotes at over 80 conferences, universities, and organizations.
He is and has been on the technical program committees (including several program chair positions) of over 200 conferences, symposia, workshops, and editorial boards (including the IEEE Transactions on Software Engineering 1998-2003 and the IEEE Transactions on Computers 2011-present). He is Guest Co-Editor of a 2013 Special Issue on Rigorous Modeling and Analysis of Cyber-Physical Systems of the IEEE Embedded Systems Letters, and Program Co-Chair of the IEEE International Conference on Service Oriented Computing and Applications (SOCA) 2013.
Dr. Cheng is the author of the popular senior/graduate-level textbook entitled Real-Time Systems: Scheduling, Analysis, and Verification (John Wiley & Sons), 2nd printing with updates, 2005. He is a Senior Member of the IEEE; an Honorary Member of the Institute for Systems and Technologies of Information, Control and Communication (INSTICC); and a Fellow of the Institute of Physics (IOP).