Fundamentos de Sistemas Operativos
O curso de Fundamentos de Sistemas Operativos oferece uma introdução prática aos fundamentos e mecanismos dos sistemas operativos contemporâneos. Centra-se em tópicos essenciais como a gestão de processos, eventos assíncronos, comunicação entre processos, interblocagem e sincronização. Além disso, aborda aspectos de segurança como a gestão de memória que permite o confinamento de processos, a autenticação de utilizadores e a autorização de acções sobre o sistema de ficheiros. O módulo inclui uma componente de laboratórios em Linux, permitindo aos formandos aplicar os conceitos teóricos num ambiente prático.
Este curso está inserido no Programa PRODIGI e esta edição será lecionada remotamente.
Três sessões por semana: 3a e 5a das 17:30 às 20:00 Sábados das 9:30 às 12:00
Os formandos deverão ser capazes de:
- executar sequências de programas na linha de comandos;
- criar e gerir processos em execução concorrente, utilizando sinais assíncronos;
- usar métodos de comunicação inter-processos;
- identificar e solucionar interblocagens com técnicas de sincronização;
- aplicar isolamento de memória entre diferentes processos;
- implementar medidas de segurança para a autenticação de utilizadores e autorização de acessos ao sistema de ficheiros.
Conhecimentos elementares de programação.
Exame individual (50%). Nota min.: 8 valores. Esforço esperado: 25h
Projeto em grupos de 2 (50%). Nota min.: 9 valores. Esforço esperado: 40h.
Data: Início / Término
- Abr 15 2025 - Mai 17 2025
- A decorrer...
Horário
- 5:30 pm - 8:00 pm
Professor(es) Responsável(eis)
-
Miguel Pardal
-
E-mail
Miguel.Pardal@tecnico.ulisboa.pt -
Website
Instituto Superior Técnico - Universidade de Lisboa O Prof. Dr. Miguel L. Pardal pertence ao Departamento de Engenharia Informática e de Computadores do IST e é Investigador no INESC-ID, na área de sistemas distribuídos, paralelos e seguros (DPSS), com foco em segurança informática nas fronteiras da Internet das Coisas, Computação em Nuvem e Blockchain. Entre os projetos em que participou, destacam-se o SafeCloud (2015–2018, Horizon 2020), no qual explorou arquiteturas de comunicação mais seguras e resilientes para a Internet, e o SureThing (2018–2022, FCT), dedicado à certificação de localização de dispositivos para a Internet das Coisas. Atualmente, lidera a participação do INESC-ID e IST na Agenda Blockchain PT, financiado pelo PRR / NextGenerationEU, na qual se está a desenvolver soluções empresariais para dados seguros e confiáveis de rastreabilidade alimentar, suportados por tecnologia Blockchain.
