Busca avançada
Ano de início
Entree

Instituto de Sistemas Embarcados Críticos (ISEC)

Processo: 08/57870-9
Linha de fomento:Auxílio à Pesquisa - Temático
Vigência: 01 de março de 2009 - 28 de fevereiro de 2014
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
Convênio/Acordo: CNPq - INCTs
Pesquisador responsável:Jose Carlos Maldonado
Beneficiário:Jose Carlos Maldonado
Instituição-sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
Auxílios(s) vinculado(s):13/12432-2 - 18th IEEE International Conference on emerging technologies and factory automation (ETFA'2013), AR.EXT
13/02325-4 - 13th International Conference on Computational Science (ICCS 2013), AR.EXT
09/14615-1 - Redes de sensores sem fio e redes ad hoc veiculares: algoritmos e protocolos, AV.EXT
Bolsa(s) vinculada(s):13/05750-8 - Teste estrutural de programas concorrentes como uma composição de serviços na web, BP.MS
13/16352-3 - Geração e análise dinâmica do espaço de estados de Redes de Petri com uso interativo do software CPN tools, BP.IC
12/14043-0 - Arquitetura de software para robôs, interfaces humano-robôs e a qualidade de vida das pessoas, BE.PQ
+ mais bolsas vinculadas 11/04416-1 - Desenvolvimento de um mecanismo plug-and-play para arranjos de sensores inteligentes em sistemas aéreos não tripulados, BP.MS
11/19051-9 - Aplicando o modelo de teste estrutural para programas concorrentes em Java, BP.IC
11/06022-0 - Uma contribuição ao projeto arquitetural de sistemas robóticos baseados na arquitetura orientada a serviço, BP.DR
11/06086-9 - Arquitetura orientada a serviços para sistemas embarcados críticos complexos - um estudo de caso focado em aviônicos, BP.DR
10/04001-3 - Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados, BP.MS
10/17005-7 - Visualização 3D em dispositivos móveis para simulações de treinamento, BP.IC
10/02839-0 - Teste de aplicações distribuídas: desafios usando o paradigma de passagem de mensagens, BE.PQ
09/17720-0 - Sistemas autônomos para comunicação em VANTs por meio de DTN, BP.DR
09/18430-6 - SIPAI: Sistema de Informação para provimento de acesso integrado, BP.PD
09/04959-5 - Projeto de sistema crítico para transmissão de vídeo em um link de comunicação para VANTs, BP.MS - menos bolsas vinculadas
Assunto(s):Sistemas embarcados  Softwares  Robótica 

Resumo

A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes. (AU)

Matéria(s) publicada(s) na Revista Pesquisa FAPESP sobre o auxílio::
O futuro sem motorista 
Carro sem motorista 

Publicações científicas (20)
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
OLIVEIRA, LUCAS BUENO RUAS; LEROUX, ELENA; FELIZARDO, KATIA ROMERO; OQUENDO, FLAVIO; NAKAGAWA, ELISA YUMI. ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems. COMPUTER JOURNAL, v. 60, n. 9, p. 1363-1381, SEP 2017. Citações Web of Science: 1.
RODRIGUES, DOUGLAS; PIRES, RAYNER DE MELO; MARCONATO, EMERSON ALBERTO; AREIAS, CRISTIANA; CUNHA, JOAO CARLOS; CASTELO BRANCO, KALINKA R. L. J.; VIEIRA, MARCO. Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles. IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, v. 9, n. 1, p. 97-109, SPR 2017. Citações Web of Science: 4.
SILVA, NATASSYA B. F.; PIGATTO, DANIEL F.; MARTINS, PAULO S.; BRANCO, KALINKA R. L. J. C. Case studies of performance evaluation of cryptographic algorithms for an embedded system and a general purpose computer. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, v. 60, p. 130-143, JAN 2016. Citações Web of Science: 6.
FAICAL, BRUNO S.; COSTA, FAUSTO G.; PESSIN, GUSTAVO; UEYAMA, JO; FREITAS, HEITOR; COLOMBO, ALEXANDRE; FINI, PEDRO H.; VILLAS, LEANDRO; OSORIO, FERNANDO S.; VARGAS, PATRICIA A.; BRAUN, TORSTEN. The use of unmanned aerial vehicles and wireless sensor networks for spraying pesticides. JOURNAL OF SYSTEMS ARCHITECTURE, v. 60, n. 4, p. 393-404, APR 2014. Citações Web of Science: 27.
FERNANDES, LEANDRO C.; SOUZA, JEFFERSON R.; PESSIN, GUSTAVO; SHINZATO, PATRICK Y.; SALES, DANIEL; MENDES, CAIO; PRADO, MARCOS; KLASER, RAFAEL; MAGALHAES, ANDRE CHAVES; HATA, ALBERTO; PIGATTO, DANIEL; BRANCO, KALINKA CASTELO; GRASSI, JR., VALDIR; OSORIO, FERNANDO S.; WOLF, DENIS F. CaRINA Intelligent Robotic Car: Architectural design and applications. JOURNAL OF SYSTEMS ARCHITECTURE, v. 60, n. 4, p. 372-392, APR 2014. Citações Web of Science: 33.
SALES, DANIEL O.; CORREA, DIOGO O.; FERNANDES, LEANDRO C.; WOLF, DENIS F.; OSORIO, FERNANDO S. Adaptive finite state machine based visual autonomous navigation system. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, v. 29, p. 152-162, MAR 2014. Citações Web of Science: 9.
FILHO, GERALDO P. R.; UEYAMA, JO; VILLAS, LEANDRO A.; PINTO, ALEX R.; GONCALVES, VINICIUS P.; PESSIN, GUSTAVO; PAZZI, RICHARD W.; BRAUN, TORSTEN. NodePM: A Remote Monitoring Alert System for Energy Consumption Using Probabilistic Techniques. SENSORS, v. 14, n. 1, p. 848-867, JAN 2014. Citações Web of Science: 12.
PINTO, A. R.; MONTEZ, C.; ARAUJO, G.; VASQUES, F.; PORTUGAL, P. An approach to implement data fusion techniques in wireless sensor networks using genetic machine learning algorithms. Information Fusion, v. 15, n. SI, p. 90-101, JAN 2014. Citações Web of Science: 31.
SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.; ZALUSKA, ED. Structural testing for message-passing concurrent programs: an extended test model. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 26, n. 1, p. 21-50, JAN 2014. Citações Web of Science: 5.
VILLAS, LEANDRO A.; BOUKERCHE, AZZEDINE; DE OLIVEIRA, HORACIO A. B. F.; DE ARAUJO, REGINA B.; LOUREIRO, ANTONIO A. F. A spatial correlation aware algorithm to perform efficient data collection in wireless sensor networks. Ad Hoc Networks, v. 12, n. SI, p. 69-85, JAN 2014. Citações Web of Science: 2.
PINTO FERRAZ FABBRI, SANDRA CAMARGO; FELIZARDO, KATIA ROMERO; FERRARI, FABIANO CUTIGI; MONTORO HERNANDES, ELIS CRISTINA; OCTAVIANO, FABIO ROBERTO; NAKAGAWA, ELISA YUMI; MALDONADO, JOSE CARLOS. Externalising tacit knowledge of the systematic review process. IET Software, v. 7, n. 6, SI, p. 298-307, DEC 2013. Citações Web of Science: 4.
PESSIN, GUSTAVO; OSORIO, FERNANDO S.; SOUZA, JEFFERSON R.; UEYAMA, JO; COSTA, FAUSTO G.; WOLF, DENIS F.; DIMITROVA, DESISLAVA; BRAUN, TORSTEN; VARGAS, PATRICIA A. INVESTIGATION ON THE EVOLUTION OF AN INDOOR ROBOTIC LOCALIZATION SYSTEM BASED ON WIRELESS NETWORKS. APPLIED ARTIFICIAL INTELLIGENCE, v. 27, n. 8, p. 743-758, SEP 14 2013. Citações Web of Science: 6.
SOUZA, PAULO S. L.; SANTANA, REGINA H. C.; SANTANA, MARCOS J.; ZALUSKA, ED; FAICAL, BRUNO S.; ESTRELLA, JULIO C. Load Index Metrics for an Optimized Management of Web Services: A Systematic Evaluation. PLoS One, v. 8, n. 7 JUL 16 2013. Citações Web of Science: 1.
VILLAS, LEANDRO A.; BOUKERCHE, AZZEDINE; GUIDONI, DANIEL L.; DE OLIVEIRA, HORACIO A. B. F.; DE ARAUJO, REGINA BORGES; LOUREIRO, ANTONIO A. F. An energy-aware spatio-temporal correlation mechanism to perform efficient data collection in wireless sensor networks. COMPUTER COMMUNICATIONS, v. 36, n. 9, p. 1054-1066, MAY 15 2013. Citações Web of Science: 28.
CHAIM, MARCOS LORDELLO; ANDRIOLI DE ARAUJO, ROBERTO PAULO. An efficient bitwise algorithm for intra-procedural data-flow testing coverage. INFORMATION PROCESSING LETTERS, v. 113, n. 8, p. 293-300, APR 30 2013. Citações Web of Science: 5.
VILLAS, LEANDRO APARECIDO; BOUKERCHE, AZZEDINE; RAMOS, HEITOR SOARES; FERNANDES DE OLIVEIRA, HORACIO A. B.; DE ARAUJO, REGINA BORGES; FERREIRA LOUREIRO, ANTONIO ALFREDO. DRINA: A Lightweight and Reliable Routing Approach for In-Network Aggregation in Wireless Sensor Networks. IEEE TRANSACTIONS ON COMPUTERS, v. 62, n. 4, p. 676-689, APR 2013. Citações Web of Science: 6.
BEDER, DELANO MEDEIROS; UEYAMA, JO; DE ALBUQUERQUE, JOAO PORTO; CHAIM, MARCOS LORDELLO. FlexFT: A Generic Framework for Developing Fault-Tolerant Applications in the Sensor Web. International Journal of Distributed Sensor Networks, 2013. Citações Web of Science: 4.
AGUIAR, ALEXANDRA; HESSEL, FABIANO. Current techniques and future trends in embedded system's virtualization. SOFTWARE-PRACTICE & EXPERIENCE, v. 42, n. 7, SI, p. 917-944, JUL 2012. Citações Web of Science: 2.
MENOTTI, RICARDO; CARDOSO, JOAO M. P.; FERNANDES, MARCIO M.; MARQUES, EDUARDO. LALP: A Language to Program Custom FPGA-Based Acceleration Engines. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, v. 40, n. 3, SI, p. 262-289, JUN 2012. Citações Web of Science: 6.
SHINZATO, PATRICK YURI; WOLF, DENIS FERNANDO. A Road Following Approach Using Artificial Neural Networks Combinations. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, v. 62, n. 3-4, p. 527-546, JUN 2011. Citações Web of Science: 13.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.