Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

O meu nome é Bruno Lima, sou colaborador do INESC TEC desde setembro de 2013 quando, no decorrer da minha dissertação de mestrado ingressei no projeto AAL4ALL

Atualmente sou estudante de doutoramento no Programa Doutoral em Engenharia Informática (PRODEI) na FEUP onde também sou professor Assistente Convidado no departamento de engenharia informática (DEI). Faço também parte da equipa de investigação do Centro de Sistemas de Informação e de Computação Gráfica (CSIG) no INESC TEC onde participo em projetos de investigação na área da engenharia de software mais concretamente em teste de software.  

Para saber mais sobre mim visite a minha página pessoal aqui.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Bruno Carvalhido Lima
  • Cargo

    Investigador Colaborador Externo
  • Desde

    01 setembro 2013
Publicações

2023

eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture

Autores
Alves, MI; Araújo, AD; Lima, B;

Publicação
International Conference on Computer Supported Education, CSEDU - Proceedings

Abstract
Computer architecture is a prevalent topic of study in Informatics and Electrical Engineering courses, though students’ overall grasp of this subject’s concepts is many times hampered, mainly due to the lack of educational tools that can intuitively represent the internal behaviour of a CPU. With the evolution of the ARM architecture and its adoption in higher education institutions, the demand for this sort of tool has increased. Educational tools, specifically developed for the ARMv8 processor, are scarce and inadequate for what is necessary in an academic context. In order to contribute towards solving this problem, eduARM, a practical and interactive web platform that simulates how a ARMv8 CPU functions, was developed and is presented through this paper. Since this tool’s main purpose is to aid computer architecture students, contributing to an improvement in their learning experience, it comprises varied concepts of computer architecture and organization in a simple and intuitive manner, such as the internal structure of a CPU, in both its unicycle and pipelined versions, and the effects of executing a set of instructions. As to better understand its value, the developed tool was then validated through a case study with the participation of computer architecture students. Copyright © 2023 by SCITEPRESS – Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

2023

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device

Autores
Farshid, S; Lima, B; Faria, J;

Publicação
Proceedings of the 18th International Conference on Software Technologies

Abstract

2023

Automatic Test-Based Assessment of Assembly Programs

Autores
Tavares, L; Lima, B; Araújo, A;

Publicação
Proceedings of the 18th International Conference on Software Technologies

Abstract

2022

A Pattern-Based Test Platform for Families of Smart Health Products

Autores
Almeida, P; Faria, JP; Lima, B;

Publicação
2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS

Abstract
One of the most critical ICT application domains is healthcare, where a single failure can lead a patient into a hazardous situation. Due to this, there's a great necessity to ensure that the developed solutions are safe and secure and perform as expected. Smart-Health-4-All (SH4ALL) is a project aiming at accelerating the research, development, commercialization, and dissemination of trustworthy smart health solutions in Portugal. One of the key components of the project is a web platform that supports the generation of integration and system tests for smart health solutions (comprising medical devices, applications, etc.), following a software product line approach. At the domain engineering level, the platform supports the creation of feature models and related test patterns for families of smart health products. At the product engineering level, the platform supports the instantiation of test patterns and the generation of corresponding test scripts ready for execution on specific products under test. This paper presents the aforementioned test platform and test process, and the discovery of test patterns.

2021

Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course

Autores
Lima, B; Granhao, D; Araujo, AJ; Ferreira, JC;

Publicação
2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)

Abstract
The 2019/2020 school year will always be remembered for the impact of the COVID-19 pandemic. For the first time in recent history, countries closed schools and forced instructors and students to quickly adjust to online classes. This sudden and forced shift to a method of teaching that was completely different from what we were used to presented several challenges and opportunities on a pedagogical level. In this paper we describe our experience as instructors in a course on microprocessor programming in the Master's Degree in Computer Science and Computing Engineering at the Faculty of Engineering of the University of Porto. Our approach included changes to the assessment plan, which became more distributed, and improvements in communication between students and instructors through the use of Slack. We found that the changes introduced were not only very well received by students, but also resulted in the best exam attendance and average final grade in the last 10 years of the course's history.

Teses
supervisionadas

Avaliação Automática de Programas em Contexto de E-learning

Autor
José Alberto de Carvalho Cardoso

Instituição
FCT

Software Engineering for Healthcare IoT Ecosystems

Autor
Pedro Martins Pontes

Instituição
INESCTEC

A Pattern-based Testing Framework for IoT Ecosystems

Autor
Pedro Martins Pontes

Instituição
FCT

Automação de testes de aplicações móveis sem necessidade de programação

Autor
Tiago Fernando Sousa Coelho

Instituição
FCT

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Autor
João António Custódio Soares

Instituição
FCT