Luciano Porto Barreto

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• BARRETO, Luciano Porto ; ANDRADE, Aline ; Duran, Adolfo ; Lima, Caique ; Lima, Ademilson . Abstract specification and formalization of an operating system kernel in Z. Operating Systems Review , v. 45, p. 156-160, 2011.

• Raniere Viana Sousa ; Barreto, Luciano ; ANDRADE, Aline ; Débora Abdalla Santos . Ensinando e aprendendo conceitos sobre ciência da computação sem o uso do computador: Computação Unplugged !!!. Práticas em Informática na Educação , v. 1, p. 1-21, 2011.

• Jaguaraci Batista Silva ; BARRETO, Luciano Porto . Uma Nova Abordagem para Validação de Regras de Negócio Através de Transformação e Composição de Modelos MDA. iSys: Revista Brasileira de Sistemas de Informação , v. 2, p. 1-16, 2009.

• Regnier, Paul ; LIMA, George ; BARRETO, Luciano Porto . Evaluation of Interrupt Handling Timeliness in Real-Time Linux. Operating Systems Review , v. 42, p. 52-63, 2008.

• GULWANI, Sumit ; TARACHANDANI, A ; GUPTA, D ; SANGHI, D ; BARRETO, Luciano Porto ; MULLER, Gilles ; CONSEL, Charles . WebCal: A Domain-specific Language for Web Caching. Computer Communications , The Nederlands, v. 24, n.2, p. 191-201, 2000.

• LIMA, Maria de Fatima Webber Do Prado ; BARRETO, Luciano Porto ; SMIDERLE, Ieda . Tecnologias de Transmissão para Aplicações de Multimídia em Redes de Computadores. Revista do Ccet, Caxias do Sul, v. 1, p. 43-54, 1998.

• BARRETO, Luciano Porto ; André de Moura Santos (Org.) ; Rossana Maria de Castro Andrade (Org.) . Livro-texto de minicursos do SBSeg 2010. 1. ed. Porto Alegre: Sociedade Brasileira de Computação, 2010. v. 1. 284p .

• BARRETO, Luciano Porto ; MACÊDO, Raimundo ; LIMA, George ; ANDRADE, Aline ; SÁ, Alírio ; BARBOZA, Frederico ; ALBUQUERQUE, Rodrigo ; ANDRADE, Sandro . Tratando a previsibilidade em sistemas de tempo-real distribuídos: Especificação. Linguagens, Middleware e Mecanismos Básicos. In: Edmundo Roberto Mauro Madeira. (Org.). Minicursos: Livro-texto do 22o. Simpósio Brasileiro de Redes de Computadores, SBRC'2004. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2004, v. , p. 105-163.

• Luciano Porto Barreto . Does Pump and Dump schemes affect Cryptomarkets ? Evidence from Cryptoexchanges (aceito para publicação). In: IFC 2018 - XVIII International Finance Conference, 2018, Porto Alegre. IFC 2018 - XVIII International Finance Conference, 2018.

• Sérgio Ricardo Xavier da Silva ; BARRETO, Luciano Porto ; Francisco Henriques de Lemos . Protótipo de um Robô Móvel de Baixo Custo para Uso Interdisciplinar em cursos superiores de Engenharia Mecânica e Mecatrônica. In: VII Congresso Nacional de Engenharia Mecânica (CONEM), 2012, São Luís. VII Congresso Nacional de Engenharia Mecânica (CONEM), 2012.

• André Luís Monteiro Pacheco dos Santos ; Daniela Barreiro Claro ; BARRETO, Luciano Porto ; Maria de Fátima de Araújo Geraldes ; Geisa de Queiroz Almeida . Acompanhamento e Prescrição Assistida através de um Sistema de Controle de Anticoagulação. In: XII Escola Regional de Computação dos Estados da Bahia, Alagoas e Sergipe (XII ERBASE), 2012, Juazeiro. XII Escola Regional de Computação dos Estados da Bahia, Alagoas e Sergipe (XII ERBASE), 2012.

• MONTEIRO, A ; CLARO, D. B. ; BARRETO, Luciano Porto ; GERALDES, M. F. A. ; ALMEIDA, G. Q. . Acompanhamento e Prescrição Assistida através de um Sistema de Controle de Anticoagulação. In: Escola Regional de Informática Bahia, Sergipe e Alagoas, 2012, Juazeiro. Anais da XII ERBASE/WTICG (Workshop de Trabalhos de Iniciação Científica e Graduaçao), 2012.

