LEANDRO BUSS BECKER

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• Becker, Leandro Buss ; DE OLIVEIRA SILVESTRE, IAGO ; HÜBNER, JOMI FRED ; FISHER, MICHAEL . An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations. ROBOTICS AND AUTONOMOUS SYSTEMS , v. 1, p. 104917, 2025.

• BECKER, L.B. ; SILVESTRE, I. O. ; HUBNER, J. F. ; BRITO, M. ; FISHER, M. . Enhanced agent-oriented programming for robot teams. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , v. 158, p. 111390, 2025.

• CORREIA, CARLOS E. XAVIER ; Becker, Leandro Buss ; BASSO, Fabio Paulo . Infrastructure and tool support for MDE in the petrochemical industry automation. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. 31, p. 488-507, 2025.

• Buss Becker, Leandro ; DOWNS, ANTHONY ; SCHLENOFF, CRAIG ; ALBRECHT, JUSTIN ; KOOTBALLY, ZEID ; FERRANDO, ANGELO ; CARDOSO, RAFAEL ; FISHER, MICHAEL . Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (DORDRECHT. ONLINE) , v. 110, p. 112, 2024.

• GESSER, RODRIGO S. ; SARTORI, RAFAEL ; DAMO, THAISE P. ; VETTORAZZO, CAROLINA M. ; Becker, Leandro B. ; LIMA, DANIEL M. ; DE LIMA, MARCELO L. ; RIBEIRO, LEONARDO D. ; CAMPOS, MARIO C.M.M. ; NORMEY-RICO, JULIO E. . Advanced control applied to a gas compression system of an offshore platform: From modeling to related system infrastructure. JOURNAL OF PETROLEUM SCIENCE AND ENGINEERING , v. 208, p. 109428, 2022.

• SALES, DIEGO CAMARA ; Becker, Leandro Buss ; KOLIVER, CRISTIAN . The systems architecture ontology (SAO): an ontology-based design method for cyber-physical systems. Applied Computing and Informatics , v. ahead-of-print, p. 1, 2022.

• RIBEIRO, LAURA MICHAELLA B. ; MÜLLER, IVAN ; Becker, Leandro Buss . Performance Evaluation of Different ToS Using Heterogeneous Communication Interfaces in FANETs. Frontiers in Future Transportation , v. 2, p. 1, 2022.

• RIBEIRO, LAURA MICHAELLA B. ; MÜLLER, I. ; BECKER, L. B. . Communication Interface Manager for Improving Performance of Heterogeneous UAV Networks. SENSORS , v. 21, p. 4255, 2021.

• DAMO, THAISE POERSCHKE ; Becker, Leandro Buss ; BASSO, Fabio Paulo . Model-Driven Engineering Infrastructure and Tool Support for Petrochemical Industry Automation. Advances in Science, Technology and Engineering Systems Journal , v. 4, p. 174-187, 2019.

• BASSO, F. P. ; OLIVEIRA, Toacy Cavalcante ; WERNER, C. ; BECKER, LEANDRO . Building the Foundations for 'MDE as Service'. IET Software , p. 1-25, 2017.

• SAYYED, A. ; ARAÚJO, GUSTAVO MEDEIROS DE ; BECKER, L. B. . EGL: efficient geometry-based localisation in wireless sensor networks. International Journal of Sensor Networks , v. 25, p. 218-228, 2017.

• PASSARINI, ROSANE FÁTIMA ; FARINES, JEAN-MARIE ; FERNANDES, JOÃO M. ; Becker, Leandro Buss . Cyber-physical systems design: transition from functional to architectural models. Design Automation for Embedded Systems , v. 1, p. 1, 2015.

• Sayyed, Ali ; DE ARAÚJO, GUSTAVO ; BODANESE, JOÃO ; BECKER, LEANDRO . Dual-Stack Single-Radio Communication Architecture for UAV Acting As a Mobile Node to Collect Data in WSNs. Sensors (Basel) , v. 15, p. 23376-23401, 2015.

• WINTER, JEAN M. ; Muller, Ivan ; SOATTI, GLORIA ; SAVAZZI, STEFANO ; NICOLI, MONICA ; BECKER, L. B. ; NETTO, JOÃO C. ; PEREIRA, C. E . Wireless Coexistence and Spectrum Sensing in Industrial Internet of Things: An Experimental Study. International Journal of Distributed Sensor Networks , v. 2015, p. 1-12, 2015.

• DE SOUZA, RAMON HUGO ; SAVAZZI, STEFANO ; Becker, Leandro Buss . Network design and planning of wireless embedded systems for industrial automation. Design Automation for Embedded Systems , v. 1, p. 1-20, 2015.

• BASSO, FÁBIO PAULO ; PILLAT, RAQUEL MAINARDI ; OLIVEIRA, Toacy Cavalcante ; Becker, Leandro Buss . Supporting large scale model transformation reuse. SIGPLAN Notices (Cessou em 1991. Cont. ISSN 1523-2867 ACM SIGPLAN Notices) , v. 49, p. 169-178, 2014.

• BECKER, L. B. ; Baccour, Nouha ; Koubâa, Anis ; Ben Jamâa, Maissa ; do Rosário, Denis ; Youssef, Habib ; Alves, Mário . RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks. Ad Hoc Networks , v. 9, p. 1165-1185, 2011.

• Sobral, Marcelo M. ; Becker, Leandro B. . Evaluating the benefits and feasibility of coordinated medium access in MANETS. SIGBED Review , v. 8, p. 22-29, 2011.

• RAFFO, Guilherme Viana ; GOMES, G. K. ; RICO, Julio Elias Normey ; KELBER, Christian Roberto ; BECKER, L. B. . A Predictive Controller for Autonomous Vehicle Path Tracking. IEEE Transactions on Intelligent Transportation Systems , v. 10, p. 92-102, 2009.

• BECKER, L. B. ; NETT, E. ; SCHEMMER, Stefan ; GERGELEIT, Martin . Robust scheduling in team-robotics. The Journal of Systems and Software , v. 77, n.1, p. 3-16, 2005.

• BECKER, L. B. ; PEREIRA, C. E. . SIMOO-RT-an object-oriented framework for the development of real-time industrial automation systems. IEEE Transactions on Robotics and Automation (Cessou em 2004. Foi desdobrado em dois: ISSN 1545-5955 IEEE Transactions on Automation Science and Engin , v. 18, n.4, p. 421-430, 2002.

• DIAS, O. P. ; BECKER, L. B. ; TEIXEIRA, I. ; TEIXEIRA, J. P. ; PEREIRA, C. E. . On identifying and evaluating object architectures for real-time applications. Control Engineering Practice , v. 9, p. 403-409, 2001.

• BECKER, L. B. ; GERGELEIT, Martin ; NETT, E. ; PEREIRA, C. E. . An Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System. International Journal Of Computer Systems Science Engineering , Leics, UK, v. 16, p. 89-96, 2001.

• MONTEZ, Carlos Barros ; SILVA, F. M. A. ; Buss Becker, Leandro . Redes de Sensores: Controle de Acesso ao Meio, Roteamento e Controle de Topologia. In: Raimundo José de Araújo Macêdo; Jean-Marie Alexandre Farines. (Org.). Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1ed.Salvador: EDUFBA, 2018, v. , p. 161-192.

• Buss Becker, Leandro ; FARINES, J. M. ; ANDRADE, A. M.S. ; MAGALHAES, A. P. . Desenvolvimento de Sistemas de Controle e Automação na Abordagem de Engenharia Dirigida por Modelos. In: Raimundo José de Araújo Macêdo; Jean-Marie Alexandre Farines. (Org.). Projeto de Sistemas Distribuídos e de Tempo Real para Automação. 1ed.Salvador: EDUFBA, 2018, v. , p. 193-224.

• Sayyed, Ali ; Becker, Leandro Buss . A Survey on Data Collection in Mobile Wireless Sensor Networks (MWSNs). In: Koubaa, Anis; Martínez-de Dios, J.Ramiro. (Org.). Studies in Computational Intelligence. 1ed.: Springer International Publishing, 2015, v. , p. 257-278.

• Araújo, Gustavo Medeiros de ; Pinto, A. R. ; Kaiser, Jörg ; Becker, Leandro Buss . Genetic Machine Learning Approach for Link Quality Prediction in Mobile Wireless Sensor Networks. In: Koubaa, Anis; Khelil, Abdelmajid. (Org.). Studies in Computational Intelligence. 1ed.: Springer Berlin Heidelberg, 2014, v. 507, p. 1-18.

• BRISOLARA, Lisane ; Becker, Leandro B. ; Carro, Luigi ; Wagner, Flavio ; PEREIRA, CARLOS E. . A Comparison between UML and Function Blocks for Heterogeneous SoC Design and ASIP Generation. In: Martin, Grant; Müller, Wolfgang. (Org.). UML for SOC Design. 1ed.Dordrecht: Kluwer Academic Publishers, 2005, v. , p. 199-222.

• BECKER, L. B. ; PEREIRA, C. E. . Aplicação de Tecnologias Orientadas a Objetos no Desenvolvimento de Sistemas Computacionais Tempo-Real Distribuídos. In: Carlos Eduardo Ferreira. (Org.). XX Jornada de Atualização em Informática. Fortaleza: , 2001, v. 2, p. 319-363.

• SHERIDAN, O. ; BECKER, L.B. ; FARRELL, M. ; LUCKCUCK, M. ; MONAHAN, R. . Sharper Specs for Smarter Drones: Formalising Requirements with FRET. In: 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, 2025, Barcelona. Prof. of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, 2025.

• BECKER, L. B. ; GONÇALVES, FERNANDO S. ; BROERING, ELTON FERREIRA ; MISSON, H. ; CORDEIRO, L. . Safe UAV Continuous-Control Architecture Design. In: 3rd ADEPT workshop: AADL by its practitioners, 2024, Barcelona. Proc. of the 3rd ADEPT workshop, 2024.

• SILVA, G. P. ; BECKER, L.B. ; SILVA, J. P. D. ; ORTH, A. . Improving Reliability of Subsea Intelligent Drive Using Formal Verification Techniques. In: ROG.e 2024, 2024, Rio de Janeiro. Anais do ROG.e 2024. Rio de Janeiro: Instituto Brasileiro de Petróleo e Gás, 2024.

• SILVESTRE, I. O. ; LIMA, B. ; DIAS, P. H. ; BECKER, L. B. ; HUBNER, J. F. ; BRITO, M. . UAV Swarm Control and Coordination Using Jason BDI Agents on Top of ROS. In: 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, 2023, Guimarães. https://link.springer.com/chapter/10.1007/978-3-031-37616-0_19, 2023.

• CORREIA, CARLOS EDUARDO XAVIER ; Becker, Leandro Buss ; BASSO, Fabio Paulo . A review on the infrastructure and tool support for Model-Driven Engineering in the automation of the petrochemical industry. In: Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, 2023, Brasil. Anais do V Workshop em Modelagem e Simulação de Sistemas Intensivos em Software (MSSiS 2023), 2023. p. 31.

• BECKER, L. B. ; DOWNS, A. ; SCHLENOFF, C. ; ALBRECHT, J. ; KOOTBALLY, Z. ; FERRANDO, A. ; CARDOSO, R. ; FISHER, M. . Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. In: 20th European Conference on Multi-Agent Systems (EUMAS 2023), 2023, Naples. https://link.springer.com/chapter/10.1007/978-3-031-43264-4_14#citeas, 2023.

• BASSO, FÁBIO ; MOURA, JAQUELINE DE SOUZA ; CORREIA, CARLOS EDUARDO XAVIER ; CASOLA, KARINA ; Becker, Leandro Buss . Graphical DSL Devoted to Ease the Application of Model-Driven Engineering in Petrochemical Industry Automation. In: Workshop on Requirements Engineering, 2023, Porto Alegre. Anais do(a) Workshop on Requirements Engineering, 2023.

• BROERING, ELTON FERREIRA ; Becker, Leandro Buss . Applying Runtime Verification in Real-Time Systems with FreeRTOS. In: 2022 XII Brazilian Symposium on Computing Systems Engineering (SBESC), 2022, Fortaleza/CE. 2022 XII Brazilian Symposium on Computing Systems Engineering (SBESC), 2022. p. 1.

• SA, H. S. ; BECKER, L.B. ; RAFFO, G.V. . Análise da Contribuição da Geração de Energia Fotovoltaica na Autonomia Energética de um VANT Convertível. In: Congresso Brasileiro de Automática, 2022, Fortaleza. Anais do XXIV Congresso Brasileiro de Automatica, 2022.

• TIMM, D. ; FELDMANN, M. ; BECKER, L.B. ; MÜLLER, I. . Escalabilidade Uplink de Redes Industriais Sem Fio com Técnicas de Centralidade. In: Congresso Brasileiro de Automática, 2022, Fortaleza. Anais do XXIV Congresso Brasileiro de Automática, 2022.

• SALES, DIEGO ; BECKER, LEANDRO . Approach for Evolving Sensing and Actuation Devices in Cyberphysical Systems Architectures. In: 9th International Conference on ModelDriven Engineering and Software Development, 2021, Online Streaming. Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development. Setubal: SCITEPRESS - Science and Technology Publications, 2021. p. 306-313.

• SILVA, G. R. ; HUBNER, J. F. ; BECKER, L. B. . Active Perception within BDI Agents Reasoning Cycle. In: 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS '21), 2021, Online event. https://dl.acm.org/doi/10.5555/3463952.3464093, 2021.

• SILVESTRE, IAGO DE OLIVEIRA ; FILHO, ANTONIO CARLOS BECK ; Becker, Leandro Buss . Using gem5 Simulator to Support Design Space Exploration Targeting ARM Architecture. In: 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021, Florianopolis. 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021. p. 1.

• SILVESTRE, IAGO ; BECKER, LEANDRO . Performance Analysis of Embedded Control Algorithms used in UAVs. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2020, Brasil. Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC Estendido 2020), 2020. p. 180.

