Title:Modeling and Design of Embedded Systems

Speaker: Dr. T. John Koo and Dr. Haiyang Zheng

Time: 9am, Monday September 17

Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS


Embedded systems are special-purpose computing systems designed to perform real-time computation for interacting with the surrounding environment in order to enable automation and enhance efficiency. Modeling and design embedded systems is challenging in that embedded systems are intrinsically heterogeneous and complicated. They mix digital controllers realized in hardware and software with the continuous dynamics of physical systems. Model-based design is commonly recognized as an effective way to design complex embedded systems at low cost and within tight deadlines.
This talk has two parts. First, we will introduce model-based development approach to embedded system design that advocates the use of domain-specific models at various stages of development in order to improve the effectiveness and efficiency in embedded systems design. Second, we will present a disciplined and rigorous semantics for reasoning compositions of heterogeneous subsystems. This semantics supports arbitrary and hierarchical combinations of distinct systems including synchronous/reactive (SR) systems, discrete-event (DE) systems, and continuous-time (CT) systems. This semantics is heavily inspired by the fixed-point semantics of synchronous languages, which has strong formal properties. We will also introduce a software framework that implements such semantics.

About the Speakers:

Prof. T. John Koo is the Co-Director of the Tsinghua-STU Joint Laboratory on Future Internet Technologies and the Research Director of the Ministry of Education National Key Laboratory at Shantou University in China. He holds a joint professorship in the Departments of Computer Science and Electronic Engineering, College of Engineering, Shantou University. He is an Associated Faculty of the National Science Foundation ITR Center for Hybrid and Embedded Software Systems (CHESS). He received the Ph.D degree in Electrical Engineering from the University of California at Berkeley in 2000, and the M.Phil. degree in Information Engineering and the B.Eng. degree in Electronic Engineering from the Chinese University of Hong Kong in 1994 and 1992, respectively. His research interests include embedded software, model-integrated computing, hybrid systems, nonlinear control, robotics, sensor networks and scientific computing.

Dr. Haiyang Zheng¡¯s research interests center on the theory, modeling, and simulation of discrete-event and hybrid systems, and he has been intimately involved in the development and usage of the HyVisual modeling language, which is a part of the Ptolemy II project. His other interests include synchronous languages and real-time systems. His bachelor¡¯s degree (B.S.) is from University of Science and Technology of China and his master¡¯s degree and Ph.D. are from U. C. Berkeley.