• Sérgio Ricardo Xavier da Silva ; Barreto, Luciano . TESLA - Um robô móvel Interdisciplinar de Baixo Custo para uso Educacional em Cursos Superiores de Engenharia e Computação. In: VII Seminário Nacional de Controle e Automação Industrial, Elétrica e de Telecomunicações (SNCA), 2011, Salvador. VII Seminário Nacional de Controle e Automação Industrial, Elétrica e de Telecomunicações (SNCA), 2011.

• Sérgio Ricardo Xavier da Silva ; BARRETO, Luciano Porto . Análise Comparativa de Kits de Robótica Educativa. In: XXXIX COBENGE, 2011, Blumenau. XXXIX Congresso Brasileiro de Educação em Engenharia, 2011.

• Italo Valcy ; BARRETO, Luciano Porto ; Jerônimo Aguiar Bezerra . Tratamento Automatizado de Incidentes de Segurança da Informação em Redes de Campus. In: Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais (SBSEG), 2011, Brasília. XI Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais (SBSEG). Porto Alegre: SBC, 2011. v. 1. p. 29-43.

• Antônio Marcos Carianha ; BARRETO, Luciano Porto ; George Marconi Lima . Improving Location Privacy in Mix-Zones for VANETs. In: International Workshop on Hot Topics on Wireless Network Security and Privacy (HotWiSec 2011), 2011, Orlando. International Workshop on Hot Topics on Wireless Network Security and Privacy (HotWiSec 2011), 2011.

• Efraim Machado ; Karla Malta ; Igor Vasconcelos ; ANDRADE, Aline ; BARRETO, Luciano Porto . Trabalhando com alunos de ensino fundamental e médio para a descoberta de talentos em computação: um relato de experiências. In: Workshop de Inclusão Digital Bahia-Alagoas-Sergipe (WIND-BASE), 2010, Maceió. Workshop de Inclusão Digital Bahia-Alagoas-Sergipe (WIND-BASE), 2010.

• Efraim Machado ; Karla Malta ; Igor Vasconcelos ; ANDRADE, Aline ; BARRETO, Luciano Porto . Uma Experiência em Escolas de Ensino Médio e Fundamental para a Descoberta de Jovens Talentos em Computação. In: XVIII Workshop sobre Educação em Computação (WEI), 2010, Belo Horizonte. XVIII Workshop sobre Educação em Computação (WEI), 2010.

• BARRETO, Luciano Porto ; ANDRADE, Aline ; Adolfo Duran ; Caique Santos Lemos Lima ; Ademilson Santos . Especificação Abstrata do Núcleo de um Sistema Operacional e sua formalização na linguagem Z. In: VII Workshop de Sistemas Operacionais (WSO), 2010, Belo Horizonte. VII Workshop de Sistemas Operacionais (WSO), 2010.

• Humberto Galiza Freitas ; Jerônimo Aguiar Bezerra ; BARRETO, Luciano Porto ; Luiz Cláudio Mendonça ; Claudete Alves . LISP as a solution for Internet scalability. In: I Workshop de Pesquisa Experimental na Internet do Futuro (I WPEIF), 2010, Belo Horizonte. 28º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2010), 2010.

• Ítalo C. Silva ; Romulo Silva de Oliveira ; BARRETO, Luciano Porto . Método para Diminuir o Tempo de Interferência de Tarefas de Tempo Real. In: XII Workshop de Tempo Real e Sistemas Embarcados (WTR) - Sessão WIP, 2010, Gramado-RS. Proceedings of WTR 2010, 2010.

• BARRETO, Luciano Porto ; Daniel Coelho Cunha ; Leandro Nunes dos Santos . Bee-a-peer: Uma ferramena para localização e monitoramento de material de abuso sexual infantil na rede Gnutella. In: The Fifth International Conference on Forensic Computer Science (ICoFCS), 2010, Brasília. The Fifth International Conference on Forensic Computer Science (ICoFCS), 2010.

• Sérgio Ricardo Xavier da Silva ; BARRETO, Luciano Porto . Protótipo de um Robô móvel Interdisciplinar de baixo custo para uso em educacional em cursos superiores de Engenharia e Computação. In: XXXVIII Congresso Brasileiro de Educação em Engenharia (COBENGE 2010), 2010, Natal. XXXVIII Congresso Brasileiro de Educação em Engenharia (COBENGE 2010), 2010.

• BARRETO, Luciano Porto . Desenvolvendo a Competência Profissional e Atuação Colaborativa através da Administração de Redes com Software Livre: O exemplo do GRACO - DCC/UFBA. In: VII Workshop de Educação e Informática Bahia-Alagoas-Sergipe (VII WEIBASE), 2009, Ilhéus. VII Workshop de Educação e Informática Bahia-Alagoas-Sergipe (VII WEIBASE), 2009.

• CARNEIRO, I. S. C. ; Alírio Santos de Sá ; BARRETO, Luciano Porto . Aplicação e Análise de Teoria de Controle Realimentado no Tratamento de Faltas de Páginas em Sistemas de Gerenciamento de Memória. In: VI Workshop de Sistemas Operacionais (WSO'2009), 2009, Bento Gonçalves. VI Workshop de Sistemas Operacionais (WSO'2009), 2009.

• Neima Santos ; MACÊDO, Raimundo ; BARRETO, Luciano Porto . Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas. In: IX Workshop de Testes e Tolerância a Falhas, 2008, Rio de Janeiro. Anais, 2008.

• Regnier, Paul ; LIMA, George ; BARRETO, Luciano Porto . Avaliação do determinismo temporal no tratamento de interrupções em plataformas de tempo real Linux. In: V Workshop de Sistemas Operacionais (WSO 2008), 2008, Belém. Anais, 2008.

• Jaguaraci Batista Silva ; BARRETO, Luciano Porto . Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos. In: Anais, 2008, Porto Alegre. II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), 2008.

• Luiz Matos ; BARRETO, Luciano Porto . Interoperabilidade de Unidades de Aprendizagem do IMS Learning Design em Ambientes Virtuais de Aprendizagem. In: XIX Simpósio Brasileiro de Informática na Educação (SBIE), 2008, Fortaleza. Anais, 2008.

• Ana Carolina Sokolonski ; LIMA, George ; BARRETO, Luciano Porto . Suporte à Degradação Controlada em Sistemas de Tempo Real. In: VIII Workshop de Teste e Tolerância a Falhas (WTF 2007), 2007, Belém. Anais, 2007.

• Amadeu Barbosa ; GREVE, F. ; BARRETO, Luciano Porto . Avaliação de Desempenho de Sistemas de Arquivos Distribuídos num Ambiente de Pequena Escala. In: VI Workshop de Sistemas Operacionais (WSO'2007), 2007, Rio de Janeiro. Anais, 2007.

• BARRETO, Luciano Porto ; MORAES, Felipe ; ANDRADE, Aline . TAL: Um Framework para Tradução Automática de Linguagens através de Padrões de Projeto. In: IV Workshop de Trabalhos de Iniciação Científica (WTICG-BASE), 2006, Aracaju. Anais, 2006.

• BARRETO, Luciano Porto . Engenharia de Domínio aplicada ao Desenvolvimento Robusto e Eficiente de Sistemas Operacionais. In: Simpósio Brasileiro de Engenharia de Software, 2005, Uberlândia. Anais, 2005.

• RIBEIRO, Alexandre ; BARRETO, Luciano Porto ; II, José Lima . Remote Supervision of a Didactic Integrated Manufacturing Plant. In: 18th International Congress of Mechanical Engineering (COBEM), 2005, Uberlândia. Proceedings, 2005.

• BARRETO, Luciano Porto . Uma Arquitetura Baseada em Eventos para Desenvolvimento de Políticas de Escalonamento de Processos. In: Workshop de Sistemas Operacionais, 2004, Salvador. Anais do XXIV Congresso da SBC - CD, 2004. v. I.

• BARRETO, Luciano Porto . Atendendo aos requisitos de QoS de aplicações multimídia através da especialização de serviços do sistema operacional. In: IX Simpósio Brasileiro de Sistemas Multimídia e Web (WEBMÍDIA), 2003, Salvador. Anais, 2003.

• LAWALL, Julia ; BARRETO, Luciano Porto ; MULLER, Gilles . Capturing OS expertise in a Modular Type System: the Bossa experience.. In: 10th ACM SIGOPS European Workshop, 2002, Saint Emillion. Proceedings. New York, NY: ACM, 2002. p. 54-61.

• BARRETO, Luciano Porto ; DOUENCE, Rémi ; MULLER, Gilles ; SUDHOLT, Mario . Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering. In: 1st Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD) - in conjunction with the 1st International Conference on Aspect Oriented Programming (AOP), 2002, Enschede. Proceedings, 2002. p. 1-6.

• BARRETO, Luciano Porto ; MULLER, Gilles . Bossa: une approche langage à la conception d'ordonnanceurs de processus. In: Journées des jeunes chercheurs en systèmes d'exploitation (ASF'2002), 2002, Hammamet. Journées des jeunes chercheurs en systèmes d'exploitation (ASF'2002), 2002. p. 20-26.

• BARRETO, Luciano Porto ; MULLER, Gilles . Bossa: a Language-based Approach for the Design of Real Time Schedulers. In: 10th International Conference on Real-Time and Embedded Systems, 2002, Paris. Proceedings, 2002. p. 19-31.

• MULLER, Gilles ; CONSEL, Charles ; MARLET, Renaud ; BARRETO, Luciano Porto ; MERILLON, Fabrice ; REVEILLERE, Laurent . Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages. In: 9th ACM SIGOPS European Workshop, 2000, Kolding. Proceedings. New York, NY: ACM, 2000. p. 19-24.

• BARRETO, Luciano Porto ; PORTO, Ingrid Jansch . The Design of FITOS-RPC: an OSI-Based Reliable Group Remote Procedure Call System. In: VII Simpósio de Computadores Tolerantes a Falhas (SCTF), 1997, Campina Grande. Anais, 1997. p. 295-303.

• BARRETO, Luciano Porto ; PORTO, Ingrid Jansch . Modelos de RPC Confiável. In: VI Semana de Informática da UFBA, 1996, Salvador. Anais, 1996. p. 175-190.

• BARRETO, Luciano Porto ; PORTO, Ingrid Jansch . The Design of a Reliable Group RPC Service Using OSI Standards. In: I Simpósio Regional de Tolerância a Falhas (SRTF), 1996, Porto Alegre. Anais, 1996.

• BARRETO, Luciano Porto ; PORTO, Ingrid Jansch . Open And Reliable Group Communication Processing: The Fitos-Rpc Approach. In: 6th IEEE EUROMICRO Workshop on Parallel and Distributed Processing, 1988, Madrid. Proceedings, 1988. p. 389-394.

• Jaguaraci Batista Silva ; BARRETO, Luciano Porto . Business Rules Separation and Reuse Using MDA, OWL and AspectJ. In: 20th International Symposium on Software Reliability Engineering (ISSRE), 2009, Mysuru. 20th International Symposium on Software Reliability Engineering (ISSRE), Fast Abstracts Track, 2009. v. Suppl..

• BARRETO, Luciano Porto ; PORTO, Ingrid Jansch . FITOS-RPC: an OSI-Based Reliable Group Remote Procedure Call Service. In: International Conference on Parallel and Distributed Processing Techniques and Applications, 1997, Las Vegas. International Conference on Parallel and Distributed Processing Techniques and Applications, 1997. v. 1. p. 167-171.

• Daniel Nunes ; BARRETO, Luciano Porto . Monitoramento de Crimes Virtuais no Second Life. In: 8th Brazilian Symposium on Information and Computer System Security (SBSEG), 2008, Gramado. Anais, 2008.

• Bruno Bastos Guimarâes ; BARRETO, Luciano Porto . Esteganografia em Páginas Web. In: 8th Brazilian Symposium on Information and Computer System Security (SBSEG), 2008, Gramado. Anais, 2008.

• Moizés Correia Santos Ferreira ; BARRETO, Luciano Porto . SOKO: Concepção e Construção de um Sistema Operacional. In: III Workshop de Sistemas Operacionais (WSO), 2006, Campo Grande. Anais, 2006.

• NEVES, Cicero M das ; BARRETO, Luciano Porto . Estudo, Desenvolvimento e Análise de Escalonadores de Processos para Sistemas de Tempo-Real. In: XXIV Seminário Estudantil de Pesquisa da UFBA, 2005, Salvador. Anais, 2005.

• BARRETO, Luciano Porto ; MULLER, Gilles . Bossa: A DSL framework for Application-specific Scheduling Policies. In: Workshop on Hot Topics in Operating Systems, 2001, Enschau. Proceedings of the Eighth Workshop on Hot Topics in Operating Systems. Washington, DC: IEEE Computer Society, 2001. p. 161-161.

• BARRETO, Luciano Porto ; PORTO, Ingrid Jansch . Evolution and Tendencies for Remote Procedure Call (RPC) Systems. In: Jornadas de Informatica e Investigacion Operativa, 1996, Montevideo. Actas des resumen, 1996. p. 16-17.

• Luciano Porto Barreto . Ataques, Fraudes e Riscos em Criptomoedas. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• Luciano Porto Barreto . Ataques, Fraudes e Riscos em Criptomoedas. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• Luciano Porto Barreto . Criptoativos: Tecnologia, Governança e Riscos. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• Luciano Porto Barreto . Painel sobre Blockchain. 2018. (Apresentação de Trabalho/Outra).

• Luciano Porto Barreto . Conceitos básicos sobre Criptomoedas. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• Luciano Porto Barreto . Fraudes, Crimes e Ataques Cibernéticos em Criptomoedas. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• Barreto, Luciano . Computação Unplugged: Aprendendo e ensinando computação sem usar o computador. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• Luciano Porto Barreto . COBIT 5 para Risco, 2018. (Tradução/Livro).

• Tim Bell ; Ian H. Witten ; MIke Fellows ; Barreto, Luciano . Computer Science Unplugged: Ensinando Ciência da Computação sem o uso do Computador. Salvador: xxx, 2011. (Tradução/Livro).

Outras produções

Projetos de pesquisa

• 2011 - 2012

  Busca, Coleta e Monitoramento de Material Com Abuso Sexual Infanto Juvenil na rede BITTORRENT, Situação: Desativado; Natureza: Pesquisa.

• 2009 - 2011

  Tecnologias Inovadoras em Tratamento de Incidentes de Segurança da Informação, Descrição: Incidentes de segurança às informações armazenadas e intercambiadas por meios computacionais constituem grave ameaça à credibilidade e funcionamento dos serviços prestados por instituições privadas e governamentais. Infestações de vírus, roubo de senhas, acesso e disseminação de conteúdo confidencial, ataques de degradação da velocidade da rede computacional e inundação de mensagens não solicitadas se destacam entre as principais ocorrências de incidentes. De fato, segundo pesquisas recentes, o Brasil ocupa a 1ª posição do ranking mundial em máquinas comprometidas utilizadas para práticas criminosas (zumbis) com 16% do total, a 2ª posição nos países produtores de mensagens não solicitadas (spam) e a 3ª posição em mensagens fraudulentas (phishing). Atualmente inexiste estatística consolidada no Estado da Bahia sobre o número, extensão e classificação dos incidentes ligados área de segurança da informação. Além disso, há uma demanda por ferramentas de gestão de incidentes apropriadas ao atendimento e classificação automatizada dessas ocorrências, o que dificulta a adequada tomada de decisões preventivas e corretivas por parte dos gestores de TI. Este projeto objetiva avançar o estado da arte na pesquisa e desenvolvimento de artefatos inovadores para gestão e tratamento de incidentes de segurança, bem como a produção de estatísticas referentes às instituições vinculadas ao Ponto de Presença (PoP) da Rede Nacional de Pesquisa (RNP) no Estado da Bahia.. , Situação: Em andamento; Natureza: Pesquisa.

• 2009 - 2010

  Modelagem e Verificação Formal do Gerenciamento de Processos em Sistemas Operacionais, Descrição: A verificação formal e segura do comportamento funcionamento de um Sistema Operacional (SO) é um desafio que perdura tanto no contexto industrial quanto na comunidade acadêmica. A complexidade inerente ao projeto e desenvolvimento de um SO, aliada aos sobrevalorizados requisitos de alto desempenho e curto time-to-market tornam essa missão ainda mais desafiadora. Este projeto se insere no contexto do grande desafio (grand challenge) em verificação de software proposto por C. A. R. Hoare [4]. Mais especificamente, neste contexto, pretendemos nos concentrar na formalização de famílias de sistemas operacionais que forneçam garantias sobre sua correção às aplicações. São poucos os trabalhos que versam sobre a construção de sistemas operacionais verificáveis e corretos [5,10]. O livro escrito por Iain Craig [6] propõe a formalização de um núcleo (kernel) simplificado de um sistema operacional com o intuito de garantir certas propriedades na concepção do sistema. Apesar da relevância desse trabalho, as especificações propostas são extensas e revelam aspectos menos genéricos (ie, muito especializados) acerca dos subsistemas do núcleo do SO em questão. Atualmente o grupo MEFES e LaSiD da UFBA, juntamente com a Universidade de York (Reino Unido), parceiros no desenvolvimento desse projeto, atuam na tarefa de verificação das especificações propostas nesse livro. Em sua tese de doutorado, o proponente desse projeto construiu o modelo e a implementação do framework Bossa [1] que permite o desenvolvimento de políticas de gestão dos processos de forma simplificada através de uma linguagem de programação dedicada. O desenvolvimento de Bossa, fruto de uma extensa análise domínio, resultou em um conjunto de abstrações e propriedades que descrevem as políticas de gestão de processos de forma simples e robusta [2,3]. Portanto, o estreito relacionamento entre o modelo derivado em Bossa e as especificações em Z do núcleo proposto por Iain Craig, foram os motivadores principais da. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Luciano Porto Barreto - Coordenador / Aline Andrade - Integrante., Número de produções C, T & A: 1 / Número de orientações: 1

• 2008 - 2011

  Inclusão Pré-Digital: Aplicação e Avaliação de uma Abordagem Lúdica de Introdução à Ciência da Computação em Escolas Públicas do Estado da Bahia, Descrição: Nosso entendimento e a base desse projeto têm por objetivo demonstrar a viabilidade de repassar os conceitos essenciais da área de computação para alunos do ensino fundamental, sem a necessidade da existência de computadores ou laboratórios de informática. Dessa forma, este projeto visa capacitar alunos e professores da rede estadual de ensino em formação básica de informática, mediante o desenvolvimento de atividades lúdicas e eficientes que promovam a absorção dos conceitos fundamentais da computação através de elementos didáticos que dispensem o computador. Um dos alicerces desse projeto será a tradução, adaptação de conteúdo e realizações de atividades propostas no livro Computer Science Unplugged [BEL 2007] dos professores Tim Bell, Ian Whitten, Matt Fellows da Universidade de Canterbury, Nova Zelândia. Os autores foram contactados pelo coordenador proponente desse projeto a respeito e informaram o seu apoio a feitura de versão em língua portuguesa e disponibilização de seu conteúdo de forma livre, acessível e de baixo custo para a comunidade. Por isso, a realização do presente projeto permitiria a disseminação desse conteúdo e atividades em âmbito nacional. Além disso, até o nosso conhecimento, desconhecemos relatos anteriores da aplicação das atividades pedagógicas propostas nesse livro em escolas brasileiras.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) . , Integrantes: Luciano Porto Barreto - Coordenador / Aline Andrade - Integrante / Débora Abdalla Santos - Integrante / Anna Friedericka Schwarzelmüller - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 4

• 2007 - 2010

  Especificando Formalmente um Sistema de Arquivos Verificável para o Padrão POSIX, Descrição: Este projeto (Edital Universal - CNPQ) visa a especificação formal de um sistema de arquivo verificável baseado em memórias flash. O desafio aqui é gerar: (i) a especificação formal do comportamento das funcionalidades oferecidas pelo sistema de arquivos; (ii) a lista de suposições inerentes ao hardware escolhido; (iii) e o conjunto invariantes, assertions, e propriedades relativas Às estruturas de dados e algoritmos utilizados na implementação do sistema de arquivos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) . , Integrantes: Luciano Porto Barreto - Integrante / Aline Andrade - Coordenador / Adolfo Duran - Integrante / Leo Freitas - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2 / Número de orientações: 1

• 2007 - 2009

  Gerenciamento de Memória Adaptativo em Sistemas Operacionais de Código Aberto, Descrição: O objetivo desse trabalho consiste no estudo e implementação de um mecanismo de memória adaptativo em um sistema operacional de código aberto (eg, Linux), através da adaptação do código fonte existente. Os mecanismos implementados serão avaliados a partir de simulação e através do uso de suites de benchmarks adequados ao gerenciamento de memória em aplicações reais (eg, banco de dados, aplicações de multimídia). O código fonte dos programas desenvolvidos estará disponível publicamente para uso através de licença específica. O principal aspecto inovador nesse projeto consiste em aplicar o conhecimento existente em teoria de controle (amplamente utilizado no contexto de Engenharia) em um problema computacional (gerenciamento de memória). Espera-se que tal interdisciplinariedade, demonstradamente bem sucedida em outras áreas da computação, seja igualmente promissora no contexto de gerenciamento de memória em sistemas operacionais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Luciano Porto Barreto - Coordenador., Número de produções C, T & A: 1 / Número de orientações: 1

• 2006 - 2010

  AST - Cooperação Acadêmica em Automação e Sistemas de Tempo Real, Descrição: O principal objetivo deste projeto é o fortalecimento das relações existentes entre dois programas de pós-graduação (da UFBA e UFSC), através do desenvolvimento conjunto de pesquisas e orientações de dissertações e teses, com vistas à consolidação do. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luciano Porto Barreto - Integrante / Raimundo Macêdo - Coordenador / Aline Andrade - Integrante / George Marconi Lima - Integrante / Flávio Morais de Assis Silva - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