• RIBEIRO, LAURA ; Muller, Ivan ; BECKER, LEANDRO . Gerenciamento de interfaces para prover comunicação heterogênea em redes compostas por múltiplos UAVs. In: Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2020, Brasil. Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC Estendido 2020), 2020. p. 49.

• SALES, DIEGO CAMARA ; KOLIVER, CRISTIAN ; Becker, Leandro Buss . Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models. In: 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020, Florianopolis. 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC), 2020. p. 1.

• SILVA, G. R. ; BECKER, L. B. ; HUBNER, J. F. . Embedded Architecture Composed of Cognitive Agents and ROS for Programming Intelligent Robots. In: 21st IFAC World Congress, 2020, Online streeming. https://doi.org/10.1016/j.ifacol.2020.12.2718.

• CRUZ, M. V. S. ; DAMO, T. P. ; BECKER, L. B. . Round-Trip Engineering for Petrochemical Industry Automation. In: 21st IFAC World Congress, 2020, Online streeming. https://doi.org/10.1016/j.ifacol.2020.12.693.

• RIBEIRO, LAURA MICHAELLA B. ; Buss Becker, Leandro . Performance Analysis of IEEE 802.11p and IEEE 802.11n based on QoS for UAV networks. In: the 9th ACM Symposium, 2019, Miami Beach. Proceedings of the 9th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications - DIVANet '19, 2019. p. 65.

• MISSON, HENRIQUE AMARAL ; GONCALVES, FERNANDO SILVANO ; Becker, Leandro Buss . Applying Integrated Formal Methods on CPS Design. In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019, Natal. 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019. p. 1.

• RIBEIRO, LAURA ; SOUTO, EDUARDO ; Becker, Leandro Buss . Multi-Factor Dynamic Channel Assignment approach for Wi-Fi networks. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC), 2018. p. 1-7.

• MENEGOL, M. S. ; HUBNER, J. F. ; Buss Becker, Leandro . Evaluation of Multi-agent Coordination on Embedded Systems. In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity (PAAMS), 2018, Toledo. https://doi.org/10.1007/978-3-319-94580-4_17, 2018. v. 10978. p. 212-223.

• MENEGOL, M. S. ; HUBNER, J. F. ; BECKER, L. B. . Coordinated UAV search and rescue application with JaCaMo. In: 16th International Conference International Conference on Practical Applications of Agents and Multi-Agent Systems, 2018, Toledo. https://doi.org/10.1007/978-3-319-94580-4_33, 2018. v. 10978. p. 335-338.

• GRIGULO, JULIANO ; Becker, Leandro Buss . Experimenting Sensor Nodes Localization in WSN with UAV Acting as Mobile Agent. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018, Torino. 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. p. 808-8.

• DAMO, THAISE POERSCHKE ; Becker, Leandro Buss . Model- Driven Engineering for Petrochemical Industry Automation. In: 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018, Torino. 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018. p. 1060-4.

• SALES, DIEGO ; Buss Becker, Leandro . Systematic Literature Review of System Engineering Design Methods. In: 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018, Salvador. 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018. p. 213-4.

• LARA, A. V. ; NASCIMENTO, I. B. P. ; GARCIA, J. A. ; BECKER, L. B. ; RAFFO, G. V. . Hardware-in-the-loop simulation environment for testing of tilt-rotor UAV's control strategies. In: XXII Congresso Brasileiro de Automática, 2018, João Pessoa, 2018.

• GONCALVES, FERNANDO SILVANO ; PEREIRA, DAVID ; TOVAR, EDUARDO ; Becker, Leandro Buss . Formal Verification of AADL Models Using UPPAAL. In: 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017, Curitiba. 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 2017. p. 117.

• Sayyed, Ali ; de Araujo, Gustavo Medeiros ; Becker, Leandro Buss . Smart data collection in large scale sparse WSNs. In: 2016 9th IFIP Wireless and Mobile Networking Conference (WMNC), 2016, Colmar. 2016 9th IFIP Wireless and Mobile Networking Conference (WMNC), 2016. p. 1.

• GONCALVES, FERNANDO SILVANO ; Becker, Leandro Buss . Model driven engineering approach to design sensing and actuation subsystems. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, Berlin. 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016. p. 1.

• SLONGO, L. K. ; MARTINEZ, S. V. ; EITERER, B. V. B. ; PEREIRA, T. G. ; KLEMZ, M. A. ; SALAMANCA, J. J. L. ; BALDINI NETO, M. ; PEREIRA, R. ; SILVA, F. G. ; LETTNIN, D. ; BECKER, L. B. ; SPENGLER, A. W. ; TRAVASSOS JUNIOR, X. L. ; PAIVA, K. V. ; BEZERRA, E. A. . The Floripa-Sat experience: mission progress and satellite's development. In: II Latin American IAA CubeSat Workshop, 2016, Florianopolis. Proc. of the II Latin American IAA CubeSat Workshop, 2016.

• GONCALVES, F. ; RAFFO, G.V. ; BECKER, L.B. . Managing CPS Complexity: Design Method for Unmanned Aerial Vehicles. In: 1st IFAC Conference on Cyber-Physical&Human-Systems, 2016, Florianopolis. Proceedings of the 1st IFAC Conference on Cyber-Physical&Human-Systems, 2016. v. 49. p. 141-146.

• DE LIMA, JOÃO PAULO CARDOSO ; BECKER, L.B. ; SIQUEIRA, Frank Augusto ; MORALES, ANALUCIA SCHAFFINO ; DE ARAÚJO, GUSTAVO MEDEIROS . From a Smart House to a Connected City: Connecting Devices Services Everywhere. In: VIII Simposio Brasileiro de Computacao Ubiqua e Pervasiva, 2016, Porto Alegre. Anais do VIII Simposio Brasileiro de Computacao Ubiqua e Pervasiva, 2016. p. 100.

• SANTOS, F. R. ; BECKER, L.B. ; HUBNER, J. F. . Concepção e análise de um modelo de agente BDI para planejamento de rota em um VANT. In: IX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2015), 2015, Niterói. Anais do IX Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2015), 2015.

• GONCALVES, F.S. ; ALFARO, R. A. A. ; WOYAKEWICZ, V. ; PEREIRA, P. J. ; RAFFO, G. V. ; BECKER, L. B. . VANT Autônomo Capaz de Comunicar com uma Rede de Sensores Sem Fio. In: X Congresso Brasileiro de Agroinformática, 2015, Ponta Grosa. Anais do X Congresso Brasileiro de Agroinformática, 2015.

• GONCALVES, FERNANDO SILVANO ; Becker, Leandro Buss . Preparing Cyber-physical Systems Functional Models for Implementation. In: 2015 Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguacu. 2015 Brazilian Symposium on Computing Systems Engineering (SBESC). p. 136.

• Sayyed, Ali ; Becker, Leandro Buss . Optimizing speed of mobile data collector in Wireless Sensor Network. In: 2015 International Conference on Emerging Technologies (ICET), 2015, Peshawar. 2015 International Conference on Emerging Technologies (ICET). p. 1-6.

• BODANESE, J.P. ; ARAUJO, G.M. DE ; STEUP, C. ; RAFFO, G.V. ; BECKER, L.B. . Wireless Communication Infrastructure for a Short-Range Unmanned Aerial. In: 2014 28th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2014, BC. 2014 28th International Conference on Advanced Information Networking and Applications Workshops. p. 492-497.

• BECKER, L. B. . Floripa-Sat - Ensino, pesquisa e desenvolvimento em Engenharia Aeroespacial por intermédio de um Payload voltado para Energy Harvesting. In: Simpósio Aeroespacial Brasileiro (SAB 2014 ), 2014, S. J. dos Campos. Anais do Simpósio Aeroespacial Brasileiro (SAB 2014 ), 2014.

• BODANESE, J. P. ; DE ARAUJO, G. M. ; RAFFO, G. V. ; BECKER, L. B. . RBESP: Reliable and best effort stack protocol for UAV collaboration with WSN. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014, Porto Alegre RS. 2014 12th IEEE International Conference on Industrial Informatics (INDIN). p. 382-287.

• PAULON, A. R. ; FROHLICH, A. A. ; BECKER, L. B. ; BASSO, F. P. . Wireless sensor network UML profile to support model-driven development. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014, Porto Alegre RS. 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014. p. 227-232.

• WINTER, JEAN M. ; MULLER, IVAN ; PEREIRA, CARLOS E. ; SAVAZZI, STEFANO ; Becker, Leandro Buss ; NETTO, JOAO C. . Coexistence issues in wireless networks for factory automation. In: 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014, Porto Alegre RS. 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 2014. p. 370-375.

• DONADEL, R. ; RAFFO, Guilherme Viana ; BECKER, L. B. . Modeling and Control of a Tiltrotor UAV for Path Tracking. In: 19th World Congress - IFAC'14, 2014, Cape Town. Proc. of the 19th World Congress - IFAC'14, 2014. p. 3839-3844.

• ALMEIDA, M. M. ; DONADEL, R. ; RAFFO, G. V. ; BECKER, L. B. . Full Control of a TiltRotor UAV for Load Transportation. In: XX Congresso Brasileiro de Automática 2014, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática 2014, 2014.

• DONADEL, R. ; ALMEIDA, M. M. ; RAFFO, G. V. ; BECKER, L. B. . Path Tracking Control of a Small Scale Tiltrotor Unmmaned Aerial Vehicle. In: XX Congresso Brasileiro de Automática 2014, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática 2014, 2014.

• GONCALVES, FERNANDO SILVANO ; Becker, Leandro Buss . Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering. p. 61.

• SANTOS, F. R. ; BECKER, L.B. ; HUBNER, J. F. . Modelo de VANT autônomo baseado em uma arquitetura BDI. In: VIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2014), 2014, Porto Alegre. Anais do VIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações (WESAAC 2014), 2014.

• VILLANI, E. ; SLONGO, L. K. ; SALAMANCA, J. J. L. ; MARTINS, V. M. G. ; MARTINEZ, S. V. ; MARIGA, L. ; VIDAL, I. ; EITERER, B. V. B. ; MENEGON, V. E. ; COELHO, L. ; TRAVASSOS JUNIOR, X. L. ; PAIVA, K. V. ; SPENGLER, A. W. ; SOUSA, F. R. ; MELO, F. E. N. ; BECKER, L. B. ; LETTNIN, D. ; BEZERRA, E. A. . A complete CubeSat mission: the Floripa-Sat experience. In: 1st Latin American IAA Cubesat Workshop, 2014, Brasilia. Proc. of the 1st Latin American IAA Cubesat Workshop, 2014.

