ksem2011 logo
General Information
Home
Organizing Committee
Program Committee
Steering Committee
Call for Papers
Awards
KASTLES Workshop
Special Session
Proceedings & Special Issue
Contact Us
 
Paper Submission
Important Dates
Submission Information
Registration
 
Program Information
Venue
Keynotes
Program
 
Travel Information
Location
Transportation
Accommodation
Tourism
Practical Information




Sponsors

Keynotes

Keynote I ─ Heterogeneous Actor Models (Presentation Slides)

Prof. Edward A. Lee

Distinguished Professor, Department of EECS, UC Berkeley

Abstract
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.

Biography
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 Engineering Education.



Keynote II ─ Enabling technologies and Applications of the Internet of Things (Presentation Slides)

Wen-Tsuen Chen

Distinguished Chair Professor, Department of Computer Science, National Tsing Hua University

Abstract
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.

Biography
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

Abstract
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.

Biography
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.

© 2011 International Conference on Knowledge Science, Engineering and Management (KSEM`2011). All rights reserved.