• 2004 - 2007

  SEDRE - Sistemas Embarcados Distribuídos, Robustos e Eficientes, Descrição: O objetivo principal do projeto SEDRE é desenvolver uma infraestrutura para a concepção de sistemas embarcados eficientes e robustos. Nesse contexto, iremos avaliar os problemas fundamentais relativo ao desempenho, usabilidade e concepção de sistemas embarcados para, em seguida, propor soluções inovadoras. Esses problemas são em geral difíceis de serem resolvidos em função da dificuldade de implementação e da especificidade das soluções existentes. Dessa forma, o desenvolvimento de uma infraestrutura computacional que atenda aos requisitos de sistemas embarcados é essencial para facilitar e viabilizar a implementação de mecanismos mais adequados. A crescente disseminação de aplicações baseadas em sistemas embarcados, em especial nos últimos cinco anos, tem merecido atenção especial tanto por parte da indústria quanto da comunidade científica. Embora o mercado de dispositivos embarcados tenha se tornado extremamente promissor e rentável, o ônus do sucesso dessa vertente tecnológica se caracteriza por uma série de problemas que demandam soluções inovadoras. Podemos citar, por exemplo, os problemas de congestionamento e roteamento em redes formadas por dispositivos embarcados em larga escala, a constante preocupação com a otimização e economia de baterias em dispositivos com alto grau de mobilidade, ou ainda a utilização de aplicações cada vez mais complexas e com exigências computacionais específicas, tais como as aplicações de multimídia e de tempo real. A imprevisibilidade quanto à funcionalidade e aos requisitos computacionais das futuras aplicações nessa área requer, portanto, a contínua reavaliação das plataformas existentes e o desenvolvimento de novas soluções.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luciano Porto Barreto - Coordenador / Cicero M das Neves - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 4 / Número de orientações: 1