• GONCALVES, F. ; DONADEL, R. ; RAFFO, Guilherme Viana ; Becker, Leandro Buss . Assessing the use of Simulink on the Development Process of an Unmanned Aerial Vehicle. In: 3rd Workshop on Cyber-Physical Systems (CyPhy 2013), 2013, Filadélfia. Proc. of the 3rd Workshop on Cyber-Physical Systems, 2013.

• DALSSOTO, FELIPE MARCOS ; SOUZA, RAMON HUGO DE ; Becker, Leandro Buss . Data Analysis Module for WirelessHART Network Planning. In: 2013 Symposium on Computer and Automation for Offshore Shipbuilding (NAVCOMP), 2013, Rio Grande. 2013 Symposium on Computing and Automation for Offshore Shipbuilding. p. 23.

• GONCALVES, F.S. ; BODANESE, J. P. ; DONADEL, R. ; RAFFO, G. V. ; NORMEY-RICO, J. E. ; BECKER, L. B. . Small scale UAV with birotor configuration. In: 2013 International Conference on Unmanned Aircraft Systems (ICUAS), 2013, Atlanta. 2013 International Conference on Unmanned Aircraft Systems (ICUAS). p. 761-768.

• LINDAU, M. G. L. ; MÜLLER, I. ; BECKER, L. B. ; PEREIRA, C. E. . Low Cost Wireless Site Survey System for WirelessHART Network Deployment. In: SBAI-DINCON 2013, 2013, Fortaleza. Anais do SBAI-DINCON 2013, 2013.

• SAVAZZI, S. ; SOUZA, R. H. ; BECKER, L. B. . Wireless Network Planning and Optimization in Oil and Gas Refineries. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 29.

• BASSO, FÁBIO PAULO ; PILLAT, RAQUEL MAINARDI ; OLIVEIRA, Toacy Cavalcante ; Becker, Leandro Buss . Supporting large scale model transformation reuse. In: the 12th international conference, 2013, Indianapolis. Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13. New York: ACM Press, 2013. p. 169.

• PASSARINI, R. F. ; FARINES, J. M. ; BECKER, L. B. . The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models. In: III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. Proc. of the III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013. p. 47-52.

• de Matos, Roberto ; Frohlich, Antonio Augusto ; Becker, Leandro Buss . Using multiple channels to improve SDR flexibility and performance. In: 2012 International Conference on Computing, Networking and Communications (ICNC), 2012, Maui. 2012 International Conference on Computing, Networking and Communications (ICNC). p. 1031-1035.

• de Araujo, Gustavo Medeiros ; Kaiser, Jorg ; Becker, Leandro Buss . An optimized Markov model to predict link quality in mobile wireless sensor networks. In: 2012 IEEE Symposium on Computers and Communications (ISCC), 2012, Cappadocia. 2012 IEEE Symposium on Computers and Communications (ISCC), 2012. p. 000307-000312.

• PASSARINI, ROSANE F'TIMA ; FARINES, JEAN-MARIE ALEXANDRE ; Becker, Leandro Buss . Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink. In: 2012 26th Brazilian Symposium on Software Engineering (SBES), 2012, Natal. 2012 26th Brazilian Symposium on Software Engineering.

• MORAES, ELISABETE NAKONECZNY ; Becker, Leandro Buss . Energy Profile Evaluation of a Cyber-Physical System. In: 2012 Brazilian Symposium on Computing System Engineering (SBESC), 2012, Natal. 2012 Brazilian Symposium on Computing System Engineering, 2012. p. 53-58.

• Araujo, G.M. ; Pinto, A. R. ; Kaiser, Jorg ; BECKER, L.B. . An Evolutionary Approach to Improve Connectivity Prediction in Mobile Wireless Sensor Networks. In: The International Workshop on Cooperative Robots and Sensor Networks (RoboSense 2012), 2012, Niagra Falls. Procedia Computer Science, 2012. v. 10. p. 1100-1105.

• MORAES, E. ; BECKER, L.B. . Remaining Battery Lifetime Determination in Cyber-Physical Systems. In: International Conference on Ambient Systems, Networks and Technologies (ANT-2012), 2012, Niagra Falls. Procedia Computer Science, 2012. v. 10. p. 215-224.

• Araujo, G.M. ; BECKER, L. B. . A Network Conditions Aware Geographical Forwarding Protocol for Real-Time Applications in Mobile Wireless Sensor Networks. In: 25th IEEE International Conference on Advanced Information Networking and Applications (AINA-2011), 2011, Cingapura. Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications. Los Angeles: IEEE Computer, 2011. v. 1. p. 38-45.

• Oliveira, R. G. ; SANTOS, G. ; FARINES, J. M. ; BECKER, L. B. . Ferramenta para Auxiliar o Processo de Verificação Formal de Propriedades em Programas AADL. In: Brazilian Symposium on Computing System Engineering (SBESC 2011), 2011, Florianopolis. Proc. of the Brazilian Symposium on Computing System Engineering (SBESC 2011). Los Angeles: IEEE Computer Society, 2011. p. 27-32.

• MORAES, E. ; BECKER, L. B. . Framework para Estimar a Autonomia da Bateria em Sistemas Embarcados. In: Brazilian Symposium on Computing System Engineering (SBESC), 2011, Florianopolis. Prof. of the Brazilian Symposium on Computing System Engineering (SBESC). Los Angeles: IEEE Computer Society, 2011. p. 53-58.

• SOBRAL, M. M. ; BECKER, L. B. . Uma investigação sobre a capacidade tempo-real de uma rede sem-fio móvel. In: Brazilian Symposium on Computing System Engineering (SBESC), 2011, Florianopolis. Proc. of the Brazilian Symposium on Computing System Engineering (SBESC). Los Angeles: IEEE Computer Society, 2011. p. 121-128.

• Baccour, N. ; Koubâa, A. ; Youssef, H. ; Ben Jamâa, M. ; Rosário, Denis ; BECKER, L. B. ; Alves, M. . F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks. In: 7th European Conference on Wireless Sensor Networks (EWSN), 2010, Coimbra. Proceedings of the 7th European Conference on Wireless Sensor Networks (EWSN), 2010. v. 5970. p. 240-255.

• Baccour, N. ; Ben Jamâa, M. ; Rosário, Denis ; Koubâa, A. ; Youssef, H. ; BECKER, L. B. ; Alves, M. . A TestBed for the evaluation of Link Quality Estimators in Wireless Sensor Networks. In: The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks, 2010, Hammamet. Proceedings of the ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks, 2010. p. 1-8.

• CORREA, T. ; BECKER, L. B. ; FARINES, J. M. ; BODEVEIX, J. P. ; AMINE, M. F. ; VERNADAT, F. . Supporting the Design of Safety Critical Systems Using AADL. In: Fifth IEEE International workshop UML and AADL, 2010, Oxford. Prof. of the Fifth IEEE International workshop UML and AADL, 2010. p. 331-336.

• MATOS, R. ; FRÖHLICH, A. A. ; BECKER, L. B. . Otimizando o Desempenho de Rádios Definidos por Software Através do Desacoplamento de Canais. In: Workshop de Sistemas Embarcados, 2010, Gramado. Anais do 1º. Workshop de Sistemas Embarcados. Porto Alegre: SBC, 2010.

• SOBRAL, M. M. ; BECKER, L. B. . Performance Evaluation of a Real-Time MAC Protocol for MANETS. In: 12º. Workshop de Tempo-Real, 2010, Gramado. Anais do 12º. Workshop de Tempo-Real. Porto Alegre: SBC, 2010. p. 101-110.

• BECKER, L. B. ; FARINES, J. M. ; BODEVEIX, J. P. ; AMINE, M. F. ; VERNADAT, F. . Development Process for Critical Embedded Systems. In: Workshop de Sistemas Embarcados, 2010, Gramado. Anais do 1º. Workshop de Sistemas Embarcados. Porto Alegre: SBC, 2010. p. 95-108.

• PINHEIRO, B.C. ; MARTINS, D.L. ; RICO, Julio Elias Normey ; BECKER, L. B. . Desenvolvimento de Sistemas de Controle Tempo Real Embarcados: Uma Exploração Acerca da Metodologia e Ferramentas. In: XVIII Congresso Brasileiro de Automática (CBA2010), 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática (CBA2010), 2010.

• CORREA, T. ; BECKER, L. B. ; BODEVEIX, J. P. ; FARINES, J. M. ; AMINE, M. F. ; VERNADAT, F. . Verification Based Development Process for Embedded Systems. In: Embedded Real Time Software and Systems - ERTS2, 2010, Toulouse. Proc. of the Embedded Real Time Software and Systems - ERTS2, 2010.

• KAISER, J. ; BECKER, L. B. ; ZUG, S. ; SCHULZE, M. . Supporting independent development, deployment and co-operation of autonomous objects in distributed control systems. In: 9th International Symposium on Autonomous Decentralized Systems, 2009, Atenas. Proceedings of the 9th International Symposium on Autonomous Decentralized Systems. Los Alamitos: IEEE Computer Society, 2009. v. 1. p. 1-6.

• SOBRAL, M. M. ; BECKER, L. B. . Towards a Clustering Approach to Support Real-Time Communication in Ad-Hoc Wireless Networks. In: 11th Brazilian Workshop on Real-Time and Embedded Systems, 2009, Recife. Proceedings of the 11th Brazilian Workshop on Real-Time and Embedded Systems, 2009.

• FARINES, J. M. ; CURY, J. ; BITTENCOURT, G. ; CASTELAN, E. ; DE PIERI, E. ; MORENO, U.F. ; BECKER, L. B. ; TROFINO, A. . Colaboração Científica na UFSC em Ciências e Tecnologias da Informação, da Comunicação e da Automática. In: Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios, 2009, Bento Gonçalves. Anais do Colóquio em Informática: Brasil / INRIA, Cooperações, Avanços e Desafios. Porto Alegre: Sociedade Brasileira de Computação, 2009.

• SOBRAL, M. M. ; BECKER, L. B. . A Clustering Approach for Resource-Reservation within a MAC Protocol for Wireless Ad-Hoc Networks. In: 8th International Workshop on Real-Time Networks (RTN'09), 2009, Dublin. Proceedings of the 8th International Workshop on Real-Time Networks (RTN'09), 2009.

• PINHEIRO, B.C. ; RICO, Julio Elias Normey ; BECKER, L. B. . Sistema de Controle Tempo Real Embarcado para Automação da Manobra de Estacionamento. In: IX Simpósio Brasileiro de Automação Inteligente, 2009, Brasilia. Anais do IX Simpósio Brasileiro de Automação Inteligente, 2009.

• FRANCA, R. B. ; BECKER, L. B. ; BODEVEIX, J. P. ; FARINES, J. M. ; Mamoun Filali Amine . Towards Safe Design of Synchronous Bus Protocols in Event-B. In: Brazilian Symposium on Formal Methods, 2009, Gramado. Proceedings of the Brazilian Symposium on Formal Methods. Porto Alegre: Sociedade Brasileira de Computação, 2009.

• TRES, Crineu ; BECKER, L. B. . Desmistificando o Uso de Redes Sem Fio em Automação Industrial. In: 13o. Congresso Internacional e Exposição de Automação, Sistemas e Instrumentação (ISA 2009), 2009, São Paulo. Anais do 13o. Congresso Internacional e Exposição de Automação, Sistemas e Instrumentação (ISA 2009). São Paulo: ISA Distrito 4, 2009.

• MATOS, R. ; T. R. Muck ; FRÖHLICH, A. A. ; BECKER, L. B. . Evaluation of PHY Reconfiguration Latency in SDR Gateway for WSN. In: 8th International Information and Telecommunication Technologies Symposium, 2009, Florianópolis. Proceedings of the 8th International Information and Telecommunication Technologies Symposium, 2009.

• SILVA, Ronaldo Aparecido ; RICO, Julio Elias Normey ; KELBER, Christian Roberto ; BECKER, L. B. . Distributed Object-based Architecture for Controlling Autonomous Vehicles. In: 17th IFAC World Congress, 2008, Seul. Proceedings of the 17th IFAC World Congress, 2008.

• SOBRAL, M. M. ; BECKER, L. B. . A Wireless Hybrid Contention/TDMA-based MAC for Real-Time Mobile Applications. In: 23rd ACM Symposium on Applied Computing (SAC), 2008, Fortaleza. SAC '08: Proceedings of the 2008 ACM symposium on Applied computing. New York, NY, USA: Association for Computing Machinery, Inc (ACM), 2008. v. 1. p. 284-288.

• KELBER, Christian Roberto ; Osorio, F.S. ; BECKER, L. B. . Assistance Controller for Driving Backwards and Parking an Articulated Vehicle. In: IEEE Intelligent Vehicles Symposium (IV?08), 2008, Eindhoven. Proceedings of the 2008 IEEE Intelligent Vehicles Symposium (IV?08). Los Alamitos, CA, USA: IEEE, 2008. p. 1045-1049.

• SOBRAL, M. M. ; BECKER, L. B. . Communication Architecture for Real-Time Mobile Systems. In: International Workshop on Dependable Network Computing and Mobile Systems, 2008, Napolis. Proceedings of the International Workshop on Dependable Network Computing and Mobile Systems, 2008.

• SOBRAL, M. M. ; BECKER, L. B. . The Real-Time Subject Routing Protocol. In: 7th Workshop on Real-Time Networks, 2008, Praga. Proceedings of the 7th Workshop on Real-Time Networks, 2008.

• BECKER, L. B. ; TRES, Crineu ; NETT, E. . Real-Time Tasks Scheduling With Value Control to Predict Timing Faults During Overload. In: 10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2007, Santorini. Proceedings of the 10th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2007.

• DEMARCH, D. D. ; BECKER, L. B. . A Centralized Scheduling and Retransmission Proposal for Firm Real-time Traffic in IEEE 802.11e. In: 25 Simpósio Brasileiro de Rede de Computadores, 2007, Belém. Anais do 25 Simpósio Brasileiro de Rede de Computadores, 2007.

• DEMARCH, D. D. ; BECKER, L. B. . An Integrated Scheduling and Retransmission Proposal for Firm Real-time Traffic in IEEE 802.11e. In: 19th Euromicro Conference on Real-Time Systems, 2007, Pisa. Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007.

• AMINE, M. F. ; BECKER, L. B. ; BODEVEIX, J. P. ; FARINES, J. M. ; FRANCA, R. B. . Modeling a Buss Protocol: An Incremetal Approach. In: WRT 2007. 9 Workshop on Real - Time Systems, 2007, Belém, PA. Anais do Simpósio Brasileiro de Redes de Computadores e do Workshop de Tempo Real. Belém: UFPA, 2007. v. 2. p. 65-72.

• BASSO, Fabio Paulo ; BECKER, L. B. ; OLIVEIRA, Toacy Cavalcante . Uma Solução para Reuso e Manutenção de Transformadores de Modelos Usando a Abordagem FOMDA. In: Simpósio Brasileiro de Engenharia de Software, 2007, João Pessoa. Anais do XXI Simpósio Brasileiro de Engenharia de Software, 2007.

• Gobbi, D.R. ; Ricardo Bedin França ; AMINE, M. F. ; BODEVEIX, J. P. ; BECKER, L. B. ; FARINES, J. M. . Design of Real-Time Automation Systems Using Architecture Description Languages. In: Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. Anais do VIII Simpósio Brasileiro de Automação Inteligente, 2007.

• WEHRMEISTER, Marco Aurelio ; PEREIRA, C. E. ; BECKER, L. B. . Optimizing the Generation of Object-Oriented Real-Time Embedded Applica-tions Based on the Real-Time Specification for Java. In: Design, Automation and Test in Europe, 2006, Munique. Proceedings of the Design, Automation and Test in Europe, 2006.

• BASSO, Fabio Paulo ; OLIVEIRA, Toacy Cavalcante ; BECKER, L. B. . Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development. In: 9th IEEE International Symposium on Object and Component Oriented Real-Time Distributed Computing, 2006, Gyeongju. Proceedings of the 9th IEEE International Symposium on Object and Component Oriented Real-Time Distributed Computing. Los Alamitos, USA: IEEE Computer, 2006. p. 374-381.

• BECKER, L. B. ; TRES, Crineu . Controlling Real-Time Tasks Schedule Using the Value Parameter. In: VIII Workshop de Tempo Real, 2006, Curitiba. Anais do VIII Workshop de Tempo Real, 2006. v. 1. p. 37-44.

• BECKER, L. B. ; DEMARCH, D. D. . Evaluating the IEEE 802.11e Reference Scheduler for Firm Real-time Traffic. In: VIII Workshop de Tempo Real, 2006, Curitiba. Anais do VIII Workshop de Tempo Real, 2006. v. 1. p. 3-10.

• BECKER, L. B. ; BASSO, Fabio Paulo ; OLIVEIRA, Toacy Cavalcante . Desenvolvimento de Sistemas Tempo Real Embarcados Utilizando a Abordagem FOMDA: Um Estudo de Caso. In: VIII Workshop de Tempo Real, 2006, Curitiba. Anais do VIII Workshop de Tempo Real, 2006. v. 1. p. 79-87.

• SILVA, Ronaldo Aparecido ; SOBRAL, M. M. ; BECKER, L. B. . Proposta de Arquitetura de Comunicação para Sistemas Embarcados Baseado no Protocolo Publisher/Subscriber. In: VIII Workshop de Tempo Real, 2006, Curitiba. Anais do VIII Workshop de Tempo Real - WIP, 2006.

• GOMES, G. K. ; RAFFO, Guilherme Viana ; KELBER, Christian Roberto ; RICO, Julio Elias Normey ; BECKER, L. B. . Seguimento De Trajetoria De Um Veiculo Mini-Baja com CPBM. In: XII Congresso Brasileiro de Automática, 2006, Salvador. Accepted for publication, 2006.

• DEMARCH, D. D. ; BECKER, L. B. . A Proposal for a Centralized Retransmission Approach for Firm Real-time Traffic in IEEE 802.11e. In: 27th Real-Time Systems Symposium, 2006, Rio de Janeiro. Proceedings Work in Progress Session RTSS'06, 2006. v. 1. p. 69-72.

• SOBRAL, M. M. ; BECKER, L. B. . Guidelenes for Creating Real-Time Manets. In: 27th Real-Time Systems Symposium, 2006, Rio de Janeiro. Proceedings Work in Progress Session RTSS'06, 2006. v. 1. p. 61-64.

• BRISOLARA, Lisane ; BECKER, LEANDRO ; Carro, Luigi ; WAGNER, FLÁVIO ; PEREIRA, CARLOS E. ; REIS, Ricardo . Comparing high-level modeling approaches for embedded system design. In: the 2005 conference, 2005, Shanghai. Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05. New York: ACM Press, 2005. v. 1. p. 986-989.

• SILVA JR, Elias T ; WEHRMEISTER, Marco Aurelio ; PEREIRA, C. E. ; WAGNER, F. R. ; BECKER, L. B. . Design Exploration in Hw/Sw Co-design of Real-Time Object-Oriented Embedded Systems: the Scheduler Object. In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005, Sedona. Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. Los Alamitos: IEEE Computer, 2005. v. 1. p. 378-385.

• WEHRMEISTER, Marco Aurelio ; BECKER, L. B. ; PEREIRA, C. E. . An Approach for Designing Real-Time Embedded Systems from RT-UML Specifications. In: 16th IFAC World Congress, 2005, Prague. Proceedings of the 16th IFAC World Congress, 2005. v. 1. p. 1-6.

• WEHRMEISTER, M.A. ; BECKER, L.B. ; WAGNER, F.R. ; PEREIRA, C.E. . An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems. In: ISORC´05 8th IEEE Symposium on ObjectOriented RealTime Distributed Computing, 2005, Seattle. Proceedings, 2005. v. 1. p. 125-128.

• SILVA JR, Elias T ; WEHRMEISTER, Marco Aurelio ; CARVALHO, Fabiano C ; BECKER, L. B. ; PEREIRA, C. E. ; WAGNER, F. R. ; CARRO, L. . Exploração do Espaço de Projeto em Hw/Sw Co-design de Sistemas Tempo-Real Embarcados Orientados a Objetos: o Objeto Escalonador. In: VII Workshop de Tempo Real, 2005, Fortaleza. Anais do VII Workshop de Tempo Real, 2005. v. 1. p. 9-16.

• WEHRMEISTER, Marco Aurelio ; BECKER, L. B. ; PEREIRA, C. E. . Metodologia de Projeto Orientada a Objetos Baseada em Plataformas para Sistemas Tempo-Real Embarcados. In: VII Workshop de Tempo Real, 2005, Fortaleza. Anais do VII Workshop de Tempo Real, 2005. v. 1. p. 1-8.

• WEHRMEISTER, M.A. ; PEREIRA, C.E. ; BECKER, L.B. . Object-oriented methodology to the development of embedded real-time systems. In: INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005., 2005, Perth. INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005., 2005. v. 1. p. 68-73.

• WEHRMEISTER, M.A. ; BECKER, L.B. ; PEREIRA, C.E. . Applying the SEEP Method in the Design of a Real-Time Embedded Control System for a Motorized Wheelchair. In: 2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005, Catania. 2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005. v. 1. p. 141-147.

• BRISOLARA, Lisane ; BECKER, L. B. ; CARRO, L. ; WAGNER, F. R. ; PEREIRA, C. E. . Evaluating High-level Models for Real-Time Embedded Systems Design. In: IFIP Working Conference on Distributed and Parallel Embedded Systems, 2004, Toulouse. Proceedings of the 4th IFIP Working Conference on Distributed and Parallel Embedded Systems. Norwell: Kluwer Academic Publishers, 2004. v. 1. p. 277-286.

• BECKER, L. B. ; WEHRMEISTER, Marco Aurelio ; PEREIRA, C. E. . Power and Performance Tuning in the Synthesis of Real-Time Scheduling Algorithms for Embedded Applications. In: 17th Symposium on Integrated Circuits and Systems Design, 2004, Porto de Galinhas. Proceedings of 17th Symposium on Integrated Circuits and Systems Design. New York, NY, USA: ACM Press, 2004. v. 1. p. 169-174.

• BECKER, L. B. ; WEHRMEISTER, Marco Aurelio ; CARRO, L. ; WAGNER, F. R. ; PEREIRA, C. E. . Assessing the Impact of Traditional Real-Time Scheduling Algorithms on Top of Embedded Application. In: Workshop on Real-Time Programming, 2004, Istambul. Real-Time Programming 2004. Oxford: Elsevier, 2004. v. 1. p. 61-66.

• WEHRMEISTER, Marco Aurelio ; BECKER, L. B. . Avaliando o Uso de Escalonadores Estáticos e Dinâmicos Tradicionais em Sistemas Tempo Real Embarcados. In: VI Workshop de Tempo Real, 2004, Gramado. Anais do VI Workshop de Tempo Real, 2004. v. 1. p. 77-84.

• WEHRMEISTER, Marco Aurelio ; BECKER, L. B. ; PEREIRA, C. E. . Optimizing Real-Time Embedded Systems Development Using a RTSJ-based API. In: 2nd Workshop on Java Technologies for Real-Time and Embedded Systems, 2004, Lamarca. Lecture Notes in Computer Science, 2004. v. 1. p. 292-302.

• WEHRMEISTER, Marco Aurelio ; BECKER, L. B. ; PEREIRA, C. E. . Providing High-Level Abstraction in Real-Time Embedded Systems Development. In: Workshop on Dependable Embedded Systems, 2004, Florianopolis. Proceeding of 2nd International Workshop on Dependable Embedded Systems. Florianópolis: DAS/CTC/UFSC, 2004. v. 1. p. 43-47.

• BECKER, L. B. . A Step Toward Using MDA on Embedded Real-Time Systems Design. In: Workshop on Dependable Embedded Systems, 2004, Florianópolis. Proceedings of the Workshop on Dependable Embedded Systems. Florianópolis: DAS/CTC/UFSC, 2004. v. 1. p. 39-42.

• WEHRMEISTER, Marco Aurelio ; BECKER, L. B. ; PEREIRA, C. E. . RTSJ-based API for Real-Time Embedded Systems. In: Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004, Lisbon. Proceedings of the Workshop on Architectures for Cooperative Embedded Real-Time Systems. Lisboa: Universidade de Lisboa/Depto de Informática, 2004. v. 1. p. 24-28.

