???global.info.a_carregar???
Daniel Tomás de Maia Mozart Silveira. Concluiu o(a) Mestrado em Licenciatura Engenharia Informática e Computadores em 1998 pelo(a) Universidade de Lisboa Instituto Superior Técnico. É Técnico Superior no(a) GMV. Possui 1 capítulo(s) de livros. Orientou 3 dissertação(ões) de mestrado. Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática com ênfase em Hardware e Arquitetura de Computadores, Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática com ênfase em Robótica e Ciências da Engenharia e Tecnologias com ênfase em Outras Ciências da Engenharia e Tecnologias. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: AIR; RTEMS; EMBEDDED; RTOS; ESROCOS; ROS; Kinematics; Onboard-Software; Espaço; Avionica; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Daniel Tomás de Maia Mozart Silveira

Nomes de citação

  • Silveira, Daniel

Identificadores de autor

Ciência ID
5A12-B62B-248E
ORCID iD
0000-0002-2553-8160

Telefones

Telemóvel
  • 965881759 (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Hardware e Arquitetura de Computadores
  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Robótica
  • Ciências da Engenharia e Tecnologias - Outras Ciências da Engenharia e Tecnologias

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Português (Idioma materno)
Francês Utilizador elementar (A2) Utilizador independente (B2) Utilizador elementar (A1) Utilizador elementar (A2) Utilizador elementar (A1)
Espanhol; Castelhano Utilizador proficiente (C1) Utilizador proficiente (C2) Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B2)
Formação
Grau Classificação
1998
Concluído
 Licenciatura Engenharia Informática e Computadores (Mestrado)
Especialização em Sistemas Computacionais e Operativos
Universidade de Lisboa Instituto Superior Técnico, Portugal
 13
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/02/02 - Atual Assistente Convidado (Docente Universitário) COFAC - Cooperativa de Formação e Animação Cultural CRL, Portugal
COFAC - Cooperativa de Formação e Animação Cultural CRL, Portugal

Outras Carreiras

Categoria Profissional
Instituição de acolhimento 		Empregador
2003/10/02 - Atual Técnico Superior (Técnico Superior) GMV, Portugal
2000/10/01 - 2002/10/01 Técnico Superior (Técnico Superior) BAE Systems Advanced Technology Centre, Reino Unido
1998/10/01 - 2000/10/01 Técnico Superior (Técnico Superior) MEO Serviços de Comunicações e Multimédia SA, Portugal
Produções

Publicações

Artigo em conferência
  1. Silveira, Daniel. "Code Coverage on Space Embedded Systems with GCOV,". Trabalho apresentado em DASIA 2019 - Data Systems In Aerospace, Torremolinos, 2019.
  2. Silveira, Daniel. "Porting the Air TSP to the Arm Architecture with the Miura1 Obsw as Use Case". Trabalho apresentado em DASIA 2019 - Data Systems In Aerospace, Torremolinos, 2019.
    Publicado
  3. Silveira, Daniel. "Increasing Representativeness of SIL V&V Simulators". Trabalho apresentado em DASIA 2019 - Data Systems In Aerospace, Torremolinos, 2019.
  4. Silveira, Daniel. "AIR hypervisor using RTEMS SMP". Trabalho apresentado em The European Workshop on On-Board Data Processing (OBDP2019, Noordwijk, 2019.
    Publicado
  5. Silveira, Daniel. "TASTE to IMA/SP Migration". Trabalho apresentado em DASIA 2017 - Data Systems In Aerospace, Gotenburgo, 2017.
    Publicado
  6. Silveira, Daniel. "Verification of Computer-Controlled Systems". Trabalho apresentado em DASIA 2017 - Data Systems In Aerospace, Budapeste, 2017.
  7. Silveira, Daniel. "ESROCOS: A robotic operating system for space and terrestrial". Trabalho apresentado em Space Technologies in Robotics and Automation (ASTRA-2017), Noordwijk, 2017.
  8. Silveira, Daniel. "MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements". Trabalho apresentado em DASIA 2010 - Data Systems In Aerospace, Budapeste, 2010.
    Publicado
Capítulo de livro
  1. Silveira, Daniel; Jung, Andreas; Verhoef, Marcel; Jorge, Tiago. "Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP". In Formal Methods – The Next 30 Years, 727-737. Springer International Publishing, 2019.
    10.1007/978-3-030-30942-8_42
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2020/02/01 - 2020/10/10 Paravirtualization of a Real Time Operating System Development of the AIR hypervisor with RTEMS for ARM
Orientador
 Engenharia Aeroespacial (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/01/01 - 2019/06/29 Hypervisor Board Support Package Migration SPARC and ARM study case
Orientador
 Engenharia Electrónica (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/02/01 - 2016/10/01 On-board Software Reference Architecture (OSRA) Development Analysis
Orientador
 Engenharia Aeroespacial (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal