Docente
Daniel Tomás De Maia Mozart Silveira

Resume

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; .

Graus

• Mestrado
  Licenciatura Engenharia Informática e Computadores

Publicações

Capítulo de livro

• 2019, Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP, Formal Methods – The Next 30 Years, Springer International Publishing

Artigo em conferência

• Verification of Computer-Controlled Systems, DASIA 2017 - Data Systems In Aerospace
• Porting the Air TSP to the Arm Architecture with the Miura1 Obsw as Use Case, DASIA 2019 - Data Systems In Aerospace
• Increasing Representativeness of SIL V&V Simulators, DASIA 2019 - Data Systems In Aerospace
• ESROCOS: A robotic operating system for space and terrestrial , Space Technologies in Robotics and Automation (ASTRA-2017)
• Code Coverage on Space Embedded Systems with GCOV,, DASIA 2019 - Data Systems In Aerospace
• AIR hypervisor using RTEMS SMP, The European Workshop on On-Board Data Processing (OBDP2019
• 2017-06-01, TASTE to IMA/SP Migration, DASIA 2017 - Data Systems In Aerospace
• 2010-06-01, MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements, DASIA 2010 - Data Systems In Aerospace