PhD in Informatics Seminar

Safe and Modular Integration of Cyber-Physical Systems

Transmissão através de Videoconferência

Por Carlos Mão de Ferro.

A central problem of designing Cyber-Physical Systems (CPS) is to verify that the assembled subsystems behave as expected. The smallest mistake can render the whole system stuck or undergo unpredictable behaviors. Given that the number of systems being integrated can be extremely large (e.g. integrating thousands of sensors in a autonomous car), it is of utterly importance that the verification process is modular, automatic and ideally provide a visual feedback that is comprehensible for humans.

In this third and final seminar I will present the complete toolchain for programming CPS as proposed in my PhD. In particular, I will discuss how a domain-specific programming language can be analysed against a specification by using 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. As a final step in the toolchain, I will address the execution environment by showing examples of CPS programs that have been verified and can be deployed on an embedded device.

More information: https://moodle.ciencias.ulisboa.pt/course/view.php?id=2964#section-4


Transmissão em direto via Zoom.

12h00

Celebrating Pedro Duarte's 60th birthday.

Fotografia de campo agrícola e parque eólico

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de trator em campo agrícola

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia representativa de agricultura sustentável

Submissão de iniciativas até 30 de agosto de 2022.

Fotografia de pessoa a pegar num Ouriço-do-mar

Seminário de Pós-Graduação no âmbito do Doutoramento em Biologia, por Inês Ventura.

As Jornadas Interinstitucionais de Inovação Pedagógica estão abertas a docentes do ensino superior com interesse no seu desenvolvimento profissional pedagógico.

Logótipo da Comissão Europeia e iconografia associada ao Horizon Europe

1.ª edição do curso Horizon Europe, para candidaturas futuras a projetos colaborativos - manifestações de interesse até 05 de setembro de 2022.

Título do evento e iconografia relacionada com a ciência e a saúde

O workshop visa sensibilizar jovens, adultos e idosos para a importância do movimento induzido pela música na saúde e na qualidade de vida sustentável.

Banner do concurso (inclui fotografia apresentada numa anterior edição)

Candidaturas até 30 de setembro de 2022.

Programa a disponibilizar.