Tiago Sampaio Lins

Formação complementar

Áreas de atuação

Participação em eventos

Produções bibliográficas

• LINS, T. S. ; BARROS, Edna Natividade da Silva . The Development of A Hardware Abstraction Layer Generator for System-on-Chip Functional Verification. In: Southern Programmable Logic Conference, 2010, Ipojuca. VI Southern Programmable Logic Conference. Recife: Editora Universitária da UFPE, 2010. v. 1. p. 41-46.

• LINS, T. S. ; BARROS, Edna Natividade da Silva ; LIMA, M. ; SANTOS, F. ; BIONE, J. . ipPROCESS: A Development Process for Soft IP-core with Prototyping in FPGA. In: Forum on specification and Design Languages, 2005, Lausanne. Forum on specification and Design Languages, 2005.

• LINS, T. S. ; ALVES, Diogo José da Costa ; BARROS, Edna Natividade da Silva ; FREIRE NETO, Silvio Veloso . A 8051 µC FUNCTIONAL RTL DESCRIPTION USING SYSTEMC FOR PLATFORM BASED DESIGN. In: SBCCI, 2003, São Paulo. ., 2003.

• LINS, T. S. ; ALVES, Diogo José da Costa ; BARROS, Edna Natividade da Silva . A Vending Machine System Description in SystemC 2.0. In: SBCCI, 2002, Porto Alegre. ., 2002.

Outras produções

Projetos de pesquisa

• 2005 - 2006

  ATA - Arquitetura de Telemetria Aberta, Descrição: Desenvolvimento de um sistema de telemetria de propósito geral de baixo custo e fácil adaptação. No projeto fui responsável pelo projeto da arquitetura do sistema, o qual foi implementado com a colaboração de uma equipe de cinco pessoas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Henrique Foresti - Integrante / Fernando Carvalho - Integrante / Daniel Thiago Pereira - Integrante / Paulo Gustavo Urbano - Coordenador., Financiador(es): Financiadora de Estudos e Projetos / FINEP - Auxílio financeiro.

• 2003 - 2005

  BrazilIP - Fênix, Descrição: Os objetivo central deste projeto é a estruturação de uma rede de P&D na área de projeto de sistemas digitais de propriedade intelectual (IP?s) com o desenvolvimento de competências em projeto e validação de sistemas digitais. Neste projeto fui responsável pela especificação da unidade central de processamento(CPU) do microcontrolador 8051, implementação de sua interface serial, desenvolvimento do um modelo de referência para CPU, bem como pela sua verificação e validação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Tiago Sampaio Lins - Integrante / Diogo José da Costa Alves - Integrante / Edna Natividade da Silva Barros - Coordenador / Marília Lima - Integrante / João Bione - Integrante / Guido Costa Souza de Araújo - Integrante / Rodolfo Jardim de Azevedo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2

• 2003 - 2004

  Projeto da linguagem Architecture Description Language - ARCHC, Descrição: Desenvolvimento de uma linguagem para descrição de processadores. Neste projeto fui responsável pela implementação de um modelo funcional de um processador CISC utilizando a linguagem. O Modelo foi utilizado na validação da mesma. Disponível em www.archc.org.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Tiago Sampaio Lins - Integrante / Diogo José da Costa Alves - Integrante / Edna Natividade da Silva Barros - Integrante / Guido Costa Souza de Araújo - Integrante / Sandro Rigo - Coordenador / Marcus Bartholomeu - Integrante / Paulo Cesar Centoducatte - Integrante / Rodolfo Jardim de Azevedo - Integrante., Número de produções C, T & A: 1

• 2001 - 2002

  PISH-OO - Projeto Integrado de Hardware e Software Orientado a Objetos, Descrição: Hardware/software co-design é um novo paradigma de projeto, cujo principal objetivo consiste em projetar sistemas digitais que satisfaçam às restrições de projeto através da utilização de componentes de prateleira (common-off-the-shelf COTS) e componentes de aplicação específica. Esta heterogeneidade dos componentes implica que em tais sistemas hardware e software devem ser desenvolvidos de forma integrada e eficiente. Este projeto consiste no desenvolvimento de componentes de comunicação e processadores seguindo a tendência acima. No projeto fui responsável pela a implementação de uma descrição funcional do microcontrolador 8051 em SystemC. Posteriormente colaborei com outro integrante do projeto, Diogo José Costa Alves, na integração do modelo com componentes de comunicação.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Tiago Sampaio Lins - Integrante / Diogo José da Costa Alves - Integrante / Edna Natividade da Silva Barros - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 3

Projetos de desenvolvimento

• 2008 - 2008

  Spirit Assisted Verification Environment - SAVE, Descrição: Desenvolvimento de um fluxo de verificação funcional para System-on-Chip. O SAVE é baseado em um típico fluxo de verificaçâo funcional e utiliza o IP-XACT como ferramenta para automatizar atividades durante esse processo. Neste projeto fui responsável pelo desenvolvimento de uma ferramenta capaz de interpretar a descrição IP-XACT de um SoC e realizar a geração automática de uma camada de abstração de hardware, a qual auxiliará o engeiro de verificação na escrita de casos de test.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) / Mestrado profissional: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Ralph Smeets - Coordenador.

• 2006 - 2006

  Desenvolvimento de um IP-core USB OTG, Descrição: Desenvolvimento de um módulo de propriedade intelectual (IP-core) de um universal serial bus on-the-go. Fui responsável pela gestão da equipe, do cronograma e das atividades de especificação, análise, projeto e implementação do IP-core.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Tiago Sampaio Lins - Integrante / Edna Natividade da Silva Barros - Coordenador / Antonyus Pyetro - Integrante / Adelmári Douglas - Integrante / Hudson Ummem - Integrante / Renata Bezerra - Integrante / Luciano Silva - Integrante / Marcelo Lucena - Integrante / Renata Garcia - Integrante., Financiador(es): Ministerio de Ciência e Tecnologia - Auxílio financeiro.

• 2005 - 2006

  Smart Trail - Pista Inteligente, Descrição: Desenvolvimento de um sistema embarcado a ser utilizado na pista de teste dos carros da fabricante de veículos automotivos. Colaborei na definição do projeto do sistema de software e de hardware, bem como do desenvolvimento do sistema completo.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Henrique Foresti - Integrante / Fernando Carvalho - Integrante / Daniel Thiago Pereira - Integrante / Paulo Gustavo Urbano - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2008 - 2008

  Spirit Assisted Verification Environment - SAVE, Descrição: Desenvolvimento de um fluxo de verificação funcional para System-on-Chip. O SAVE é baseado em um típico fluxo de verificaçâo funcional e utiliza o IP-XACT como ferramenta para automatizar atividades durante esse processo. Neste projeto fui responsável pelo desenvolvimento de uma ferramenta capaz de interpretar a descrição IP-XACT de um SoC e realizar a geração automática de uma camada de abstração de hardware, a qual auxiliará o engeiro de verificação na escrita de casos de test.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) / Mestrado profissional: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Ralph Smeets - Coordenador.

• 2006 - 2006

  Desenvolvimento de um IP-core USB OTG, Descrição: Desenvolvimento de um módulo de propriedade intelectual (IP-core) de um universal serial bus on-the-go. Fui responsável pela gestão da equipe, do cronograma e das atividades de especificação, análise, projeto e implementação do IP-core.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Tiago Sampaio Lins - Integrante / Edna Natividade da Silva Barros - Coordenador / Antonyus Pyetro - Integrante / Adelmári Douglas - Integrante / Hudson Ummem - Integrante / Renata Bezerra - Integrante / Luciano Silva - Integrante / Marcelo Lucena - Integrante / Renata Garcia - Integrante., Financiador(es): Ministerio de Ciência e Tecnologia - Auxílio financeiro.

• 2005 - 2006

  Smart Trail - Pista Inteligente, Descrição: Desenvolvimento de um sistema embarcado a ser utilizado na pista de teste dos carros da fabricante de veículos automotivos. Colaborei na definição do projeto do sistema de software e de hardware, bem como do desenvolvimento do sistema completo.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Henrique Foresti - Integrante / Fernando Carvalho - Integrante / Daniel Thiago Pereira - Integrante / Paulo Gustavo Urbano - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2008 - 2008

  Spirit Assisted Verification Environment - SAVE, Descrição: Desenvolvimento de um fluxo de verificação funcional para System-on-Chip. O SAVE é baseado em um típico fluxo de verificaçâo funcional e utiliza o IP-XACT como ferramenta para automatizar atividades durante esse processo. Neste projeto fui responsável pelo desenvolvimento de uma ferramenta capaz de interpretar a descrição IP-XACT de um SoC e realizar a geração automática de uma camada de abstração de hardware, a qual auxiliará o engeiro de verificação na escrita de casos de test.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) / Mestrado profissional: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Ralph Smeets - Coordenador.