• 1997 - 1998

  MDX - Núcleo de um sistema operacional distribuído para aplicações de multimídia, Descrição: Desenvolvimento de um núcleo de sistema operacional voltado para aplicações de multimídia. Projeto em parceria com a PUC-RS, sob a coordenação do Prof. Celso Maciel da Costa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luciano Porto Barreto - Integrante / Maria de Fátima Webber do Prado Lima - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Outra., Número de produções C, T & A: 1 / Número de orientações: 2

Projetos de desenvolvimento

• 2009 - 2010

  Fácil e Livre:Customização de Distribuição de sistema operacional GNU/Linux e Plano de Fomento e Disseminação de seu uso, Descrição: Este é um projeto de P&D do CPD e DCC da UFBA em parceria com a empresa Fácil Computadores com o intuito de desenvolver uma solução de customização do sistema operacional GNU/Linux para uso em estações de trabalho, com base nas descrições estabelecidas pelo Anexo II da Portaria MCT N. 291, de 11 de Maio de 2007, do Programa do Governo Federal intitulado Computador para Todos , instituído pelo Decreto nº 5.542, de 20.09.2005. Para tornar trivial e amigável a utilização do sistema operacional serão inseridos todos os drivers de dispositivos disponíveis no mercado e suporte pré-instalado aos padrões de mídia de música, vídeo e documentos normalmente não disponíveis em distribuições GNU/Linux comuns no mercado. Espera-se como resultado o desenvolvimento de um produto adequado e especializado que atenda aos requisitos comerciais empresa e às acadêmicas e administrativas da Universidade Federal da Bahia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) . , Integrantes: Luciano Porto Barreto - Integrante / Claudete Alves - Coordenador / Isamar Maia - Integrante / Eduardo Henrique Lima - Integrante., Financiador(es): Fácil Computadores - Auxílio financeiro.Número de orientações: 1

