Page 177

Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC) Comitê gestor José Carlos Maldonado (Coordenador) Paulo Cesar Masiero (Vice-coordenador) Itana Maria de Souza Gimenes Paulo Cruvinel Márcio Merino Fernandes Raimundo da Silva Barreto João Batista Camargo Jr Avelino Francisco Zorzo João Roberto Moreira Neto Principais pesquisadores Edson dos Santos Moreira, Onofre Trindade Junior, Denis Fernando Wolf, Fernando Santos Osório, Fabiano Hessel, Regina Borges de Araújo, Ney Calazans, Soraia Raupp Musse, Adriano Mauro Cansian, Ellen Francine Barbosa, Kalinka Castelo Branco, Cesar Marcondes Cavaleiro Principais linhas de pesquisa • Metodologias de desenvolvimento de software para Sistemas Embarcados Críticos • Engenharia baseada em modelos • Certificação de sistemas embarcados críticos • Sistemas de comunicação móveis e seguros • Redes de sensores • Sistemas de controle, navegação e atuação para Veículos Autônomos • Técnicas de percepção, estimação e integração de informação sensorial • Sistemas inteligentes para controle e gerenciamento de veículos autônomos • Sistemas tolerantes a falhas

176

Resumo dos resultados e perspectivas A proposta de criação do INCT-SEC foi baseada em atividades já existentes nas quatro grandes áreas descritas acima. Durante o primeiro ano de vida do Instituto, muitas atividades foram realizadas para melhoria de metodologias e técnicas adotadas, bem como para a construção de novas versões dos dispositivos já existentes (robôs táticos, veículos terrestres e aéreos autônomos), com especificações mais rígidas. O principal foco das mudanças metodológicas foi no desenvolvimento de sistemas e subsistemas que pudessem ser formalmente avaliados e certificados. Uma significativa quantidade de esforço foi colocada na consolidação da infra-estrutura da rede de quase 200 pesquisadores espalhados por todo o Brasil. Também vale notar a criação de dois centros: 1 - Centro de Ensino e Treinamento em Sistemas Embarcados Críticos, que tem como principal objetivo viabilizar o desenvolvimento, evolução e divulgação de material didático e de treinamento nas áreas de pesquisa do instituto, de modo a propiciar a formação de pessoal qualificado, tanto em ambiente acadêmico quanto empresarial; 2 – Centro de Linha de Produtos para Sistemas Embarcados Críticos, que tem o objetivo de apoiar a cooperação entre os grupos de engenharia de software e de sistemas embarcados, junta-

mente com as indústrias parceiras, nos domínios de VANT e VTNT, para desenvolver o projeto desses veículos como uma linha de produtos. Para o futuro próximo, além de continuar as pesquisas previstas, pretendemos melhorar e aumentar a colaboração com o setor industrial, com definição de modelos compartilhados de criação e exploração de produtos, técnicas e serviços. Principais publicações AMARAL, L. ; HESSEL, F. ; BEZERRA, E. ; CORREA, J. ; LONGHI, O. ; DIAS, T. . eCloudsRFID - A Mobile Software Framework Architecture for Pervasive RFID-Based Applications. Journal of Network and Computer Applications, v. 1, p. 1-10, 2010. AGUIAR, A. ; JOHAN FILHO, Sergio ; MAGALHAES, F. ; CASAGRANDE, T. ; HESSEL, F. . Hellfire: A design framework for critical embedded systems’ applications. In: IEEE International Symposium on Quality Electronic Design, 2010, San Jose. ISQED - Proceedings of the 11th IEEE International Symposium on Quality Electronic Design. Los Alamitos : IEEE, 2010. v. 1. p. 730-737. HATA, A. Y. ; Wolf, D. F. ; PESSIN, G. ; OSORIO, F. S. . Terrain Mapping and Classification in Outdoor Environments Using Neural Networks. International Journal of Advanced Science and Technology, v. 2, p. 51-61, 2009. MAR, C. A. A. ; BARRETO, R. S. ; OLIVEIRA JUNIOR, M. N. ; MORENO, E. D. . PESTI: A Probabilistic Tool for Energy Consumption and Execution-Time Estimation for ANSI C Embedded Systems. In: IEEE International Conference on Industrial Technology, 2009, Churchill. ICIT’2009, 2009. FIGUEIREDO, C. M. S. ; NAKAMURA, E. F. ; RIBAS, A. ; SOUZA, T. R. ; BARRETO, R. S. . Assessing the Communication Performance of Wireless Sensor Networks in Rainforests. In: 2o. IFIP Wireless Days 2009, 2009, Paris, França. IFIP Wireless Days 2009, 2009. v. 1. p. 1-6. VISAMRI, L. F. ; CAMARGO JÚNIOR, J. B. . Quantitative Safety Assessment of CNS/ATM based Air Traffic Control System. Journal of the Brazilian Air Transportation Research Society, v. 5, p. 9-22, 2009. Contatos Instituto de Ciências Matemáticas e de Computação - ICMC-USP Avenida Trabalhador São-carlense, 400 - Centro caixa postal 668 - CEP: 13560-970. São Carlos - SP Fone: (16) 3373 9669 e-mail coordinctsec@icmc.usp.br http://www.inct-sec.org

livroinct2010  

Carlos Alberto Aragão de Carvalho Filho Presidente do CNPq 1

livroinct2010  

Carlos Alberto Aragão de Carvalho Filho Presidente do CNPq 1

Advertisement