• 2006 - 2006

  Desenvolvimento de um IP-core USB OTG, Descrição: Desenvolvimento de um módulo de propriedade intelectual (IP-core) de um universal serial bus on-the-go. Fui responsável pela gestão da equipe, do cronograma e das atividades de especificação, análise, projeto e implementação do IP-core.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Tiago Sampaio Lins - Integrante / Edna Natividade da Silva Barros - Coordenador / Antonyus Pyetro - Integrante / Adelmári Douglas - Integrante / Hudson Ummem - Integrante / Renata Bezerra - Integrante / Luciano Silva - Integrante / Marcelo Lucena - Integrante / Renata Garcia - Integrante., Financiador(es): Ministerio de Ciência e Tecnologia - Auxílio financeiro.

• 2005 - 2006

  Smart Trail - Pista Inteligente, Descrição: Desenvolvimento de um sistema embarcado a ser utilizado na pista de teste dos carros da fabricante de veículos automotivos. Colaborei na definição do projeto do sistema de software e de hardware, bem como do desenvolvimento do sistema completo.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Henrique Foresti - Integrante / Fernando Carvalho - Integrante / Daniel Thiago Pereira - Integrante / Paulo Gustavo Urbano - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2018 - Atual

  We Care.Fitness - Utilização de aprendizagem de máquina e Internet das Coisas na melhoria da saúde e do bem-estar, Descrição: A falta de atividades físicas regulares responde pela quarta principal causa de morte por doenças não-transmissíveis atualmente, o que representa 3 milhões de mortes ao ano. Nessa direção, um problema importante é a baixa taxa de aderência aos exercícios, dado que pesquisas apontam que mais de 60% das pessoas abandonam a academia até o terceiro mês, principalmente por dois fatores: 1. Falta de tempo e 2. Perda da motivação, causada por aspectos como falta de atenção dos professores, ausência de percepção de resultados, dores pós treinos, falta de higiene nos aparelhos e/ou equipamentos ou espaço físico desconfortável. O grande desafio do segmento de academias é atrair novos alunos e mantê-los clientes ativos por um longo período. Uma aposta dos participantes desse segmento é trazer tecnologia para dentro da academia. As tecnologias de IoT e Big Data como ferramenta de apoio ao bem-estar tem sido explorado nos últimos anos. Entretanto, as soluções encontradas não atendem de forma satisfatória ao público que frequenta as academias. A maioria das soluções tecnológicas disponíveis oferecem funcionalidades como gestão financeira, CRM, avaliação física e ficha de treinos, que auxiliam na gestão operacional da academia, mas falham na garantia do sucesso do cliente. Neste projeto de pesquisa a We Care.Fitness busca unir tecnologia e análise do comportamento humano com o objetivo de melhorar o acompanhamento dos usuários de academias gerando maior engajamento aos treinos. Para alcançar o objetivo, a equipe do projeto persegue quatro linhas de investigação i) uso de conceitos presentes na IoT para monitorar o usuário; ii) uso de técnicas de aprendizagem de máquina na análise do comportamento do usuário; iii) uso de elementos motivacionais e iv) canal de comunicação fácil e constante entre alunos, professores e gestores da academia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (5) . , Integrantes: Tiago Sampaio Lins - Integrante / Marcio Espíndola Freire Maia - Coordenador / Alexandre Igor Araripe Medeiros - Integrante / Windson Viana de Carvalho - Integrante / João Paulo Pordeus Gomes - Integrante / Valdemir Pereira de Queiroz Neto - Integrante.

• 2008 - 2008

  Spirit Assisted Verification Environment - SAVE, Descrição: Desenvolvimento de um fluxo de verificação funcional para System-on-Chip. O SAVE é baseado em um típico fluxo de verificaçâo funcional e utiliza o IP-XACT como ferramenta para automatizar atividades durante esse processo. Neste projeto fui responsável pelo desenvolvimento de uma ferramenta capaz de interpretar a descrição IP-XACT de um SoC e realizar a geração automática de uma camada de abstração de hardware, a qual auxiliará o engeiro de verificação na escrita de casos de test.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) / Mestrado profissional: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Ralph Smeets - Coordenador.

• 2006 - 2006

  Desenvolvimento de um IP-core USB OTG, Descrição: Desenvolvimento de um módulo de propriedade intelectual (IP-core) de um universal serial bus on-the-go. Fui responsável pela gestão da equipe, do cronograma e das atividades de especificação, análise, projeto e implementação do IP-core.. , Situação: Concluído; Natureza: Desenvolvimento.

