Instructors/Speakers
Prof. Zhiming LIU
Centre for Research and Innovation in Software Engineering (RISE)
Southwest University
Chongqing
China
Abstract
Compared to the challenges in traditional ICT applications that engineers used to face, software development for Internet of Things (IoT) and Cyber-Physical Systems (CPS) is to design and integrate new components or subsystems, new applications and front end services that depends on the infrastructures of existing systems. This has to deal with the complexity of ever evolving architectures digital components, physical components, together with sensors and smart devices controlled and coordinated by software. The software architecture in IoT consists interacting components and subsystems for data processing and analytics, computation, intelligent control, and resource monitoring and management. These subsystems are developed with different programming paradigms and deployed on different platforms. In this talk we discuss challenges in development software in IoT/CPS and argue for the need of a semantic theory for the combination of different traditional software modelling and programming paradigms, including those for structured programming, object-oriented programming, service oriented programming, aspect-oriented, AI (or knowledge-based engineering) and the emerging Big Data technologies. We show how a generic theory of architectural modelling and refinement could play a core role in this foundation for seamless combination of different models, methods and tools for software development, AI and Big Data, as well as for system integration.
Biography
Prof. Zhiming Liu is known for his work on real-time and fault-tolerant program design, verification, and schedulability analysis by transformations that established a theory of real-time and fault-tolerant refinement; probabilistic duration calculus for system dependability specification and analysis, and his work on the rCOS formal method of model-driven design. The key bibliographic database lists over 130 of his peer reviewed publications in recognized outlets. These include papers published in the top journals on formal methods, ACM Transactions on Programming Languages, Formal Aspects of Computing, Science of Computer Programming and Theoretical Computer Science, as well as mainstream conferences. He received a 2nd prize in natural science of Science and Technology Award from Macao SAR in 2012 for his work on the rCOS method. He joined Southwest University in Chongqing (China) as a Chair Professor in January 2016, and he is now leading to build the Centre for Research and Innovation in Software Engineering. Zhiming Liu received his PhD in 1991 from the University of Warwick (UK), and then worked there for three more years as a postdoc research fellow till 1994. After that, he worked during 1994-2005 at the University of Leicester as lecturer. Between 2002 and 2013, he worked for the United National University – International Institute for Software Technology (UNU-IIST, Macau) as a research fellow and then senior research fellow. Then he worked from 2013 to 2015 at Birmingham City University as Professor of Software Engineering before he returned back China to take his current position. Zhiming Liu is a member of CCF, a Fellow of British Computer Society, and a senior member of ACM. He also a founder of the international conferences ICTAC, SEFM, FACS and SETTA.