• GONÇALVEZ JR, Hermes ; HUSEMANN, Ronaldo ; BECKER, L. B. ; PEREIRA, C. E. . Arquitetura em Hardware para Co-Processamento de Tarefas. In: VI Workshop de Tempo Real, 2004, Gramado. Anais do VI Workshop de Tempo Real, 2004. v. 1. p. 37-44.

• GERGELEIT, Martin ; BECKER, L. B. ; NETT, E. . Robust Scheduling in Team-Robotics. In: Eleventh International Workshop on Parallel and Distributed Real-Time Systems, 2003, Nice. Proceedings of the Eleventh International Workshop on Parallel and Distributed Real-Time Systems. Los Alamitos, CA, USA: IEEE CS, 2003. v. 1. p. 117b-117b.

• BECKER, L. B. ; HOLTZ, R. H. ; PEREIRA, C. E. . Mapeamento de Restrições Temporais Padronizadas pelo Perfil do UML-TR para API Tempo Real. In: V Workshop de Tempo Real, 2003, Natal. Anais do V Workshop de Tempo Real. NATAL: UFRN/DIMAp, 2003. v. 1. p. 73-81.

• BECKER, L. B. ; GERGELEIT, Martin ; SCHEMMER, Stefan ; NETT, E. . Using a Flexible Real-Time Scheduling Strategy in a Distributed Embedded Application. In: 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2003), 2003, Lisboa. Proc. of 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2003), 2003. v. 2. p. 652-657.

• BECKER, L. B. ; PEREIRA, C. E. . On the Suitability of the RT-UML Profile for Modeling Distributed Real-Time Systems. In: 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2003), 2003, Lisboa. Proc. of 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2003), 2003. v. 2. p. 658-663.

• BECKER, L. B. ; HOLTZ, R. H. ; PEREIRA, C. E. . On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap. In: 5th IEEE International Symposium on Object-Oriented Real-time distributed Computing, 2002, Crystal City. 5th IEEE International Symposium on Object-Oriented Real-time distributed Computing. Los Alamitos, CA, USA: IEEE Computer Society, 2002. p. 348-355.

• BECKER, L. B. ; PEREIRA, C. E. . Proposta de Mecanismo para Escalonamento Dinâmico de Tarefas Tempo-Real Tolerantes a Falhas. In: IV Workshop de Tempo Real, 2002, Buzios, RJ. 20 Simposio Brasileiro de Redes de Computadores. Rio de Janeiro: Nucleo de Computacao e Eletronica/Universidade Federal do Rio de Janeiro, 2002. p. 19-25.

• BECKER, L. B. ; PEREIRA, C. E. ; VILLELA, C. . Framework for Component-Based Development of Distributed Real-Time Systems. In: Sixth International Workshop on Object-oriented Real-time Dependable Systems, 2001, Roma. Sixth International Workshop on Object-oriented Real-time Dependable Systems. Los Alamitos - USA: IEEE Computer Society, 2001. p. 85-90.

• BECKER, L. B. ; VILLELA, C. ; MITIDIERI, C. ; KAISER, J. ; PEREIRA, C. E. . On Evaluating Interaction and Communication Schemes for Automation Applications based on Real-Time Distributed Objects. In: 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2001, Magdeburg. 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. Los Alamitos - USA: IEEE Computer Society, 2001. p. 217-224.

• BECKER, L. B. ; GERGELEIT, Martin ; NETT, E. . Approach for Implementing Object-Oriented Real-Time Models on Top of Embedded Targets. In: OMER2 - Workshop on Object-oriented Modeling of Embedded Real-time systems, 2001, Herrsching. Proceedings of OMER2 - Workshop on Object-oriented Modeling of Embedded Real-time systems. Munique: Universität des Bundeswehr München, 2001. p. 51-58.

• BECKER, L. B. ; PEREIRA, C. E. ; WILD, R. . An Architecture for Validating Object-Oriented Timing Specifications. In: 5th World Multi-Conference on Systemics, Cybernetcs, and Informatics, 2001, Orlando. Proceeding of 5th World Multi-Conference on Systemics, Cybernetcs, and Informatics, 2001. v. XI. p. 485-490.

• ARAUJO, J. J. ; BECKER, L. B. ; PEREIRA, C. E. . Interface de Comunicação entre Ambiente de Modelagem Orientado a Objetos e Sistemas Supervisórios. In: 5 Simpósio Brasileiro de Automação Inteligente, 2001, Canela. Anais do 5 Simpósio Brasileiro de Automação Inteligente, 2001.

• BECKER, L. B. ; GERGELEIT, Martin ; NETT, E. . Execution Environment for Dynamically Scheduling Real-Time Tasks. In: 22nd IEEE Real-Time Systems Symposium, 2001, London. 22nd IEEE Real-Time Systems Symposium, Work in Progress Proceedings. York, England: University of York - Department of Computer Science, 2001. p. 13-16.

• BECKER, L. B. ; PEREIRA, C. E. ; DIAS, O. P. ; TEIXEIRA, I. ; TEIXEIRA, J. P. . MOSYS: Methodology for Automatic Object Identification from System Specification. In: Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2000, Newport Beach. Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. Los Alamitos - USA: IEEE Computer Society, 2000. p. 198-201.

• BECKER, L. B. ; PEREIRA, C. E. ; DIAS, O. P. ; TEIXEIRA, I. ; TEIXEIRA, J. P. . On Identifying and Evaluating Object Architectures for Real-Time Applications. In: 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 2000, Palma de Mallorca. 6th IFAC Workshop on Algorithms and Architectures for Real-Time Control, 2000.

• BECKER, L. B. ; PEREIRA, C. E. . From Design to Implementation: Tool Support for the Development of Object-Oriented Distributed Real-Time Systems. In: 12th Euromicro Conference on Real-Time Systems, 2000, Estocolmo. 12th Euromicro Conference on Real-Time Systems. Los Alamitos - USA: IEEE Computer Society, 2000. p. 109-116.

• BECKER, L. B. ; PEREIRA, C. E. ; WILD, R. ; GÖTZ, M. ; HUSEMANN, Ronaldo . Tool Support for Evaluating Temporal Characteristics of Industrial Protocols. In: 3rd IEEE Workshop on Factory Communication Systems (WFCS?2000), 2000, Porto. 3rd IEEE Workshop on Factory Communication Systems. Los Alamitos - USA: IEEE Computer Society, 2000. p. 195-201.

• BECKER, L. B. ; PEREIRA, C. E. . Using UML-based framework to integrate real-time object-oriented programing models. In: First Workshop on Real-Time and Embedded Distributed Object Computing, 2000, Falls Church. First Workshop on Real-Time and Embedded Distributed Object Computing, 2000.

• BECKER, L. B. ; PEREIRA, C. E. ; TEIXEIRA, I. ; TEIXEIRA, J. P. ; DIAS, O. P. . Optimizing Functional Distribution in Complex System Design. In: International IFIP WG 10.3 / WG 10.4 / WG 10.5 Workshop on Distributed and Parallel Embedded Systems, 2000, Paderborn. Proceedings International IFIP WG 10.3 / WG 10.4 / WG 10.5 Workshop on Distributed and Parallel Embedded Systems, 2000.

• BECKER, L. B. ; PEREIRA, C. E. ; PARDI JR, W. . Proposal of an Integrated Object-Oriented Environment for the Design of Supervisory Software for Real-Time Industrial Automation Systems. In: Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'99), 1999, Santa Barbara. Los Alamitos - USA: IEEE Computer Society, 1999. p. 357-368.

• BECKER, L. B. ; PEREIRA, C. E. ; GERGELEIT, Martin ; NETT, E. . An Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System. In: 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 1999, Saint-Malo, 1999. p. 165-171.

• BECKER, L. B. ; PEREIRA, C. E. . SIMOO-RT: Ambiente Integrado para Desenvolvimento de Sistemas de Tempo Real Distribuídos usando o Paradigma de Orientação a Objetos. In: II Workshop Brasileiro de Sistemas de Tempo Real, 1999, Salvador, 1999. p. 68-75.

• BECKER, L. B. ; PEREIRA, C. E. . SIMOO-RT: An Integrated Object-Oriented Environment for the Development of Distributed Real-Time Systems. In: International Symposium on CAD/CAN Robotics & Factories of the Future, 1999, Águas de Linóia, 1999.

• MITIDIERI, C. ; BECKER, L. B. ; PEREIRA, C. E. ; FOHLER, G. . Applying Multi-Agent Systems to Real-Time Industrial Automation. In: 1st IFAC Workshop on Multi-Agent-Systems in Production, 1999, Vienna. Preprints of 1st IFAC Workshop on Multi-Agent-Systems in Production, 1999. p. 127-131.

• BECKER, L. B. ; PEREIRA, C. E. . Desenvolvimento de Sistema Tempo Real Distribuídos usando Orientação a Objetos: Proposta de Ambiente. In: I Workshop Brasileiro de Sistemas de Tempo Real, 1998, Rio de Janeiro, 1998.

• BECKER, L. B. . Ambiente de Modelagem e Implementação de Sistemas Tempo Real usando o Paradigma de Orientação a Objetos. In: III Semana Acadêmica do CPGCC, 1998, Porto Alegre, 1998. p. 29-32.

• BECKER, L. B. ; PEREIRA, C. E. . Proposta de Ferramenta Orientada a Objetos para Modelagem, Simulação e Implementação de Sistemas Tempo Real Distribuídos. In: I Simpósio de Sistemas de Simulação e de Controle (SICON), 1998, Rio de Janeiro, 1998. p. 13-18.

• LIMA, B. ; SILVESTRE, I. O. ; DIAS, P. H. ; BECKER, L. B. ; HUBNER, J. F. ; BRITO, M. . Distributed UAV-Swarm Control Using BDI Agents. In: XVI Workshop-Escola de Sistemas de Agentes, Seus Ambientes e Aplicações (WESAAC 2022), 2022, Blumenau. Anais do XVI Workshop-Escola de Sistemas de Agentes, Seus Ambientes e Aplicações, 2022. p. 110-113.

• PAULON, A. ; BASSO, Fabio Paulo ; BECKER, L. B. . Model-Driven Development of WSN Applications. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 161.

• GONCALVES, F. ; RAFFO, G. V. ; BECKER, L. B. . Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle. In: 2013 III Brazilian Symposium on Computing Systems Engineering (SBESC), 2013, Niteroi. 2013 III Brazilian Symposium on Computing Systems Engineering. p. 171.

• Baccour, N. ; Ben Jamâa, M. ; Rosário, Denis ; Koubâa, A. ; Alves, M. ; BECKER, L. B. ; H. Fotouhi . Demo Abstract: RadiaLE: a framework for benchmarking link quality estimators. In: 7th European Conference on Wireless Sensor Networks, 2010, Coimbra. Proceedings of the 7th European Conference on Wireless Sensor Networks, 2010.

• Baccour, N. ; Ben Jamâa, M. ; Koubâa, A. ; Rosário, Denis ; Alves, M. ; BECKER, L. B. ; JMAIEL, M. . TB-LQE: A TestBed for the evaluation of Link Quality Estimators in WSNs. In: SensorNets 2009: The First International School on Cyber-Physical and Sensor Networks, 2009, Monastir. Proc. of The First International School on Cyber-Physical and Sensor Networks, 2009.

• SOBRAL, M. M. ; BECKER, L. B. . A Real-Time Subject Routing Protocol for MANETs. In: 10 Workshop on Real-Time and Embedded Systems, 2008, Rio de Janeiro. Proceedings of the 10 Workshop on Real-Time and Embedded Systems, 2008. p. 125-128.

• BECKER, L. B. ; SOBRAL, M. M. . Infrastructure for Autonomus Mobile Robots Comunication and Coordination. In: WRT 2007. 9 Workshop on Real-Time Systems, 2007, Belém, PA. Anais do Simpósio Brasileiro de Redes de Computadores e do Worshop de Tempo Real. Belém: UFPA, 2007. v. 2. p. 90-93.

• BECKER, L. B. ; PEREIRA, C. E. ; HOLSBACH, G. ; MANO JR, J. ; MÜLLER, I. . Ambiente Integrado para Aplicação em Futebol de Robôs - Parte I. In: XI Salão de Iniciação Científica, 1999, Porto Alegre. XI Salão de Iniciação Científica, 1999. p. 147.

• BECKER, L. B. ; PEREIRA, C. E. ; HOLSBACH, G. ; MÜLLER, I. ; MANO JR, J. . Ambiente Integrado para Aplicação em Futebol de Robôs - Parte II. In: XI Salão de Iniciação Científica, 1999, Porto Alegre. XI Salão de Iniciação Científica, 1999. p. 147.

• BECKER, L. B. ; PEREIRA, C. E. ; HOLSBACH, G. ; FLORES, A. . Sistema para Monitoração e Controle de Tanques Utilizando QNX TR/C++. In: X Salão de Iniciação Científica, 1998, Porto Alegre. X Salão de Iniciação Científica, 1998. p. 182.

• BECKER, L. B. ; GRÜNDLING, H. ; KTEL, J. . Automação de uma Central de Produção de Pintos. In: XII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1996, Curitiba, 1996. p. 138-138.

• BECKER, L. B. ; GRÜNDLING, H. ; KTEL, J. . Automação dos Ensaios para a Determinação da Permeabilidade à Cloretos em Concretos. In: XII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1996, Curitiba, 1996. p. 137-137.

• BECKER, L. B. ; GRÜNDLING, H. ; AGOSTINI, M. . Instrumentação para Controle Vetorial de Motores de Indução em um Ambiente PC-compatível. In: Anais III Jornada Integrada de Pesquisa, Extensão e Ensino, 1996, Santa Maria, 1996. p. 1151-1151.

• BECKER, L. B. ; GRÜNDLING, H. ; KTEL, J. . Interface Programável (PC-compatível) para Controle de Processos. In: 3as Jornadas de Investigación para Investigadores Jóvenes y/o en Formación del Grupo Montevideo, 1995, Concórdia, 1995. p. 181-181.

• BECKER, L. B. ; GRÜNDLING, H. ; KTEL, J. . Interface Programável para Desenvolvimento de Técnicas PWM. In: XI Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1995, Caxias do Sul, 1995. p. 321-321.

• BECKER, L. B. ; GOULART, L. ; MANZONI, L. ; PIVETTA, L. ; LIMA, J. C. . Sistema Baseado em Hiperdocumento para Controle de Horários. In: II Jornada Integrada de Pesquisa, Extensão e Ensino, 1995, Santa Maria, 1995. p. 988-988.

• CORREIA, CARLOS EDUARDO XAVIER ; Buss Becker, Leandro ; BASSO, FÁBIO . A review on the infrastructure and tool support for Model-Driven Engineering in the automation of the petrochemical industry. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , 2025.

• Buss Becker, Leandro . Modelagem de Sistemas Embarcados com a Linguagem AADL. 2024. (Curso de curta duração ministrado/Outra).

• BECKER, L.B. . Programação em Android. 2013. (Curso de curta duração ministrado/Extensão).

• BECKER, L.B. . Técnicas de proyectos de sistemas embebidos. 2012. (Curso de curta duração ministrado/Outra).

• RAFFO, Guilherme Viana ; MORENO, U.F. ; FARINES, J. M. ; BECKER, L. B. . Robótica Móvel. 2011. (Curso de curta duração ministrado/Outra).

• BECKER, L. B. ; PEREIRA, C. E. . Aplicação de Tecnologias Orientadas a Objetos no Desenvolvimento de Sistemas Computacionais Tempo-Real Distribuídos. 2001. (Curso de curta duração ministrado/Outra).

• BECKER, L. B. ; PEREIRA, C. E. . Programação Orientada a Objetos. 2000. (Curso de curta duração ministrado/Extensão).

• BECKER, L. B. ; PEREIRA, C. E. ; FRIGERI, A. . Curso de Programação Orientada a Objetos (Ênfase em Automação Industrial). 1999. (Curso de curta duração ministrado/Extensão).

Projetos de pesquisa

• 2024 - Atual

  Análise e proposição de soluções para otimização de atuadores eletro-hidráulicos e unidades de potência hidráulicas para aplicações submarinas, Descrição: A Bosch Rexroth, com o Departamento de Sistemas de Automação Submarinos (SAS), desenvolve tecnologias para a automação de sistemas de produção submarinos. Exemplos dessas tecnologias são atuadores de válvula submarinas (SVAs) destinados a operação de válvulas de processo, de tipos lineares e rotativas, em aplicações de exploração e produção de petróleo e gás para profundidades de até 4.000 metros. Tendo em vista a complexidade de sistemas de automação submarinos, faz-se necessário o constante aprimoramento e desenvolvimento de novas ferramentas. Assim, o departamento SAS (Subsea Automation Systems) da Bosch Rexroth vê como promissor um projeto de pesquisa com o objetivo desenvolver otimizações e melhorias para tais sistemas eletro-hidráulicos e/ou eletromecânicos, o qual poderia ser realizado em parceria com o Laboratório de Sistemas Hidráulicos e Pneumáticos (LASHIP), vinculado ao Departamento de Engenharia Mecânica, e o Departamento de Automação e Sistemas (DAS) da Universidade Federal de Santa Catarina (UFSC). Desta forma, este projeto objetiva o desenvolvimento de soluções que possam ser aplicadas a atuadores eletro-hidráulicos e eletromecânicos e em unidades de potência hidráulicas para aplicações submarinas, com ênfase na identificação e/ou proposição, com base em critérios técnicos e econômicos, de princípios de solução eletro-hidráulicos para equipamentos submarinos e no desenvolvimento de software para controlador embarcado destinado a atuadores de válvulas submarinas (SVAs) e unidades de potência hidráulicas submarinas (HPUIs).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Leandro Buss Becker - Coordenador / Victor Juliano de Negri - Integrante., Financiador(es): Bosch RexRoth Ltda - Auxílio financeiro.

• 2024 - Atual

  Rede Catarinense de Laboratórios de Pesquisa em Robótica Avançada, Descrição: A proposta busca estabelecer uma rede de laboratórios especializados em robótica, distribuídos nos Campi de Florianópolis, Blumenau e Joinville, visando promover avanços na pesquisa em Ciência, Tecnologia e Inovação (CTI) no estado de Santa Catarina. Esses laboratórios terão foco multidisciplinar, abrangendo áreas como robótica industrial e móvel (terrestre, aquática e aérea). A Rede Catarinense de laboratórios de robótica avançada têm o potencial de oferecer infraestrutura para a criação de soluções inovadoras nas áreas agrícola, pesqueira, indústria alimentícia, têxtil, saúde, meio ambiente e segurança pública; e em atividades de inspeção e manutenção de grande risco, nos setores de energia e naval, assim como em logística e rastreabilidade de produtos. Em Florianópolis no LAR (Laboratório de Robótica Prof. Raul Guenther) ficará o polo de robótica industrial; em Blumenau no LASER (Laboratório de Sistemas Embarcados e Robóticos) ficará o polo de robótica móvel terrestre e aérea, além da unidade de prototipagem de sistemas mecatrônicos; por fim, em Joinville, no LabDse (Laboratório de desenvolvimento de sistemas de engenharia), ficará o polo de robótica móvel aquática.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Leandro Buss Becker - Coordenador / Edson Roberto De Pieri - Integrante / Leonardo Mejia Rincon - Integrante.

• 2024 - Atual

  VersatileAIRMOB - Desenvolvimento de um VANT QuadCP-VTOL para missões de transporte de carga e manipulação aérea para mobilidade aérea avançada, Descrição: O uso de veículos aéreos não tripulados (VANTs) híbridos apresenta uma solução atraente para atender às crescentes demandas por operações aéreas versáteis e sustentáveis. VANTs híbridos na configuração tiltrotor combinam as vantagens de aeronaves de asa fixa (implantação rápida e maior autonomia) com as capacidades das de asa rotativa (decolagem e aterrissagem vertical (VTOL) e pairar), criando assim soluções eficazes para sistemas avançados de mobilidade aérea. Esses VANTs podem acessar áreas remotas, tornando-os ideais para entregar suprimentos essenciais em locais de difícil acesso. Ademais, quando equipados com braços robóticos, esses VANTs podem realizar tarefas de manipulação no ar. Apesar dessas vantagens, o desenvolvimento de VANTs híbridos impõe diversos desafios. Como a configuração é nova, estudos aeronáuticos na literatura são escassos. Projetar estratégias de controle para o VANT híbrido também é desafiador, pois o sistema é mecanicamente subatuado, altamente não linear e acoplado. Além disso, poucos trabalhos abordam o controle de VANTs convertíveis (CP) durante a transição entre seus diferentes modos de voo. Neste contexto, este projeto visa desenvolver um VANT inovador, híbrido, denominado VANT QuadCP-VTOL, equipado com fontes de energia renovável, quatro rotores convertíveis, capacidades de transporte de carga e manipulação aérea, e capaz de navegar com segurança e confiabilidade em sistemas mobilidade aérea avançada. Assim, o projeto estrutural do VANT buscará minimizar o peso da aeronave usando materiais compósitos para aumentar a capacidade de carga. O hardware será desenvolvido para atender os requisitos de tempo real do sistema de controle, e um sistema de energia será projetado combinando fontes de energia convencionais e renováveis. Novas estratégias de controle de voo serão projetadas especificamente para missões de transporte de carga e manipulação aérea. Por fim, serão realizados experimentos de hardware in the loop (HIL) e testes de voo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Leandro Buss Becker - Integrante / RAFFO, GUILHERME V. - Coordenador / Sergio Esteban Roncero - Integrante / Carlos Bordons - Integrante., Financiador(es): (CNPq) Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2018 - 2021

  VANT3D - Inspeção Óptica Tridimensional por Veículo Aéreo Não Tripulado, Descrição: Para garantir a integridade de risers flexíveis e umbilicais eletro-hidráulicos na industria de PG existe a necessidade da inspeção visual para verificação do estado geral dos dutos e seus acessórios, de modo a identificar a possível existência de danos no revestimento externo, danos em acessórios, danos tipo torção, loop ou dobramento, entre outros. Tradicionalmente esta operação é realizada utilizando escalada industrial onde o técnico de inspeção realiza medições manuais como a medição do diâmetro do duto e registro fotográfico dos pontos de interesse. Tal operação exige uma grande mobilização de recursos para a preparação, realização da inspeção e desmontagem dos equipamentos e estruturas auxiliares. Mais recentemente o uso de VANTs possibilita a realização da inspeção visual de forma relativamente rápida e econômica. Todavia, nenhum tipo de informação quantitativa ainda é fornecido. Espera-se com o desenvolvimento do presente projeto, além do registro fotográfico, a análise da viabilidade da inspeção tridimensional detalhada de trechos de interesse. Com isto, pode ser possível extrair um número maior de informações sem a necessidade da montagem de estrutura para medição manual. O objetivo principal do presente projeto de pesquisa é a realização de estudo de viabilidade de reconstrução tridimensional e inspeção de risers com dados adquiridos por VANTs instrumentados e análise metrológica dos resultados. Objetivos específicos: * Reconstrução tridimensional dos risers através do processamento de imagens previamente adquiridas por VANT; * Definição de procedimentos para a melhoria da qualidade de aquisição de imagens adquiridas por VANT no âmbito do projeto e análise metrológica dos resultados; * Estudo de utilização de recursos adicionais instalados em VANT para melhoria da qualidade metrológica da reconstrução tridimensional dos risers; * Desenvolver sistema de medição 3D compacto e leve; * Integrar sistema de medição 3D ao VANT; * Realizar a representação da medição tridimensional através de nuvem de pontos ou malhas com textura; * Construir e validar protótipos de VANT instrumentado para medição de duto instalado em laboratório; * Realizar a análise metrológica do sistema e estudar a viabilidade de aplicação; * Testes de integração do sistema a VANT de empresa credenciada; * Testes em campo de protótipo para medição de duto em condições onshore (CENPES) e offshore; * Realizar a análise das medições em campo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Leandro Buss Becker - Integrante / Diego Camara Sales - Integrante / Tiago Loureiro Figaro da Costa Pinto - Coordenador / Armando Albertazzi Goncalves Junior - Integrante / Pedro de Deus Vieira Buschinelli - Integrante / Moacir Wendhausen - Integrante., Financiador(es): Centro de Pesquisa da Petrobrás - Outra.

