Speakers: Carlos Mão de Ferro and David Silva, LASIGE – DI/FCUL
When: February 10, 14h00
Where: Zoom: https://videoconf-colibri.zoom.us/j/84425943613?pwd=Tk5VU3BXY25NVGNCN3ZDbE5jcEtqQT09
Talk 1: Safe and Modular Integration of Cyber-Physical Systems
Abstract: In this talk, I will present the complete toolchain for programming CPS as proposed in my PhD. In particular, I will discuss how Shelley, our domain-specific model checker, uses a verification algorithm that checks the integration of stateful systems and other safety properties (e.g., absence of deadlocks). This tool is able to verify systems with billions of systems in a few seconds on a personal computer. In an alternative scenario, I will also hint on how it might be possible to adapt an existing programming language (e.g., Python) to verify the same set of properties.
Short bio: Carlos Mão de Ferro is a PhD candidate in Computer Science. In 2019, he was a Fulbright scholar at the University of Massachusetts, Boston. His research focuses on new programming languages techniques that deliver safe and resource-aware programming of embedded devices, thus promoting a reliable and sustainable Internet of Things (IoT) environment.
Talk 2: Developing a scalable IoT solution for remote monitoring and control
Abstract: As the Internet of Things is growing considerably, there is a need for high scalability and standardization of the platform on which projects focused on remote controlling, monitoring and actuation of devices will be based. The application context of IoT projects can vary from each other. However, key factors like scalability, availability, security, reusability and maintainability will always be concerned. This project aims to develop a platform to satisfy all the key factors that are more common in IoT projects by taking advantage of existing solutions like cloud computing services that privilege the aforementioned factors without neglecting other important aspects such as security. To complement the mentioned platform, a mobile application will be created to control, monitor, and actuate devices connected to a swimming pool, proving the efficiency and quality of the scalable solution by fitting the exact description of a project to which this platform will be suitable.
Short bio: David Silva is a Master’s student in Informatics, currently working on his thesis under the supervision of Professor José Cecílio.