11:30 – 12:30
The concept of Smart Cities tries to use modern technologies in suitable way to invoke synergic effects between various subsystems (transportation, logistics, safety and security, energetics, building administration etc.) with reference to energetic intensity and the quality of life of citizens in the city. A big phenomenon of smart cities is gradually strengthening their resilience against various natural disasters, terrorist attacks, but also cyber-attacks or black-out.
The whole system of a smart resilient city must be designed with respect to its graceful degradation, in which some of its parts are disrupted in predefined steps. The system will lose some of its functionality, but it will be re-configured to keep its most important functions. Management of Smart Resilient City can use a variety of sensors, starting with physical detectors, cameras, and ending with space imaging (weather prediction, city temperature maps, and emission maps). It should be noted that even a vehicle or a mobile phone in this concept becomes an intelligent sensor providing important data.
City management, thanks to current data, moves from the original predefined dynamic plans to adaptive control algorithms that ensure the coordination of entire territorial units. Different simulation tools are used to validate individual strategies. In virtual space, it is much easier to model responses to different types of extraordinary events. Verified strategies can then be projected into real-estate management through actuators, which may be both physical infrastructure facilities and navigation or assistance services, and prospective operation of autonomous systems such as unmanned vehicles.
Miroslav Svítek was born in Rakovník, Czech Republic, in 1969. He graduated in radioelectronic from Czech Technical University in Prague, in 1992. In 1996, he received the Ph.D. degree at Faculty of Electrical Engineering, Czech Technical University in Prague (www.fel.cvut.cz). Since 2005, he has been nominated as the Extraordinary professor in applied informatics at Faculty of Natural Sciences, University of Matej Bel in Banska Bystrica, Slovak Republic (www.umb.sk). Since 2008, he has been Full professor in engineering informatics at Faculty of Transportation Sciences, Czech Technical University in Prague (www.fd.cvut.cz). In 2010 – 2018 he was Dean of Faculty of Transportation Sciences, Czech Technical University in Prague. Since 2018, he has been Visiting professor in smart cities at University of Texas at El Paso, USA (www.utep.edu). Miroslav Svítek is now president of Czech Smart City Cluster (www.czechsmartcitycluster.cz), member of Engineering academy of the Czech Republic (www.eacr.cz). In 2006 – 2018 he was president of Association of transport telematics (www.sdt.cz). The focus of his research includes complex systems and their applications to Intelligent Transport Systems, Smart Cities and Smart Regions. He is the author or co-author of more than 200 scientific papers and 10 books. His scientific h-index in Web of Science is 10.
11:30 – 12:30
The fact that the systems we have to design, build and test are increasingly complex and have to operate in changing environments, deal with physical elements or interact with human agents whose behavior is not entirely predictable, introduces the need to manage uncertainty. Such uncertainty can be due to many different reasons, including incomplete or inaccurate information, low-quality data, imprecise measurements, unpredictable behavior, subjective human judgments or vague estimations. Today, explicit representation of uncertainty is gaining attention among software engineers in order to provide more accurate representations of systems, more precise design methods, and better estimates of development processes. However, uncertainty representation in software models usually requires very specific notations, inference mechanisms and analysis methods, not commonly available in our modeling methods and tools. This talk identifies several types of uncertainties that have a direct impact on the specification of our systems, introduces some of the notations currently used to represent and analyze them, and discusses some challenges on how to improve the specification and design of our systems in the presence of uncertainty.
Antonio Vallecillo is Professor of Computer Science at the University of Málaga. Between 1986 and 1995 he was in the Computer Industry, working for Fujitsu and ICL in Spain and in England. In 1996 he joined the University of Málaga, where he leads the Atenea research group on modeling and analysis of software systems. His research interests include model-based software engineering (MBSE), open distributed processing (ODP), and software quality. He is involved in several standardization activities within AENOR/UNE, ISO, ITU-T, and the OMG, and has been the Spanish representative at IFIP TC2 and ISO SC7. He has organized several international conferences, including ECOOP 2002, TOOLS 2010, MODELS 2013, and ECOOP 2017, and will organize CEDI 2021 in Málaga. He has served as PC Chair for conferences such as TOOLS, ICMT, ECMFA, QoSA and ICSOC, and currently belongs to the editorial board of the Sosym and JOT journals. For further information about his projects, publications and research activities, please visit http://www.lcc.uma.es/~av/