• 2017 - 2022

  Desenvolvimento de um Veículo Aéreo Não Tripulado Convertível com Fontes de Energia Renovável, Projeto certificado pelo(a) coordenador(a) Julio Elias Normey Rico em 31/03/2018., Descrição: Nos últimos anos, a tecnologia de veículos aéreos não tripulados (VANTs) está sendo especialmente útil em missões de busca e resgate (SAR, do inglês Search and Rescue), graças as suas capacidades de resposta rápida, operação remota, transporte, monitoramento e implantação de sensores. Apesar de existirem vários exemplos recentes do uso de VANTs em missões SAR, especialmente em catástrofes naturais e missões humanitárias, ainda são muitos os desafios para seu uso corriqueiro em emergências. Em particular, nos casos quando se necessita chegar rapidamente nas zonas de desastres usando Veículos de Intervenção Rápida. De fato, as possibilidades de atuação dos serviços de busca e resgate se tornam reduzidas dadas as limitações do tipo de VANT escolhido: as aeronaves de asa fixa possuem um maior alcance, autonomia e capacidade de carga, mas não possuem capacidade de decolagem e aterrissagem vertical (VTOL, Vertical Take-Off and Landing); já as aeronaves de asa rotatória possuem capacidade VTOL, porém tem menor alcance e autonomia. Portanto, as limitações de espaço disponível nos Veículos de Intervenção Rápida e a incerteza de que tipo de aeronave escolher nos primeiros momentos de uma situação de emergência justificam a necessidade de explorar novas ferramentas que possam proporcionar uma solução ao problema. Este projeto propõe explorar o uso de aeronaves de asa fixa convertíveis, com capacidade VTOL, combinando as vantagens das aeronaves de asa fixa e asa rotatória. Isto permitiria a um posto de comando rápido transportar um único VANT polivalente, que poderia estar integrado, regularmente, dentro das ações coordenadas de resposta rápida em situações de emergência. Esta aeronave será de simples operacionalização e de rápida implantação, dado o desenvolvimento de estratégias de controle e guiamento autônomo, de maneira que um profissional de saúde possa utilizá-la sem necessitar de formação técnica especializada. Através de fontes de energia renováveis (solar), juntamente com uma adequada e inovadora estratégia de gestão da energia em tempo real, se aumentará consideravelmente a autonomia da aeronave. O sistema computacional a ser embarcado na aeronave será desenvolvido modularmente no escopo do projeto, possibilitando executar algoritmos de controle, guiamento e navegação de maneira robusta e eficiente.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) / Doutorado: (3) . , Integrantes: Leandro Buss Becker - Integrante / Julio Elias Normey Rico - Coordenador / Guilherme Viana Raffo - Integrante.

• 2015 - 2021

  Desenvolvimento de Algoritmos de Controle Preditivo Não Linear e de Avaliação de Desempenho de Controladores Preditivos para Plataformas de Produção de Petróleo, Projeto certificado pelo(a) coordenador(a) Julio Elias Normey Rico em 24/09/2015., Descrição: Projeto em parceria com o CENPES/Petrobrás que visa o desenvolvimento de algoritmos de controle preditivo não linear para Plataformas de Produção de Petróleo e também a avaliação de desempenho de controladores preditivos para os mesmos fins.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (3) . , Integrantes: Leandro Buss Becker - Integrante / Julio Elias Normey Rico - Coordenador / Agustinho Plucenio - Integrante.

• 2013 - 2016

  Floripa-Sat ? Ensino, pesquisa e desenvolvimento em Engenharia Aeroespacial por intermédio de um payload voltado para Energy Harvesting, Descrição: O Floripa-Sat consiste em uma iniciativa de pesquisadores e alunos da UFSC visando o desenvolvimento de uma missão espacial completa, desde a etapa de levantamento de requisitos até o lançamento de satélites de porte muito pequeno, do tipo ?nano-satélites?. O satélite considerado para a missão Floripa-Sat é do tipo Cubesat, sendo este um padrão já estabelecido e com uma boa infraestrutura para lançamentos. O satélite proposto é composto pelos seguintes módulos e subsistemas: Computador de bordo (On-Board Computer, OBC); Software de gerência de tempo; Subsistema de TC/TM; Subsistema de energia; Carga útil (Payload); Painéis solares; Bateria recarregável; e Gabinete. Seria interessante poder contar também com magnetômetros e rodas de reação, possibilitando assim um controle de atitude. Neste sentido, pretende-se realizar um estudo para identificar a capacidade de um Cubesat fornecer a energia necessária. As atividades a serem realizadas pela plataforma de serviço devem ser simples e objetivas, visando máxima eficiência energética. Basicamente, a telemetria coletada dos subsistemas de bordo é enviada pelo OBC para o subsistema de TC/TM, que realiza a comunicação entre o satélite e estações terrestres. No nano-satélite em questão os TCs previstos servirão apenas para o controle da missão realizar interações mínimas com o satélite. Informações de TM podem ser a resposta do sistema a um determinado TC, informações de tempo (relógio interno), situações de exceção, entre outros.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Leandro Buss Becker - Coordenador / Eduardo Augusto Bezerra - Integrante / Djones Lettnin - Integrante / Anderson W. Spengler - Integrante / Leonardo K. Slongo - Integrante., Financiador(es): Agência Espacial Brasileira - Auxílio financeiro.

• 2012 - 2018

  Projeto e Desenvolvimento de um Veículo Aéreo Não Tripulado (PROVANT), Descrição: Os chamados Veículos Aéreos Não Tripulados (VANTs), popularmente conhecidos por Drones, têm se tornado cada vez mais frequentes. Nos EUA, estima-se que 1 em cada 3 aeronaves militares são não-tripuladas. As grandes empresas de aviação estão realizando investimentos de monta neste tipo de tecnologia, cujo mercado encontra-se em plena expansão. Analistas estimam que o mercado de VANTs deva superar a casa dos 89 bilhões de dólares nos próximos dez anos. Dominar as tecnologias de projeto e controle de VANTs é, portanto, uma questão de extrema importância para o desenvolvimento tecnológico do país. Atentos a essa questão, o presente projeto de pesquisa propõe o desenvolvimento de um VANT de baixo custo, com caráter geral, voltado para aplicações civis. Diferentemente da grande maioria dos projetos atualmente em realização no País tendo como escopo VANTs, este projeto visa não apenas a construção do software de controle, mas também a concepção física do VANT, utilizando para tanto uma proposta diferenciada e de mais baixo custo. Ao invés de se trabalhar com veículos aéreos em escala reduzida nas configurações comumente encontradas - por exemplo, aeronaves de asas fixas (aviões) ou aeronaves de asas rotativas, como os helicópteros com quatro rotores (comumente chamados quadrirrotores) - o presente projeto propõe a construção de um VANT com dois rotores, constituindo assim uma aeronave de asas rotativas na configuração Tiltrotor. Além de atacar os desafios de controle em tempo real, o projeto aqui proposto também pretende explorar questões relacionadas com a comunicação entre o VANT e a estação em solo e também a comunicação entre dois ou mais VANTs.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Leandro Buss Becker - Coordenador / Julio Elias Normey Rico - Integrante / Guilherme Viana Raffo - Integrante / PASSARINI, ROSANE F'TIMA - Integrante / Rodrigo Donadel - Integrante / Joao Paulo Bodanese - Integrante / GONCALVES, F.S. - Integrante., Número de produções C, T & A: 4

• 2011 - 2016

  Rede E3 - Eletrônica Embarcada em Equipamentos, Descrição: Este projeto trata da formção de uma nova rede cooperativa visando a execução de projetos de interesse para emprsas brasileiras fornecedoras de bens e serviços para o setor de Petróleo e Gás Natural (P&G) no tema Eletrônica Embarcada em Equipamentos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leandro Buss Becker - Integrante / Carlos Eduardo Pereira - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2011 - 2013

  (CIA)² - Construindo Cidades Inteligentes: da Instrumentação dos Ambientes ao desenvolvimento de Aplicações, Descrição: Cidades Inteligentes é um conceito relacionado à oferta de serviços de informação e comunicação para solucionar os problemas dos cidadãos em seus conglomerados urbanos, e de garantir uma melhor gestão pública. Uma cidade inteligente necessita de soluções para vários problemas, como: trânsito, vigilância, atendimento de emergência, monitoramento ambiental, saúde, educação e inclusão digital, bem como permite uma maior eficiência e transparência na gestão pública. Para suportar essas soluções os diversos dados urbanos precisam ser coletados e disseminados através de infraestruturas de comunicação, que por sua vez exigem formas integradas, heterogêneas, e inteligentes de comunicação sem fio. Além disso, tanto a comunicação como as aplicações precisam ser eficientes em energia em situação de sobrecarga e emergência. Neste contexto, o CIA2 se propõe a construir uma infraestrutura de instrumentação, computação e comunicação para viabilização de Cidades Inteligentes, abrangendo desde a aquisição dos dados urbanos brutos por meio de tecnologias de redes de sensores e internet das coisas, a comunicação, o armazenamento, e o acesso a esses dados através de diferentes tecnologias e protocolos de redes sem fio, até a construção de aplicações que se beneficiem de toda essa infraestrutura, suportando uma melhor gestão pública e do meio ambiente e agregando valor ao cidadão. O CIA2 é um consórcio constituído por 18 universidades brasileiras que, juntas, estão construindo os fundamentos para as Cidades Inteligentes brasileiras. O projeto é financiado pelo CTIC, o fundo da RNP (Rede Nacional de Pesquisa) para projetos relacionados a Cidades Inteligentes. Neste projeto, o LISHA e a UnB estão responsável por construir uma infraestrutura para a Internet das Coisas (IoT - Internet of Things). Esta infraestrutura é composta por uma plataforma embarcada, o EPOSMote, e uma pilha de protocolos inovadores de rede, sem legado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Leandro Buss Becker - Integrante / Antonio Augusto Medeiros Fröhlich - Coordenador., Financiador(es): Rede Nacional de Ensino e Pesquisa - Auxílio financeiro.

• 2010 - 2013

  Contribuição para Geração de Metodologia e Infraestrutura Voltadas para o Desenvolvimento de Cyber-Physical Systems, Descrição: Este projeto de pesquisa trata dois aspectos fundamentais relacionados com o desenvolvimento de Sistemas Ciber-Físicos: metodologia de projeto e infraestrutura. Muito embora tais aspectos sejam comumente tratados como questões independentes entre si, este projeto de pesquisa visa aproximá-los. Para tanto é necessário aprofundar o conhecimento sobre estes dois temas, permitindo um avanço de cada questão isoladamente. A partir deste conhecimento é que deverão ser feitas as ?amarras? que vão permitir a sua aproximação. A pesquisa envolvendo metodologias de projeto devem ser basear na Modelagem Baseada em Modelos. Em relação à infraestrutura, será dado ênfase a questões de comunicação utilizando redes sem fio.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (4) . , Integrantes: Leandro Buss Becker - Coordenador / Marcelo Maia Sobral - Integrante / Luiz Raupp - Integrante / Daniel Lima Martins - Integrante / Gabriel Henrique Santos - Integrante / do Rosário, Denis - Integrante / Rafael Garlet de Oliveira - Integrante / Elisabete Moraes - Integrante / Kaiser, Jorg - Integrante / Araújo, Gustavo Medeiros de - Integrante / PASSARINI, ROSANE F'TIMA - Integrante / FARINES, JEAN-MARIE ALEXANDRE - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 14

• 2009 - 2011

  Embedded SDR - Desenvolvimento de um Software-defined Radio Embarcado, Descrição: O projeto Embedded SDR - Desenvolvimento de um Software-defined Radio Embarcado visa desenvolver uma plataforma de SDR embarcado (hardware) e IPs para processamento digital de sinais. O projeto prevê duas etapas: (a) SDR baseado na plataforma USRP e com adição de um processador DSP para operação com GNU Radio; e (b) plataforma SDR baseada em SoC projetado pelo LISHA, com capacidade de reconfiguração e visando operação embarcada, independente de um sistema computacional hospedeiro. Ambas as fases gerarão protótipos que serão validados tanto em laboratório quanto em estudos pilotos de campo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Buss Becker - Integrante / Antonio Augusto Medeiros Fröhlich - Coordenador / Roberto de Matos - Integrante / Cleiber Marques da Silva - Integrante., Financiador(es): Dígitro Tecnologia - Auxílio financeiro., Número de produções C, T & A: 5

