Abstract
Advances in technology, in particular in cyber-physical systems, increasingly enable functionalities that will lead to the development of smart living spaces – from “smart homes” to “smart cities” – where living conditions for people will be facilitated and enhanced. Cyber-physical spaces will assist and cooperate with people in their homes, including the elderly and disabled people. They will enhance operations in public buildings, such as hospitals or courts. They will assist in managing traffic in cities, reducing air pollution, and reducing energy consumption. Needless to say, the design of such future living spaces is a multidisciplinary endeavor, ranging contributions from Internet-of-Things to software engineering to civil engineering and architecture to medical sciences, transportation science, environmental science, energy, and so on.
In this lecture, the speaker will argue on software engineering that can bring a unique and fundamental contribution into this multidisciplinary world. It can support the design phase with formal models that integrate existing spatial design notations (such as BIM used by architects and civil engineering or CityGML, an emerging notation for city and landscape models) with modeling notations that support automatic reasoning and analysis, such as checking compliance with existing regulations or possible security and safety threats, or simulating how the space being designed will behave when operational. Automatic checking of models can also support monitoring the smart space, when it will be operational, and possible automatic reactions to keep the operational smart space aligned with its requirements. Initial research results in this direction will be presented, along with a possible research agenda.
About the speaker
Prof Carlo Ghezzi received his PhD in Electrical Engineering from Polytechnic University of Milan in 1969. He has been the Professor and Chair of Software Engineering at Polytechnic University of Milan since 1981. He held temporary or visiting positions at the University of California at Los Angeles, University of North Carolina at Chapel Hill, University of Padova, ESLAI-Argentina, University of California at Santa Barbara, Technical University of Vienna and University of Klagenfurt.
Prof Ghezzi’s research has been focusing on software engineering and programming languages. Currently, he is interested in methods and tools to improve dependability of adaptable and evolvable distributed applications, such as service-oriented architectures and ubiquitous/pervasive computer applications.
Prof Ghezzi was elected an ACM Fellow, IEEE Fellow, member of Academia Europaea and member of the Italian Academy of Sciences (Istituto Lombardo). He has also been awarded the 2006 ACM SIGSOFT Distinguished Service Award. He was the former President of Informatics Europe and the Editor in Chief of the ACM Transactions on Software Engineering and Methodology (from 2001 till 2006). He is currently an Associate Editor of Communications of the ACM, Science of Computer Programming, Service Oriented Computing and Applications, and Computing.
|
