???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; .
Read full resume ↓
Identification

Personal identification

Full name
Daniel Tomás de Maia Mozart Silveira

Citation names

  • Silveira, Daniel

Author identifiers

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

Telephones

Mobile phone
  • 965881759 (Professional)

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Computer Hardware and Architecture
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics - Robotics and Automatic Control
  • Engineering and Technology - Other Engineering and Technologies

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Portuguese (Mother tongue)
French Elementary (A2) Upper intermediate (B2) Beginner (A1) Elementary (A2) Beginner (A1)
Spanish; Castilian Advanced (C1) Proficiency (C2) Intermediate (B1) Advanced (C1) Upper intermediate (B2)
Education
Degree Classification
1998
Concluded
 Licenciatura Engenharia Informática e Computadores (Mestrado)
Major in Sistemas Computacionais e Operativos
Universidade de Lisboa Instituto Superior Técnico, Portugal
 13
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2022/02/02 - Current Invited Assistant (University Teacher) COFAC - Cooperativa de Formação e Animação Cultural CRL, Portugal
COFAC - Cooperativa de Formação e Animação Cultural CRL, Portugal

Other Careers

Category
Host institution 		Employer
2003/10/02 - Current 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, United Kingdom
1998/10/01 - 2000/10/01 Técnico Superior (Técnico Superior) MEO Serviços de Comunicações e Multimédia SA, Portugal
Outputs

Publications

Book chapter
  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
Conference paper
  1. Silveira, Daniel. "Code Coverage on Space Embedded Systems with GCOV,". Paper presented in 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". Paper presented in DASIA 2019 - Data Systems In Aerospace, Torremolinos, 2019.
    Published
  3. Silveira, Daniel. "Increasing Representativeness of SIL V&V Simulators". Paper presented in DASIA 2019 - Data Systems In Aerospace, Torremolinos, 2019.
  4. Silveira, Daniel. "AIR hypervisor using RTEMS SMP". Paper presented in The European Workshop on On-Board Data Processing (OBDP2019, Noordwijk, 2019.
    Published
  5. Silveira, Daniel. "TASTE to IMA/SP Migration". Paper presented in DASIA 2017 - Data Systems In Aerospace, Gotenburgo, 2017.
    Published
  6. Silveira, Daniel. "Verification of Computer-Controlled Systems". Paper presented in DASIA 2017 - Data Systems In Aerospace, Budapeste, 2017.
  7. Silveira, Daniel. "ESROCOS: A robotic operating system for space and terrestrial". Paper presented in 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". Paper presented in DASIA 2010 - Data Systems In Aerospace, Budapeste, 2010.
    Published
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2020/02/01 - 2020/10/10 Paravirtualization of a Real Time Operating System Development of the AIR hypervisor with RTEMS for ARM
Supervisor
 Engenharia Aeroespacial (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/01/01 - 2019/06/29 Hypervisor Board Support Package Migration SPARC and ARM study case
Supervisor
 Engenharia Electrónica (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/02/01 - 2016/10/01 On-board Software Reference Architecture (OSRA) Development Analysis
Supervisor
 Engenharia Aeroespacial (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal