Abstract

Recent advances in IoT and pervasive and ubiquitous computing provide a glimpse into the future of our planet and reveal exciting visions of smart many things: smart cities, smart homes, smart cars, in addition to smart spaces such as malls, workplaces, hotels, schools, and much more. Driven by a technological revolution offering “low-power many things and wireless almost everything”, we could, in only a decade, envision and prototype impressive smart space systems that improve quality of life, enhance awareness of resources and the environment, and enrich users’ experience. But prototyping is one thing; actual large-scale deployments are another. The massive scale of sensors and IoT devices that will be deployed in highly populated smart cities of the future will be mind-bugling. Without a carefully-thought ecosystem and a scalable architecture in place, it will be extremely difficult to manage or program such an expanding and massive IoT. In this talk, I will start by raising the thought of how can we estimate the Value of the IoT as we once estimated the value of the network. I will then introduce our recent work - the Cloud-Edge-Beneath (CEB) architecture, and present its salient scalability features. I will also present CEB’s bi-directional waterfall optimization framework and show how it leads to “sentience-efficiency” – a new paradigm for realizing aggressive energy-efficiency. I will then present an event-driven programming model based on CEB and show how the model and CEB, combined, foster a much-needed IoT programmability ecosystem. Finally, I will present a validation study demonstrating CEB’s scaling behavior in face of IoT expansions (sensors and applications) and under dynamically increasing loads.

BIO

Sumi Helal, is professor and Chair in Digital Health at Lancaster University, UK, where he leads interdisciplinary research initiatives in digital health in both the School of Computing and Communications (Faculty of Science and Technology) and the Division of Health Research (Faculty of Health and Medicine). As Director of Lancaster University’s Center on Digital Health and Quality of Life Technologies, he leads several active projects on Connected Health Cities, Healthy New Towns design and implementation, suicide prevention using cybernetics and analytics, Airport Accessibility for the hearing impaired, and intelligent primary care GP-Patient interactions. He is a board member and lead of the digital health infrastructure and strategies in the Fylde Whyndyke Garden Village - one of ten NHS England Healthy New Towns development project (a 1400-unit, green grass development which provides for a unique opportunity to embed health elements, by design, in public areas, neighborhoods, and the town community hub (school, wellness center and health care facility), to promote health and wellbeing, active and healthy living and ageing, prevent illnesses and improve people's quality of life.

Before joining Lancaster, Prof Helal was a Computer & Information Science and Engineering Professor at the University of Florida, USA, and Director of its Mobile and Pervasive Computing Laboratory. He co-founded and directed the Gator Tech Smart House, a real-world deployment project that aimed at identifying key barriers and opportunities to make the Smart Home concept a common place (creating the "Smart Home in a Box" concept). His active areas of research focus on architectural and programmability aspects of the Internet of Things, and on pervasive/ubiquitous systems and their human-centric applications with special focus on smart spaces, proactive health/wellness, patient empowerment and e-coaching, and assistive technology in support of personal health, aging, disabilities, and independence. Professor Helal served as the Editor-in-Chief of IEEE Computer (2015-2018), the Computer Society's flagship and premier publication. He currently serves as member of the Board of Governors of the IEEE Computer Society, and Chair of its Magazine Operational Committee. Professor Helal is a Boilermaker (Ph.D., Purdue University, class of 1991), Fellow of the IEEE, Fellow of the IET, and a 2020 IEEE Computer Society President-Elect nominee. Contact him at sumi.helal@ieee.org.

Abstract

In this keynote, we recall the development from Cyber-Physical-Systems (CPS) to Human-Cyber-Physical Systems (HCPS) in past decade and the issues of software development in this new and pervasive form of ICT systems. We propose a model software architecture for HCPS and a model-driven software development paradigm. We discuss about the importance of abstractions for system software design and software defining technology (i.e. ubiquitous operating systems). Based on the model of software architecture, we, from a system engineering perspective, argue for the requirements of explainable, controllable, composable and reusable (i.e. trustworthy) AI systems.

BIO

Zhiming LIU has been working in the area of software theory and methods. He is known for his work on Transformational Approach to Fault-Tolerant and Real-Time Systems, Probabilistic Duration Calculus for System Dependability Analysis, and rCOS Method for Object-Oriented and Component-Based Software. Zhiming Liu studied mathematics in university. He holds a MSc in Computing Science from Software Institute of CAS (1988) and a PhD in Computer Science from University of Warwick (1991). Zhiming Liu joined Southwest University in Chongqing as a full-time professor of computer science in 2016. He is leading the development of the University Centre for Research and Innovation in Software Engineering (RISE). Before Southwest University, he worked in three universities in the UK (1988-2005 and 2013-2015) and the United Nations University – International Institute for Software Technology (Macau, 2002-2013).