KEYNOTE SPEAKERS LIST
Jay Lee, University of Cincinnati, U.S.A.
Title: Recent Advances and Trends on Cloud-based Machinery Prognostics and Health Management
Kin K. Leung, Imperial College, U.K.
Title: Wireless Sensor Networks: Protocols, Optimization and Applications
Juan Carlos Augusto, University of Ulster at Jordanstown, U.K.
Title: Challenges for Deployment and Adoption of Pervasive and Embedded Computing in our Society
Joseph Sifakis, Verimag, France
Title: Trustworthy Computing Systems
Pedro José Marrón, University of Duisburg-Essen, Germany
Title: Are We Ready to Go Large-Scale? Challenges in the Deployment and Maintenance of Heterogeneous Networks of Cooperating Objects
University of Cincinnati
Dr. Jay Lee is Ohio Eminent Scholar and L.W. Scott Alter Chair Professor at the Univ. of Cincinnati and is founding director of National Science Foundation (NSF) Industry/University Cooperative Research Center (I/UCRC) on Intelligent Maintenance Systems (IMS - www.imscenter.net) which is a multi-campus NSF Center of Excellence between the Univ. of Cincinnati (lead institution), the Univ. of Michigan, and Missouri Univ. of S&T in partnerships with over 40 global companies including P&G, Toyota, GE Aviation, Boeing, Caterpillar, Siemens, Harley-Davidson, ITRI (Taiwan), Omron (Japan), Parker Hannifin, Spirit AeroSystems, Nissan (Japan), Syncrude (Canada), CISCO, Alstom (France), Delta Electronics (Taiwan), Ingersoll Rand, Goodyear, Army Research Lab. etc.
He also serves as honorary dean and president of newly established Advanced Industrial Technology Research Institute (AITRI) at Shanghai Jiao Tong Univ. In addition, he is a honorary professor of City Univ. of Hong Kong and serve as visiting professor for a number of institutions including, Cranfield Univ. in UK, Lulea Univ. of Technology in Sweden, Hong Kong PolyU., Xian Jiao Tong Univ. and Harbin Institute of Technology (HIT) in China, etc. His current research focuses on dominant innovation design tools and smart infotronics technologies for service innovation applications.
Previously, he served as Director for Product Development and Manufacturing at United Technologies Research Center (UTRC), E. Hartford, CT as well as Program Directors for a number of programs at NSF during 1991-1998, including the Engineering Research Centers (ERCs) Program, the Industry/University Cooperative Research Centers (I/UCRCs) Program, and the Div. of Design, Manufacture, and Industrial Innovation.
Currently, he serves as advisor to a number of global organizations, including IBM MAXIMO Executive Advisory Council, Industrial Technology Research Institute (ITRI) in Taiwan, Japan Productivity Center (JPC), Academy of Machinery Science & Technology in China, Scientific Advisory Board of Flanders' MECHATRONICS Technology Centre (FMTC) in Leuven, Belgium, etc. In addition, he serves as editors and associate editor for a number of journals including IEEE Transaction on Industrial Informatics, Int. Journal on Prognostics & Health Management (IJPHM), Int. Journal of Asset Engineering an Mgt, Int. Journal on Service Operations and Informatics, Tsinghua Science & Technology Journal, etc.
He has authored/co-authored over 150 technical publications, edited two books, contributed numerous book chapters, own a number of patents and trademarks, and had delivered numerous invited lectures and speeches, including over 150 invited keynote and plenary speeches at major international conferences. He is a Fellow of ASME, SME, as well as a founding fellow of International Society of Engineering Asset Management (ISEAM).
Machinery prognostics and health management (PHM) methodologies have proven to be effective and profitable for various industrial applications. Current machine monitoring systems primarily focus on data acquisition, data storage and machine status reporting services but lack the ability to analyze data or transform data into valuable information to support decision-making processes. Because of financial concerns and insufficient technical support, many companies have not adopted a PHM strategy for its machine monitoring systems, which hampers further development of machine monitoring industry. On the other hand, as an emerging computing paradigm the cloud environment is bringing new opportunities for the industry with its distinguishable features such as scalability, on-demand computing resource, fast connectivity, etc. Based on a comprehensive research of cloud computing and its service models, this paper discusses the trends and advances in machine monitoring systems and proposes a cloud based machine monitoring platform that seamlessly integrates PHM technology with cloud computing infrastructure. A case study of applying the proposed platform to a machine tool condition monitoring problem is presented to further illustrate how to leverage on the recent advances in cloud computing.
Kin K. Leung
Kin K. Leung received his B.S. degree from the Chinese University of Hong Kong in 1980, and his M.S. and Ph.D. degrees from University of California, Los Angeles, in 1982 and 1985, respectively.
He joined AT&T Bell Labs in 1986 and worked at its successor companies, AT&T Labs and Bell Labs of Lucent Technologies, until 2004. Since then, he has been the Tanaka Chair Professor in the Electrical and Electronic Engineering (EEE), and Computing Departments at Imperial College in London. He serves as the Head of Communications and Signal Processing Group and as the Deputy Director for the University Defense Research Center in Signal Processing in the EEE Department at Imperial College. His research interests include networking, protocols, optimization and modeling issues of wireless broadband, sensor and ad-hoc networks.
He received the Distinguished Member of Technical Staff Award from AT&T Bell Labs in 1994, and was a co-recipient of the 1997 Lanchester Prize Honorable Mention Award. He was elected as an IEEE Fellow in 2001. He receives the Royal Society Wolfson Research Merits Award from 2004 to 2009. He has actively served on many conference committees. He is a member of the IEEE Fellow Evaluation Committee for Communications Society (2009 to 2011). He was a guest editor for the IEEE Journal on Selected Areas in Communications (JSAC), IEEE Wireless Communications and the MONET journal, and as an editor for the JSAC: Wireless Series and IEEE Transactions on Wireless Communications. Currently, he is an editor for the IEEE Transactions on Communications, International Journal on Sensor Networks and ACM Computing Survey.
In this talk, the speaker will give an overview of his current research work in the area of wireless sensor networks at Imperial College. Specifically, the speaker will begin by presenting applications of wireless sensors for monitoring of civil-engineering infrastructures (e.g., bridges, tunnels and water-supply networks) and pollution in urban environments. Then, new protocols and control algorithms for sensor networks to facilitate efficient channel access and in-network data processing for such applications will be introduced. The seminar will also present a distributed algorithm for resource allocation to optimize the network utility by considering the energy consumptions in the sensor networks. The performance of the proposed protocols and algorithms at the system level has been studied. Numerical results will be provided to illustrate the performance of the protocols and algorithms.
Juan Carlos Augusto
University of Ulster at Jordanstown
Dr. Augusto is focused on the design and implementation of Intelligent Environments.
He has contributed to the research community with more than 160 publications. These includes edited books such as: Advances in Ambient Intelligence (IOS Press, 2007), Human-Centric Interfaces for Ambient Intelligence (Academic Press, 2009), the Handbook on Ambient Intelligence and Smart Environments (Springer, 2009), and the Handbook on Ambient Assisted Living (IOS Press, 2012).
He has given several invited talks and tutorials at various workshops and conferences. He has also been co-chair of numerous events (mainly on Ambient Intelligence and on Software Reliability). More recently he has been Programme Chair of Pervasive Healthcare 2011 hosted in Dublin, Program Chair of Intelligent Environments 2011 and Landscape Track Chair for AmI'11.
He is Editor in Chief of the Book Series on Ambient Intelligence and Smart Environments, co-Editor in Chief of the Journal on Ambient Intelligence and Smart Environments (JAISE), both published by IOS Press; and as Editorial Board member for several other international journals in different areas of Computer Science.
He has previously been the director of 5 research projects. Currently he is the technical director of NOCTURNAL (Night Optimised Care Technology for UseRs Needing Assisted Lifestyles), a project funded by EPSRC (UK). He has also participated in 8 other past/present projects.
He has refereed proposals submitted to funding bodies based in: the EU, UK, the Netherlands, Belgium, South Africa, Republic of Ireland, Spain, and Argentina.
He is a member of the following professional organizations: IEEE (SMC branch), BCS (British Computer Society), ACM, and AAAI. He has recently been appointed Vice-Chair for Research and Technology Transfer on the European Alliance for Innovation Wellbeing SIB.
Our society is continuously seeking comfort and progress in technology.
Applications of pervasive and embedded computing have been an important driving force on the materialization of a society supported by information processing during the last decades. Such applications are now offering novel services in fundamental areas as healthcare and transportation.
As a relatively new and developing area there are still important barriers for optimal development and widespread acceptance and adoption. The focus of this talk will be to consider some case studies and experiences which give good examples of the problems we should address as a community to facilitate the next generation of systems which materialize the early visions for this area.
Joseph Sifakis is a CNRS researcher and the founder of Verimag laboratory (http://www-verimag.imag.fr/), in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since September 1st 2008. He studied Electrical Engineering at the Technical University of Athens and Computer Science at the University of Grenoble.
Verimag is a leading research laboratory in the area of critical embedded systems. It developed the underlying theory and technology for the SCADE tool, used by Airbus for the design and validation of its critical real-time systems, and is becoming a de facto standard for aeronautics. Verimag has a lasting and strategic collaboration with ST Microelectronics, France Telecom R&D, and Airbus, through which numerous results on validation and testing have been transferred.
Joseph Sifakis is recognized for his pioneering work on both theoretical and practical aspects of Concurrent Systems Specification and Verification. He contributed to emergence of the area of model-checking, currently the most widely-used method for the verification of industrial applications. His current research activities include component-based design, modeling, and analysis of real-time systems with focus on correct-by-construction techniques (http://www-verimag.imag.fr/~sifakis/).
Joseph Sifakis has broad experience with industry, notably though joint projects with partners such as Astrium, the European Space Agency, France Telecom, ST Microelectronics and he has also been active for many years in consulting.
Joseph Sifakis is the Scientific Coordinator of the European Network of Excellence ARTIST2 on Embedded Systems Design (http://www.artist-embedded.org/). This network gathers 35 of the best European teams in the area, and aims to produce innovative results for cost-effective design of dependable embedded systems. It will also promote innovative methods safe and secure systems, notably through cooperation with key European industrial partners such as Thalès, Airbus, Ericsson, Philips, and ST Microelectronics.
Joseph Sifakis is the director of the "Center for Integrative Research" in Grenoble.
Joseph Sifakis is a member of the editorial board of several journals, co-founder of the International Conference on Computer Aided Verification (CAV) and a member of the Steering Committee of the EMSOFT (Embedded Software) conference. He is a member of Academia Europea (http://www.acadeuro.org/), a member of the French National Academy of Engineering (http://www.academie-technologies.fr/) and a member of the French Academy of Sciences (http://www.academie-sciences.fr/).
Joseph Sifakis has received with Ed Clarke and Allen Emerson for their contribution to Model Checking, the Turing Award for 2007 (http://awards.acm.org/homepage.cfm?srt=all&awd=140). He is also the recipient of the CNRS Silver Medal in 2001.
Joseph Sifakis has received a Doctor Honoris Causa degree from EPFL (Ecole Polytechnique Fédérale de Lausanne), the University of Athens and the International Hellenic University. He is a Honorary Professor of the University of Patras.
Joseph Sifakis is a Grand Officer of the French National Order of Merit (http://en.wikipedia.org/wiki/Ordre_National_du_Mérite).
Trustworthy computing systems have been the object of considerable research effort as attested by an abundant literature as well as a plethora of related projects. So far, there is no well-accepted and rigorous definition for trustworthiness. One intrinsic difficulty is that our confidence in systems is sometimes based on both the artefact itself and on the humans who deliver it or use it.
In this talk, we propose a rigorous technical definition for trustworthiness that clearly separates between technical and human-related aspects. Trustworthiness is a system's ability to behave as expected despite: 1) failures of the execution infrastructure; 2) software design and implementation errors; 3) interaction with the physical environment including disturbances and unpredictable events; and 4) interaction with users including erroneous actions and threats.
The main contributions are the following:
- We argue that the value of results in formal methods and "correctness-by-checking" for developing trustworthy systems, has been often overestimated. These are limited to ensuring properties that can be correctly formalized and effectively checked. They only partially can contribute to achieving trustworthiness.
- We consider trustworthiness as a global property that must be addressed throughout the computing environment and propose a set of work directions that are key to enhancing trustworthiness in connection with design optimization and productivity.
- We focus on rigorous system design as a process which is semantically sound, scalable and accountable. We show how the work directions can be consistently integrated in a design flow for deriving trustworthy and optimized systems from their application software and models of their execution and external environments. We advocate for moving from ad hoc and empirical design techniques to a well-founded design discipline.
Challenges in the Deployment and Maintenance of Heterogeneous Networks of Cooperating Objects
Pedro José Marrón
University of Duisburg-Essen
Prof. Dr. Pedro José Marrón received his bachelor and master's degree in computer engineering from the University of Michigan in Ann Arbor, USA in 1996 and 1998 respectively. At the end of 1999, he moved to the University of Freiburg in Germany to work on his Ph.D., which he received with honors in 2001. His dissertation was awarded with a post-doc prize from the University of Freiburg. After finishing his habilitation at the University of Stuttgart in 2005, he moved to Bonn to head the Sensor Network and Pervasive Computing group. Since 2009, he is the head of the Networked Embedded Systems group at the University of Duisburg-Essen and since 2011 Director of the newly founded European Center for Ubiquitous Computing and Smart Cities (UBICITEC) and a lead scientist at Fraunhofer FKIE in Wachtberg. His current research interests are distributed systems, mobile data management, location-aware computing, sensor networks and pervasive systems and this shows in the breadth of European projects and industrial cooperations lead by his research group. He is also a member of ACM and GI.
Among several projects, Prof. Marrón is coordinator of CONET, the Cooperating Objects Network of Excellence that, with over 40 members and companies like SAP, Boeing and Telecom Italia, shapes the research in Europe on topics related to Internet of Things, Cyber-Physical-Systems and Cooperating Objects. Additionally, Prof. Marrón is coordinator of PLANET, an Integrated Project that deals with the deployment of large-scale heterogeneous networks, and GAMBAS, a STREP that deals with the design and implementation of an adaptive middleware for context-aware applications.
The world is changing at an incredible pace. An enormous amount of data is being generated continuously everywhere at a rate faster than ever before, leaving us with the challenge of making sense out of it at the right time and the right place. With concepts such as the Internet of Things, Cyber-Physical-Systems, Cooperating Objects and Smart Cities, things are only going to get worse. But are we ready to go large-scale?
In this talk, we will deal with the main challenges and present some possible answers to the question of how to deploy, maintain and use a network composed of millions, if not billions, of sensors, smart phones and, in general, devices that continuously gather, process and send data into our lives. Without the right technology, we might become slaves of our own technology instead of being on top of it. Are we ready for the challenge?