• 2008 - 2010

  Arquitetura de Comunicação para Sistemas MóvEis CoopeRatiVOs - ACERVO, Descrição: Este projeto está voltado para pesquisar problemas e soluções relacionadas com robôs e veículos móveis cooperativos. Mais especificamente, tem-se como enfoque principal do trabalho a comunicação através de redes sem fio. Serão pesquisados problemas relacionados com o estabelecimento da conectividade entre os nodos, dado que muitas vezes essas aplicações são usadas em ambientes onde não existe infra-estrutura de rede disponível. Além disso, procura-se tratar questões pontuais como: (i) prover um modelo de comunicação adequado para as aplicações; (ii) assegurar a entrega de mensagens dentro dos limites de tempo impostos; e (iii) prover um mecanismo de acesso ao meio com tempo determinista.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Leandro Buss Becker - Coordenador / Joerg Kaiser - Integrante / Marcelo Maia Sobral - Integrante / Roberto de Matos - Integrante / Raimundo José de Araújo Macêdo - Integrante / Denis Rosário - Integrante / Mario Alves - Integrante / Kiraly Garcia de Oliveira - Integrante / Luiz Raupp - Integrante / Felipe Sá - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 20

• 2008 - 2009

  Avaliação de Falhas em Redes CAN Acopladas em Sistemas de Controle Automotivo em Tempo-Real, Descrição: Este prjeto tem por objetivo elaborar um parecer técnico sobre possíveis causas de falhas em redes CAN acopladas em sistemas embarcados de controle automotivo, bem como avaliar o impacto dessas falhas nos sistemas de controle implementados em DSPs, microcontroladores e microprocessadores. O projeto deverá contar com uma análise experimental que comprove as conclusões levantadas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Leandro Buss Becker - Coordenador / Christian Roberto Kelber - Integrante / Breno Carneiro Pinheiro - Integrante / Gabriel Henrique Santos - Integrante., Financiador(es): DHB COMPONENTES AUTOMOTIVOS - Auxílio financeiro., Número de produções C, T & A: 1

• 2007 - 2009

  Sistema Embarcado para Automação de Manobras de Estacionamento - SIAMES, Descrição: O projeto SIAMES proposto neste documento visa abordar a questão do controle automatizado de manobras de estacionamento, desenvolvendo um sistema tempo-real embarcado para realizar o controle das respectivas manobras. Para tanto, propõe-se o estudo de algoritmos de controle preditivo para a manobra que um carro precisa fazer para estacionar, considerando tanto a dinâmica como a cinemática do veículo. Como resultado espera-se obter um algoritmo de fácil implementação e capaz de otimizar os tempos de cálculo para não sobrecarregar a plataforma embarcada, bem como do fornecimento da configuração mínima de sensores a serem empregados na tarefa. O sistema de controle deverá utilizar estratégias de controle preditivo, as quais foram previamente testadas no veículo para outros tipos de movimentos. Para validar a proposta elaborada pretende-se integrar o sistema desenvolvido num veículo do tipo Mini-Baja equipado com tecnologia drive-by-wire e devidamente instrumentado de acordo com os requisitos do projeto proposto. A metodologia a ser empregada no desenvolvimento deste projeto é baseada na divisão do sistema proposto em sub-partes, onde cada uma delas será coordenada por um ou mais professores participantes do projeto, os quais deverão desenvolver os temas de pesquisa propostos no escopo de trabalhos de mestrado e doutorado, com o auxílio de alunos de iniciação científica. Ao final do projeto, espera-se obter um protótipo de veículo devidamente instrumentado e com os algoritmos de controle implantados num sistema tempo-real embarcado, capaz de realizar as manobras de estacionamento de maneira automática.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Leandro Buss Becker - Integrante / Julio Elias Normey Rico - Coordenador / Christian Roberto Kelber - Integrante / Breno Carneiro Pinheiro - Integrante / Daniel Lima Martins - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 8

• 2007 - 2009

  Timing Analysis and Program Implementation On Complex Architectures - TAPIOCA, Descrição: Este projeto tem como finalidade, o desenvolvimento de metodologias e ferramentas de modelagem e verificação automática que permitem produzir softwares que garantam o respeito das propriedades quantitativas temporais que são impostas pelas exigências especificas das aplicações e das restrições da plataforma de execução.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Leandro Buss Becker - Integrante / Jean Marie Alexandre Farines - Coordenador / AMINE, Mamoun Filali - Integrante / François Vernadat - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.

• 2006 - 2007

  Componentes de Comunicação para Sistemas Embarcados Distribuídos, Cooperativos e Tempo Real, Descrição: A área de pesquisa denominada 'Sistemas Embarcados Tempo Real Distribuídos' (SETDs) é uma área emergente de extrema importância para diferentes domínios de aplicação, motivando assim inúmeros projetos de pesquisa. A literatura apresenta algumas metodologias e arquiteturas para abordar problemas relacionados com o desenvolvimento de sistemas tempo real. Entretanto, verifica-se que as mesmas são específicas para tempo real e não levam em consideração o aspecto "embarcado". Assim, ainda existem inúmeros problemas a serem solucionados, principalmente aqueles relacionados com a lacuna provocada pelos escassos recursos dos sistemas embarcados em comparação com a tecnologia que vem sendo usada na computação tempo real distribuída. Logo, existe um consenso sobre a necessidade de novas arquiteturas e ferramentas voltadas para este tipo de desenvolvimento, o que justifica a realização deste projeto. O projeto de pesquisa proposto neste documento visa justamente abordar a problemática exposta. De modo mais específico, pretende-se desenvolver uma arquitetura para promover o desenvolvimento de SETDs com necessidade de cooperação. A arquitetura proposta deverá ser formada por um conjunto de elementos de infra-estrutura configuráveis, como por exemplo sistema operacional tempo real (SOTR), middleware de comunicação, modelo de programação da aplicação e modelagem de alto nível. O presente projeto também deverá abordar sub-partes específicas destes elementos, entre eles o escalonamento de tarefas tempo real. Através do uso de componentes re-usáveis será possível agilizar o processo de desenvolvimento e também maximizar aspectos de qualidade e segurança nos novos projetos a serem desenvolvidos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Leandro Buss Becker - Coordenador., Financiador(es): Universidade Federal de Santa Catarina - Auxílio financeiro.

• 2005 - 2007

  Uma Arquitetura Para Sistemas Embarcados Distribuídos, Cooperativos e Tempo Real, Descrição: O presente projeto de pesquisa trata do desenvolvimento de sistemas embarcados. Tais sistemas geralmente possuem vários requisitos de tempo real, tanto de natureza interna quanto de natureza externa, sendo relativo à interação entre os mesmos. Além disso, na maioria das vezes estes sistemas possuem limitações de hardware as quais devem ser observadas durante o projeto do software. Desta maneira não basta aos mesmos a utilização de arquiteturas com propósito geral. Todo o projeto deve ser elaborado de modo otimizado para atender as necessidades específicas do sistema a ser desenvolvido. Por isto, o presente projeto pretende abordar de maneira sistemática o desenvolvimento desta classe de sistemas. De modo mais específico, pretende-se desenvolver uma arquitetura de software configurável a qual seja adequada para o projeto de sistemas embarcados distribuídos, cooperativos e tempo real. A arquitetura proposta deverá ser composta por um conjunto de elementos de infra-estrutura configuráveis, como por exemplo sistema operacional tempo real (SOTR) - com ênfase no mecanismo de escalonamento, middleware de comunicação, modelo de programação da aplicação, modelagem de alto nível e também uma metodologia de projeto. Como conseqüência, deverá ser possível agilizar o processo de desenvolvimento e também maximizar aspectos de qualidade e segurança nos novos projetos a serem desenvolvidos. Este projeto encontra-se no escopo de uma cooperação internacional com o Instituto de Sistemas Distribuídos (IVS) da OvG Universidade de Magdeburg, Alemanha.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leandro Buss Becker - Coordenador / Edgar Nett - Integrante / Joerg Kaiser - Integrante / Crineu Tres - Integrante / Guilherme Klein Gomes - Integrante / Ronaldo Aparecido Silva - Integrante / Douglas Dími Demarch - Integrante / Daniel Fernandes de Souza - Integrante / Carlos Humberto Barreto de Sousa - Integrante., Financiador(es): Universidade Federal de Santa Catarina - Bolsa / Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina - Cooperação.

• 2005 - 2006

  Escalonamento ?Smart? de Tarefas em Sistemas Embarcados Distribuídos, Cooperativos e Tempo Real, Descrição: O presente projeto de pesquisa encontra-se inserido num escopo mais abrangente, o qual visa abordar a definição de uma arquitetura de software configurável, a qual seja adequada para o projeto de sistemas embarcados distribuídos, cooperativos e tempo real. De maneira específica, neste projeto é abordado o elemento principal da arquitetura mencionada, que é o mecanismo de escalonamento de tarefas. Propõem-se estender e adaptar o escalonador TAFT (do inglês Time-Aware Fault-Tolerant) para o domínio dos sistemas embarcados. A principal extensão proposta está relacionada com o modelo de tarefas do TAFT, visto que o modelo subjacente da sua implementação inclui pares tarefas (task pairs) periódicas e independentes, cuja prioridade é expressa pelo seu deadline. Através desta extensão deve ser abordada a associação do parâmetro ?importância? com cada par de tarefas. Com isto seria possível fazer com que o projetista decida já no inicio do projeto quais tarefas são críticas para o funcionamento do sistema. Adicionalmente, através deste conceito é possível fazer uma correlação entre ?importância? da tarefa e o modo de operação do sistema. Neste caso, seria possível existirem múltiplas versões de cada tarefa, cada uma otimizada para um determinado modo de operação do sistema. Para implementar a solução proposta é necessário inserir alterações no mecanismo de escalonamento para que o mesmo leve em consideração a importância da tarefa ao invés de simplesmente calcular os seus deadlines, conforme realizado na versão atual do escalonador.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leandro Buss Becker - Coordenador / Crineu Tres - Integrante / Carlos Humberto Barreto de Sousa - Integrante., Financiador(es): Universidade Federal de Santa Catarina - Auxílio financeiro.

• 2003 - 2004

  SEEP - Sistemas Eletrônicos Embarcados baseados em Plataforma, Descrição: Projeto voltado para o desenvolvimento de sistemas eletrônicos embarcados.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Leandro Buss Becker - Integrante / Carlos Eduardo Pereira - Integrante / Flavio Rech Wagner - Coordenador / Luigi Carro - Integrante / Marcelo Soares Lubashewisk - Integrante / Erika Cota - Integrante.

• 1999 - 2003

  Projeto de Cooperação Brasil-Portugal (CPNq-ICCTI) MASTER: Metodologias de Análise e projeto de Sistemas de TEmpo Real, Descrição: Cooperação Internacional visando: - o estabelecimento de uma rede temática; - identificação de competência, recursos e talentos, de forma a evidenciar sinergias; - troca de experiência, conhecimento e meios de apoio à formação, pesquisa e desenvolvimento; - realização conjunta de seminários e publicações.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Leandro Buss Becker - Integrante / Isabel Teixeira - Integrante / João Paulo Teixeira - Integrante / Octávio P Dias - Integrante / Carlos Eduardo Pereira - Integrante / Marcelo Soares Lubaszewski - Coordenador.

• 1999 - 2002

  Projeto de Cooperação Brasil-Alemanha (CPNq-DLR) ADOORATA: A Distributed Object-Oriented Architecture for Real-Time Automation, Descrição: Projeto desenvolvido no âmbito do Programa de Cooperação Internacional entre Brasil e Alemanha, visando o desenvolvimento de uma infra-estrutura de suporte computacional para metodologias orientadas a objetos voltado para aplicações industriais com requisitos temporais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Leandro Buss Becker - Integrante / Edgar Nett - Integrante / Martin Gergeleit - Integrante / Carlos Mitidieri - Integrante / Joerg Kaiser - Integrante / Carlos Eduardo Pereira - Coordenador / Wolfgang Halang - Integrante.

Prêmios