• 2009 - 2010

  Fácil e Livre:Customização de Distribuição de sistema operacional GNU/Linux e Plano de Fomento e Disseminação de seu uso, Descrição: Este é um projeto de P&D do CPD e DCC da UFBA em parceria com a empresa Fácil Computadores com o intuito de desenvolver uma solução de customização do sistema operacional GNU/Linux para uso em estações de trabalho, com base nas descrições estabelecidas pelo Anexo II da Portaria MCT N. 291, de 11 de Maio de 2007, do Programa do Governo Federal intitulado Computador para Todos , instituído pelo Decreto nº 5.542, de 20.09.2005. Para tornar trivial e amigável a utilização do sistema operacional serão inseridos todos os drivers de dispositivos disponíveis no mercado e suporte pré-instalado aos padrões de mídia de música, vídeo e documentos normalmente não disponíveis em distribuições GNU/Linux comuns no mercado. Espera-se como resultado o desenvolvimento de um produto adequado e especializado que atenda aos requisitos comerciais empresa e às acadêmicas e administrativas da Universidade Federal da Bahia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) . , Integrantes: Luciano Porto Barreto - Integrante / Claudete Alves - Coordenador / Isamar Maia - Integrante / Eduardo Henrique Lima - Integrante., Financiador(es): Fácil Computadores - Auxílio financeiro.Número de orientações: 1

• 2009 - 2010

  Fácil e Livre:Customização de Distribuição de sistema operacional GNU/Linux e Plano de Fomento e Disseminação de seu uso, Descrição: Este é um projeto de P&D do CPD e DCC da UFBA em parceria com a empresa Fácil Computadores com o intuito de desenvolver uma solução de customização do sistema operacional GNU/Linux para uso em estações de trabalho, com base nas descrições estabelecidas pelo Anexo II da Portaria MCT N. 291, de 11 de Maio de 2007, do Programa do Governo Federal intitulado Computador para Todos , instituído pelo Decreto nº 5.542, de 20.09.2005. Para tornar trivial e amigável a utilização do sistema operacional serão inseridos todos os drivers de dispositivos disponíveis no mercado e suporte pré-instalado aos padrões de mídia de música, vídeo e documentos normalmente não disponíveis em distribuições GNU/Linux comuns no mercado. Espera-se como resultado o desenvolvimento de um produto adequado e especializado que atenda aos requisitos comerciais empresa e às acadêmicas e administrativas da Universidade Federal da Bahia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) . , Integrantes: Luciano Porto Barreto - Integrante / Claudete Alves - Coordenador / Isamar Maia - Integrante / Eduardo Henrique Lima - Integrante., Financiador(es): Fácil Computadores - Auxílio financeiro.Número de orientações: 1

• 2009 - 2010

  Fácil e Livre:Customização de Distribuição de sistema operacional GNU/Linux e Plano de Fomento e Disseminação de seu uso, Descrição: Este é um projeto de P&D do CPD e DCC da UFBA em parceria com a empresa Fácil Computadores com o intuito de desenvolver uma solução de customização do sistema operacional GNU/Linux para uso em estações de trabalho, com base nas descrições estabelecidas pelo Anexo II da Portaria MCT N. 291, de 11 de Maio de 2007, do Programa do Governo Federal intitulado ?Computador para Todos?, instituído pelo Decreto nº 5.542, de 20.09.2005. Para tornar trivial e amigável a utilização do sistema operacional serão inseridos todos os drivers de dispositivos disponíveis no mercado e suporte pré-instalado aos padrões de mídia de música, vídeo e documentos normalmente não disponíveis em distribuições GNU/Linux comuns no mercado. Espera-se como resultado o desenvolvimento de um produto adequado e especializado que atenda aos requisitos comerciais empresa e às acadêmicas e administrativas da Universidade Federal da Bahia.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) . , Integrantes: Luciano Porto Barreto - Integrante / Claudete Alves - Coordenador / Isamar Maia - Integrante / Eduardo Henrique Lima - Integrante.Financiador(es): Fácil Computadores - Auxílio financeiro.Número de orientações: 1

Prêmios