Keynote I ─ Heterogeneous Actor Models (Presentation Slides)
Prof. Edward A. Lee
Distinguished Professor, Department of EECS, UC Berkeley
Complex systems demand diversity in the modeling mechanisms. We see this
very clearly with cyber-physical systems (CPS), which combine computing
and networking with physical dynamics, and hence require model combinations
that integrate dynamics described using differential equations with
models of software. We also see it in applications where timed interactions
with components are combined with conventional algorithmic computations,
such as in networked computer games. We even see it in traditional software
systems when we have concurrent interactions between algorithmic components.
One way to deal with a diversity of requirements is to create very flexible
modeling frameworks that can be adapted to cover the field of interest.
The downside of this approach is a weakening of the semantics of the modeling
frameworks that compromises interoperability, understandability, and
analyzability of the models. An alternative approach is to embrace
heterogeneity and to provide mechanisms for a diversity of models to interact.
In this talk, I will describe an approach that achieves such interaction
between diverse models using a concept that we call "abstract semantics."
An abstract semantics is a deliberately incomplete semantics that cannot
by itself define a useful modeling framework. It instead focuses on
the interactions between diverse models, reducing the nature of those
interactions to a minimum that achieves a well-defined composition.
I will illustrate how such an abstract semantics can handle many heterogeneous
models that are built today (such as Statecharts, which combine state
machines with synchronous concurrent models, hybrid systems, which combine
state machines with differential equations, process networks, which combine
imperative programs with message passing concurrency, etc.). I will also
show how it handles combinations that are not readily available in modeling
tools today. I will illustrate these combinations with examples prototyped
in Ptolemy II.
Edward A. Lee is the Robert S. Pepper Distinguished Professor in the
Electrical Engineering and Computer Sciences (EECS) department at U.C.
Berkeley. His research interests center on design, modeling, and
analysis of embedded, real-time computational systems. He is a
director of Chess, the Berkeley Center for Hybrid and Embedded
Software Systems, and is the director of the Berkeley Ptolemy project.
From 2005-2008, he served as chair of the EE Division and then chair
of the EECS Department at UC Berkeley. He is co-author of nine books
(counting second and third editions) and numerous papers. He has led
the development of several influential open-source software packages,
notably Ptolemy and its various spinoffs. He received the B.S. degree
in Computer Science from Yale University, New Haven, CT, in 1979, the
S.M. degree in EECS from the Massachusetts Institute of Technology
(MIT), Cambridge, in 1981, and the Ph.D. degree in EECS from the
University of California Berkeley, Berkeley, in 1986. From 1979 to
1982 he was a member of technical staff at Bell Telephone Laboratories
in Holmdel, New Jersey, in the Advanced Data Communications
Laboratory. He is a co-founder of BDTI, Inc., where he is currently a
Senior Technical Advisor, and has consulted for a number of other
companies. He is a Fellow of the IEEE, was an NSF Presidential Young
Investigator, and won the 1997 Frederick Emmons Terman Award for
Keynote II ─ Enabling technologies and Applications of the Internet of Things (Presentation Slides)
Distinguished Chair Professor,
Department of Computer Science,
National Tsing Hua University
With recent development of sensing technologies and wireless communications, the Internet of Things has found many applications in environmental monitoring, energy saving, transportation safety, and health care etc. Enabling technologies in sensing and wireless communications will be presented. Potential applications will be explored. Future opportunities and challenges on the Internet of Things will be discussed.
Professor Chen received his Ph.D. degree (1976) in electrical engineering and computer sciences at the University of California at Berkeley. He has joined the National Tsing Hua University since 1976 and is currently a Distinguished Chair Professor of the Department of Computer Science and a Lifelong National Chair of the Ministry of Education, Taiwan. He has served as Department Chairman, College Dean, and the President of the National Tsing Hua University.
Professor Chen has served as consultant and advisor in various levels of Taiwan government and industrial research organizations. From 1990 for 14 years, he served as co-chairman and chairman of the technical evaluation committee of the industrial technology research grants program of Ministry of Economic Affairs, which is recognized as one of the most successful programs in advancing industrial technologies in Taiwan. From July 2006 for 4 years, he was a science and technology advisor of the Executive Yuan of Taiwan. Starting in January 2011, he is the Program Director of the National Program for Intelligent Electronics of the National Science Council, aiming at developing advanced and innovative industrial technologies for bio-medical, green, automotive, and ICT electronics.
Professor Chen's early research work was on software engineering. He pioneered the design of computer networks and parallel systems in early 1980s. His current research interests include high-speed communication networks and wireless Internet. He has received numerous awards for his achievements in computer networking and parallel processing, including Technical Achievement Award and Taylor L. Booth Education Award of the IEEE Computer Society. Professor Chen was the Founding General Chair of the IEEE International Conference on Parallel and Distributed Systems. He is an IEEE Fellow and a Fellow of the RoC Society for Management of Technology.
Keynote III ─ Providing Robustness in Data and Event Services in Cyber Physical Systems (Presentation Slides)
Prof. Sang Hyuk Son
Professor, Department of Computer Science, University of Virginia
With continuing miniaturization and increased wireless connectivity, the computing systems are becoming deeply embedded into everyday life and interact with processes and events of the physical world. This cyber-physical interaction has the potential to transform how humans interact with and control the physical world. Systems featuring a tight combination of, and coordination between, the system’s computational and physical elements are broadly called cyber physical systems (CPS). Examples of CPS include medical devices and systems, aerospace systems, transportation systems, smart grids, robotic systems, and smart spaces. Advances in key technologies are changing how these types of systems operate. For instance, the level of uncertainty in which these systems operate is increasing, creating the need for greater robustness. Pervasive wireless access is pushing these systems to unprecedented dynamic and non-deterministic situations. There is a critical demand for CPS to be adaptive to provide robustness to meet the requirements, especially in handling the sensor data and in-network event detection. In this talk, we will illustrate few examples of CPS, and discuss some of the research challenges in providing robustness in data and event services in CPS.
Sang Hyuk Son is a Professor at the Department of Computer Science of University of Virginia. He received the B.S. degree in electronics engineering from Seoul National University, M.S. degree from KAIST, and the Ph.D. in computer science from University of Maryland, College Park. He has been WCU Chair Professor at Sogang University, a Visiting Professor at KAIST, City University of Hong Kong, Ecole Centrale de Lille in France, and Linkoping University and University of Skovde in Sweden.
Prof. Son is on the executive board of the IEEE Technical Committee on Real-Time Systems, for which he served as the Chair during 2007-2008.
He has served as the Program Chair and General Chair of several real-time and sensor network conferences, including IEEE Real-Time Systems Symposium, IEEE Symposium on Object and Component-Oriented Real-Time Distributed Computing, and International Conference on Networked Sensing Systems. He has also served as an Associate Editor of IEEE Transactions on Parallel and Distributed Systems, and is currently serving as an Associate Editor for IEEE Transactions on Computers, Real-Time Systems Journal, and Journal of Computing Science and Engineering. He is on the Steering Committee of several conferences, including Cyber Physical Systems Week. His research interests include real-time and embedded systems, database and data services, QoS management, wireless sensor networks, and information security. His research has been funded by National Science Foundation, DARPA, Office of Naval Research, Department of Energy, National Security Agency, and IBM.