Critical Embedded Systems Institute

• Grant number: 08/57870-9
• Support type: Research Projects - Thematic Grants
• Duration: March 01, 2009 - February 28, 2014
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Cooperation agreement: CNPq - INCTs
• Principal researcher: Jose Carlos Maldonado
• Grantee: Jose Carlos Maldonado
• Home Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil
• Associated grant(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 - Wireless sensor and vehicular ad hoc networks: algorithms and protocols, AV.EXT
• Associated scholarship(s): 13/05750-8 - Structural Testing of Concurrent Programs as a Web Service Composition, BP.MS; 13/16352-3 - Dynamic generation and analysis of the state space of Petri nets using interactive CPN tools software, BP.IC; 12/14043-0 - Robotic software architecture, human-robot interfaces and people's quality of life, BE.PQ; + associated scholarships 11/04416-1 - Development of a plug-and-play engine to smart sensors arrays in Unmanned Aerial Systems, BP.MS; 11/19051-9 - Applying Structural Testing Model for Concurrent Programs in Java, BP.IC; 11/06022-0 - A contribution to the architectural design of robotic systems based on service-oriented architecture, BP.DR; 11/06086-9 - Service Oriented Architecture for Safety-Critical Complex Embedded Systems - A Case Study Focused in Avionics, BP.DR; 10/04001-3 - Subsidies for the Application of State Machine Based Test Case Generation Methods, BP.MS; 10/17005-7 - 3D Visualization of Training Simulation for mobile devices, BP.IC; 10/02839-0 - Distributed applications testing: challenges in message passing paradigm, BE.PQ; 09/17720-0 - Autonomous systems for communication in UAVs using DTN., BP.DR; 09/18430-6 - Information System for Integrated Access Provisioning, BP.PD; 09/04959-5 - Critical System Project to Transmit Video on Unmanned Aerial Vehicle Link, BP.MS - associated scholarships

Abstract

The creation of a Critical Embedded Systems Institute is proposed in this project. The general objective of this institute is to raise the knowledge, competence and quality of this country in the development of this type of system. We consider that this is a very important technology to support the development of strategic areas for Brazil, such as environment, security and defense, and agriculture. This project is comprehensive and encompasses research groups of nine Brazilian universities and seven companies. The main specific goals are the development of research for the construction of critical embedded systems, emphasizing mobile autonomic vehicles, and the construction of at least two prototypes of this type of vehicle: one aerial and one terrestrial. The aim is that they are transferred to the associated companies and that they will take care of their fabrication and commercialization. Other relevant goals are the production of a methodology that documents all the knowledge generated in the project and that this document is used for training personnel in this area; production of master and Ph.D. graduates; and publication of scientific and technological papers in conferences and journals of the area, as well as patents. (AU)

Scientific publications

(20)

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 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. Web of Science Citations: 13.