• 2005 - 2006

  Smart Trail - Pista Inteligente, Descrição: Desenvolvimento de um sistema embarcado a ser utilizado na pista de teste dos carros da fabricante de veículos automotivos. Colaborei na definição do projeto do sistema de software e de hardware, bem como do desenvolvimento do sistema completo.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Henrique Foresti - Integrante / Fernando Carvalho - Integrante / Daniel Thiago Pereira - Integrante / Paulo Gustavo Urbano - Coordenador.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2018 - 2020

  We Care.Fitness - Utilização de aprendizagem de máquina e Internet das Coisas na melhoria da saúde e do bem-estar, Descrição: A falta de atividades físicas regulares responde pela quarta principal causa de morte por doenças não-transmissíveis atualmente, o que representa 3 milhões de mortes ao ano. Nessa direção, um problema importante é a baixa taxa de aderência aos exercícios, dado que pesquisas apontam que mais de 60 das pessoas abandonam a academia até o terceiro mês, principalmente por dois fatores: 1. Falta de tempo e 2. Perda da motivação, causada por aspectos como falta de atenção dos professores, ausência de percepção de resultados, dores pós treinos, falta de higiene nos aparelhos e/ou equipamentos ou espaço físico desconfortável.O grande desafio do segmento de academias é atrair novos alunos e mantê-los clientes ativos por um longo período. Uma aposta dos participantes desse segmento é trazer tecnologia para dentro da academia. As tecnologias de IoT e Big Data como ferramenta de apoio ao bem-estar tem sido explorado nos últimos anos. Entretanto, as soluções encontradas não atendem de forma satisfatória ao público que frequenta as academias. A maioria das soluções tecnológicas disponíveis oferecem funcionalidades como gestão financeira, CRM, avaliação física e ficha de treinos, que auxiliam na gestão operacional da academia, mas falham na garantia do sucesso do cliente.Neste projeto de pesquisa a We Care.Fitness busca unir tecnologia e análise do comportamento humano com o objetivo de melhorar o acompanhamento dos usuários de academias gerando maior engajamento aos treinos. Para alcançar o objetivo, a equipe do projeto persegue quatro linhas de investigação i) uso de conceitos presentes na IoT para monitorar o usuário; ii) uso de técnicas de aprendizagem de máquina na análise do comportamento do usuário; iii) uso de elementos motivacionais e iv) canal de comunicação fácil e constante entre alunos, professores e gestores da academia.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (5) . , Integrantes: Tiago Sampaio Lins - Integrante / Marcio Espíndola Freire Maia - Coordenador / Alexandre Igor Araripe Medeiros - Integrante / Windson Viana de Carvalho - Integrante / João Paulo Pordeus Gomes - Integrante / Valdemir Pereira de Queiroz Neto - Integrante.

• 2008 - 2008

  Spirit Assisted Verification Environment - SAVE, Descrição: Desenvolvimento de um fluxo de verificação funcional para System-on-Chip. O SAVE é baseado em um típico fluxo de verificaçâo funcional e utiliza o IP-XACT como ferramenta para automatizar atividades durante esse processo. Neste projeto fui responsável pelo desenvolvimento de uma ferramenta capaz de interpretar a descrição IP-XACT de um SoC e realizar a geração automática de uma camada de abstração de hardware, a qual auxiliará o engeiro de verificação na escrita de casos de test.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Especialização: (1) / Mestrado profissional: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Ralph Smeets - Coordenador.

• 2006 - 2006

  Desenvolvimento de um IP-core USB OTG, Descrição: Desenvolvimento de um módulo de propriedade intelectual (IP-core) de um universal serial bus on-the-go. Fui responsável pela gestão da equipe, do cronograma e das atividades de especificação, análise, projeto e implementação do IP-core.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Tiago Sampaio Lins - Integrante / Edna Natividade da Silva Barros - Coordenador / Antonyus Pyetro - Integrante / Adelmári Douglas - Integrante / Hudson Ummem - Integrante / Renata Bezerra - Integrante / Luciano Silva - Integrante / Marcelo Lucena - Integrante / Renata Garcia - Integrante., Financiador(es): Ministerio de Ciência e Tecnologia - Auxílio financeiro.

• 2005 - 2006

  Smart Trail - Pista Inteligente, Descrição: Desenvolvimento de um sistema embarcado a ser utilizado na pista de teste dos carros da fabricante de veículos automotivos. Colaborei na definição do projeto do sistema de software e de hardware, bem como do desenvolvimento do sistema completo.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Tiago Sampaio Lins - Integrante / Henrique Foresti - Integrante / Fernando Carvalho - Integrante / Daniel Thiago Pereira - Integrante / Paulo Gustavo Urbano - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.