TRUSTWORTHY COMPUTING SYSTEMS
Joseph Sifakis, Independent Researcher, France
EMBEDDED & INTERCONNECTED DEVICES - Converting the Physical World into an Information System
Paul Lencioni, Independent Researcher, United States
ARE WE READY TO GO LARGE-SCALE? - Challenges in the Deployment and Maintenance of Heterogeneous Networks of Cooperating Objects
Pedro José Marrón, University of Duisburg-Essen, Germany
WIRELESS SENSOR NETWORKS - Protocols, Optimization and Applications
Kin K. Leung, Independent Researcher, United Kingdom
CHALLENGES FOR DEPLOYMENT AND ADOPTION OF PERVASIVE AND EMBEDDED COMPUTING IN OUR SOCIETY
Juan C. Augusto, University of Ulster at Jordanstown, United Kingdom
TRUSTWORTHY COMPUTING SYSTEMS
Joseph Sifakis
Independent Researcher
France
Brief Bio
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).
Abstract
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.
EMBEDDED & INTERCONNECTED DEVICES - Converting the Physical World into an Information System
Paul Lencioni
Independent Researcher
United States
![]()
Brief Bio
Paul Lencioni is a high-tech strategic marketing and business development leader and entrepreneur with a track record of accomplishments in global telecommunications, media, technology, management consulting, M&A, and corporate development. He is known for his ability to develop lasting partnerships and to enable innovative new business models.
During Paul's 25 years business experience he created successful business plans for emerging technology companies, negotiated significant partnership and vendor relationships, and oversaw strategic research that led to improvements in product design and revenue generation. He is currently a Partner at Crimson Consulting Group, a leading Silicon Valley, California based high-tech marketing consultancy, where he is developing a portfolio of clients in the telecommunications, digital media, entertainment, cloud computing, security and storage sectors.
As Principal with NetLink LLC Paul partnered with CEOs and senior leaders to evaluate markets, products and services, establish marketing priorities, and develop strategies to meet business goals. In this capacity, he assisted early stage firms to exceed revenue objectives, and accomplish successful exits and M&A transactions. During Paul's career at Cisco he led commercial applications and was a founding member of an in-house startup venture that has become a full-fledged Business Unit and a "Top 20 Strategic Initiative".
He developed business plans, partnerships, led sales and marketing teams, launched new products, and led several successful proposal efforts.
Paul serves on the Board of a Regional Managed and Cloud Service Provider.
He earned his Bachelor of Science, Engineering from the University of Illinois at Champaign-Urbana, and a Master, Business Administration from the University of Southern California. Paul has resided in Rome; his family originated from Lucca and he currently has relatives in Turin.
Abstract
A convergence of new sensor technology, increased wireless and broadband access, sophisticated web browser dashboard applications, data analytics and visualization tools offer new capabilities for scientists, doctors, policy makers, war fighters, farmers, utilities, first responders, and other decision makers. "Wearable" connected devices are becoming a new platform for monitoring networks. Distributed devices, including "Smart" objects communicate real-time with computer networks, bringing information and data portals to decision makers via the Worldwide Web.
The confluence of these technologies raises many questions, such as:
. How will Policy and Privacy Issues impact the realization of the
"Internet of Things"?
. What business processes and models will be enabled via Sensor Nets?
. What levels of success have been achieved via the funded
sensor-to-web trials?
. How will wearable computers impact the future of health care, mobile
forces special operations teams, and other mission-critical mobile applications?
. How effectively are we handling the resultant 'data deluge'?
. How will today's LTE & 4G networks, new allocations of spectrum, and
rural broadband access enable these trends?
. What role will "Cloud computing" play in sensor and data
aggregation?
In this talk Paul will attempt to address these fundamental questions while sharing examples of "Smart" networks and real-time sensor-to-web monitoring portals, including actual trials for water, environmental, connected energy, health informatics and disease tracking, maritime, ocean, metro area and other applications.
ARE WE READY TO GO LARGE-SCALE? - Challenges in the Deployment and Maintenance of Heterogeneous Networks of Cooperating Objects
Pedro José Marrón
University of Duisburg-Essen
Germany
![]()
Brief Bio
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.
Abstract
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?
WIRELESS SENSOR NETWORKS - Protocols, Optimization and Applications
Kin K. Leung
Independent Researcher
United Kingdom
Brief Bio
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.
Abstract
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.
CHALLENGES FOR DEPLOYMENT AND ADOPTION OF PERVASIVE AND EMBEDDED COMPUTING IN OUR SOCIETY
Juan C. Augusto
University of Ulster at Jordanstown
United Kingdom
Brief Bio
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.
Abstract
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.