Neste label concentramos os interesses do D-Lab reunindo todos os grupos temáticos.

...

O grupo de pesquisa estuda o data-driven design aplicado a um dos nichos prioritários: o setor de saúde e seu processo de digitalização, essencial para a agilidade de prestação de serviços no setor. Uma startup de base tecnológica foi criada por integrantes do grupo, em parceria com o INTECH do Hospital Universitário da USP, na pessoa do pesquisador, Dr. Oscar Fugita, com o intuito de desenvolver um modelo de referência para o design customizado de serviç...

...

O grupo dedica-se às técnicas de design para apoiar o roteiro estratégico da transformação digital, com base em novas abordagens de design fundamentadas na Engenharia de Sistemas Baseada em Modelos. Os requisitos baseiam-se particularmente na modelagem de domínio e de negócios, bem como na utilização de ontologias para descrever o roteiro, a maturidade e a prontidão. O estudo é ampliado para incluir a interoperabilidade e a prontidão do pessoal envolvido,...

     The Formal Verification & Petri Nets Group is concerned with the use of formal approaches to Engineering Design -, especially to automated systems. The goal is to develop methods for analysis and design associated with Model-Based Engineering using Petri Nets ...

Este projeto tem como objetivo o desenvolvimento de um framework para dar suporte ao processo de modelagem e design de sistemas automatizados, especialment...

D4PlanSS (Design for Planning Service  Systems) é um projeto que visa retomar o trablaho já desenvolvido pelo D-Lab em Knowledge Engineering for Planning agora com o uso de planejamento hierárquico, que pode ser formalizado na rede GHENeSys, também proposta pelo D-Lab. A proposta é poder fazer a ligação entre os métodos baseados em IA cognitiv...

O Projeto StRITI4.0 (Strategic Roadmap for an Intelligent Transformation to I4.0) parte do pressuposto de que a Transformação Digital é essencialmente um processo estratégico e propõe tratá-la baseada em dados e Inteligência Artificial. Começa com uma análise paramétrica (maturidade e prontidão) e segue com uma análise ontológica dos objetivos da empresa (baseada em processos de automação) para com base nessa avaliação propor um objetivo estratégico e o p...

Esta será uma reunião mais executiva, mas terá como tema os tópicos recentemente colocados sobre Modelagem e Design de Sistemas, e sobre os projetos, incluindo os de IA. Vamos ratificar a definição dos times de projeto e a estrutura mínima de trabalho, visando melhorar a performance. ...

Desenvolvimento de um APR (Auxílio à Pesquisa Regular) para dar suporte acadêmico a um projeto unificado do D-Lab, integrando todas as atividades que estão sendo desenvolvidos nesse momento (e com potencial de inclusão das atividades dos posdocs e de novos integrantes). O foco acadêmico é o desenvolvimento de sistemas de serviço com aplicações em processos produtivos, tendo como deliverable um sistema de apoio baseado em conhecimento na nuvem.  A equipe do D-Lab nesse momento conta com seis p...

10.1109/access.2021.3128431 April FAT-AES: Systematic Methodology of Functional Testing for Automotive Embedded Software Kleber N. Hodel, Jose Reinaldo Silva, Leopoldo R. Yoshioka, João Francisco Justo, Max M.D. Santos 10 IEEE Access Road vehicles have incorporated several functionalities over the last decade, with an increasing incorporation of electronic embedded systems. Most of those functionalities are controlled, managed, and supervised by distributed software, within many interconn...

10.1007/s12008-022-00968-0 June Revisiting Requirement Engineering for Intelligent Manufacturing Javier M. Silva, Pedro M.G. del Foyo, Arianna Z.S. Olivera, Jose Reinaldo Silva 16 International Journal on Interactive Design and Manufacturing (IJIDeM) The upcoming challenge for innovation in intelligent manufacturing design introduced a demand for agility and flexibility, adapting production plants and processes to emerging needs and new services. Arrangements of service-oriented cyber-p...

postigoCBA2018 www.ufpg.br/cba2018 0 Formal Requirements Specification for Mcrogrid Based in Architecture IEC61850 Postigo, M.A.O., Slva, J.M., Silva, J.R. 0 0 Joao Pessoa Proc. of CBA 2018 CBA

https://doi.org/10.3390/machines9120370 https://www.mdpi.com/books/book/5119 ISBN 978-3-0365-3327-8 117-142 A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services Miguel Angel Orellana Postigo, Eduardo L. Pellini, Jose Reinaldo Silva A solid demand to integrate energy consumption and co-generation emerged worldwide, motivated, on one hand, by the need to diversify and enhance energy supply, and, one the other hand, by the pressure to attend to the requ...

Basbaum2013 0 Requirement Analysis Method for Real World in Automated Planning Systems Basbaum, Rosimarci Tonaco and Vaquero, Tiago Stegun and Silva, José Reinaldo 0 0 Rome On the intelligent design field the requirement analysis phase has a fundamental role in automated planningespecially for ”real life” systems - because it has the ability to identify or redesign variables which can potentially increase the model accuracy generated by the automated planner. A great effort has been made...

https://ceur-ws.org/Vol-3424/ June Towards an agile distributed management system based on Petri Nets Tavares, J. Jean-Paul; Silva, J.R. 3424 Lisbon Algorithms and Theories for the Analysis of Event Data and Petri Nets for Twin Transitions The post-pandemic society demands interactive structures requiring autonomous logistics and manufacturing systems that could be monitored and changed during distributed implementation. Different methods have been used to model requirements satisfying ...

https://editorial.ucsg.edu.ec/ciencias-tecnicas/227-diseno-de-sistemas-de-automatizacion-integrada.html 938-9542-E25-65-2 470 Diseño de Sistemas de Automatización Integrada PIna, I.B.; Marinho, R.M.; Marchan, E.M.; Yero, G.G.; Silva, J.R.; Alvaréz, J.M.; Miyagi, P.E. Los sistemas de automatización moderna han evolucionado desde los simples accionamientos eléctricos y los lazos de control para la estabilización de las variables principales de procesos, hacia sistemas soportados en redes d...

Transition Flight of a Concept of Lifting-Wing Quadcopter Daud Filho, A.C. ; Siilva, E.C.N. ; SILVA, J. R. ; Caurin, G. ; Belo, E.M. 128 London The Aeronautical Journal. This paper presents the concept of a lifting-wing quadcopter UAV, a vertical take-off and landing vehicle (VTOL) with a rear wing, a canard at its front, and four propellers. The aerodynamic surfaces are designed so that their mounting angle can be adjusted and fixed prior to flight, so its performance in transiti...

https://doi.org/10.1007/s41050-023-00041-z https://link.springer.com/article/10.1007/s41050-023-00041-z June Forest Digital Twin: A Digital Transformation Approach for Monitoring Greenhouse Gas Emissions Silva, J.R.; Artaxo, P.; Vital, E.L. 6 London Polytechnica Digital Twins have been defined as a virtual representation of a real system, with validation links capable of granting an association and functional equivalence between the “twins,” even simultaneously or with a real-time delay. Th...

10.1007/s00170-006-0924-5 Silva2007 http://link.springer.com/10.1007/s00170-006-0924-5 1180--1190 0 Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation Silva, José Reinaldo and Benitez, Israel and Villafruela, Luisa and Gomis, Oriol and Sudriá 11 36 The International Journal of Advanced Manufacturing Technology design systems,modeling,petri nets,programmable logic controllers,validation,verification

Basbaum2016 http://icaps16.icaps-conference.org/proceedings/spark16.pdf 101--108 0 Using Hierarchical Models for Requirement Analysis of Real World Problems in Automated Planning Basbaum, Rosi and Silva, Javier Martinez and Silva, Reinaldo 0 0 Londres, England In the intelligent design field, the early phase of requirement analysis plays a fundamental role, especially when dealing with problems to which an analytic formal solutions is not applied. Automated planning appears in that categor...

10.48011/asba.v2i1.1448 souzaetal-CBA2020 https://www.sba.org.br/open_journal_systems/index.php/sba/article/view/1448/1216 0 Towards Adaptive Discrete Event Control Based on PRD, PSS and Automatic Planning Gabriel de Almeida Souza, Jose Jean-Paul Z. S. Tavares, Jose Reinaldo Silva 0 0 Santa Maria, RS Industry 4.0 technologies integrate devices and data, bring flexibility, efficiency and decision making, derived from decentralization. In a post pandemic society it is mandatory to...

Vaquero2012 0 Planning Ship Operations on Petroleum Ports and Platforms Vaquero, Tiago S. and Costa, Gustavo and Tonidandel, Flavio and Igreja, Haroldo and Silva, Jos{\'{e}} Reinaldo and Beck, J. Christopher 0 0 Atibaia, SP, Brazil In this paper, we address the process of modeling planning and scheduling ship operations on petroleum platforms and ports. The general problem to be solved is based on the transportation and delivery of a list of requested cargo to different locations conside...

10.3390/books978-3-0365-3328-5 https://www.mdpi.com/2673-4117/4/4/165 2941-2959 Modeling Requirements for Collaborative Robotic Services Zapata, O.S.M.; Correa, Y.G.; Yoshioka, L.R.; Silva, J.R. 4 eng Collaborative robots have experienced low acceptance in applications, especially in industry. This fact has attracted the attention of researchers and practitioners, who point to different causes for this limited acceptance. One of the main reasons is the difficulty in converging on suitabl...

10.37423/230107087 94-111 FORMAL REQUIREMENTS SPECIFICATION FOR MICROGRID BASED IN ARCHITECTURE IEC61850 Postigo, M.A.O.; Silva, J.R. Os sistemas Smart Grid (SG) são considerados uma alternativa sustentavel para problemas de fornecimento de energia em todo o mundo. Os sistemas de SG são abertos, distribuıdos e heterogêneos, o que aumenta a demanda por seu processo de design. Na atualidade, os projetos de SG geralmente sao elaborados aplicando metodos dedutivos, onde a fase de especific...

10.1007/978-3-031-49339-3_21 https://link.springer.com/book/10.1007/978-3-031-49339-3 336-347 Strategic Roadmap for Digital Transformation Based on Measuring Industry 4.0 Maturity and Readiness Santiago, S.B.; Silva, J.R. Switzerland Digital transformation emerged as a strategic imperative for organizations in the era of Industry 4.0. As disruptive technologies reshape industries and business models, organizations must navigate this evolving landscape to remain competitive and relevant...

Proposta de Procedimento para Gestão e Visualização de Dados no Contexto da Indústria 4.0 Mafei, A.S.; Pereira, E.S.S.; Ordonez, R.E.C.; Cordeiro, G.A.; Silva, J.R. Observando a importância dos dados para o desenvolvimento das práticas e ferramentas no contexto da Indústria 4.0, este trabalho busca propor um procedimento para a estruturação da gestão de informações e visualização de dados, com o foco da sua utilização como um dos pilares de maturidade da Indústria 4.0. Para alcanç...

Israel Francisco Benitez-Pina Relatório Final de Pós-doutorado O presente trabalho de posdoutorado responde a uma colaboração existente, desde fevereiro de 1998, entre o professor Dr. José Reinaldo Silva (Dpto. de Eng. Mecatrônica, EPUSP) e o autor deste trabalho. Naquela data se celebrou no balneário internacional de Varadero o II WorkShop SIntEd-CYTED sobre Edifícios Inteligentes da rede ibero-americana CYTED, onde foi apresentada parte da tese de doutorado do autor relacionada com ...

https://ceur-ws.org/Vol-3424/ Towards an Agile Distributed Management System Based on Petri Nets Tavares, J.J-P.Z.S.; Silva, J.R. The post-pandemic society demands interactive structures requiring autonomous logistics and manufacturing systems that could be monitored and changed during distributed implementation. Different methods have been used to model requirements satisfying all the target system’s demands while providing the best matching to an implementable framework. Two aspec...

Unmanned Aerial Vehicles Cooperation for the monitoring of Greenhouse Gases Caurin, G.; Daud Filho, A.; Silva, J.R. Denmark This paper presents an approach aimed at augmenting data availability and monitoring frequency in specific regions of the Amazon Forest. Our proposed system, named the UXV Ecosystem, facilitates the collection of measurements of greenhouse gas (GHG) concentrations at various altitudes, surpassing the limitations of average values for each area. By enabling acc...

Postigo-SBSE2020 http://sbase2020.galoa.com.br 0 Microgrid Systems Design Based on Model-Based Systems Engineering: Case Study on the Amazon Region Miguel A. Orellana Postigo; José Reinaldo Silva 0 0 Santo André, SP Microgrid is a technically and economically viable opportunity to meet the demands of populations that, for various reasons, do not have access to electricity. The complexity of Smart Grid (SG) systems requires considerable engineering eort in the design process. Designing thi...

Silva2015a 1601--1606 0 Using Goal-oriented Requirements Analysis in the Design of Product-Service Manufacturing Silva, Javier Martiınez and Silva, Jose Reinaldo 0 0 XII Simpôsio Brasileiro de Automação Inteligente goal-oriented requirements,intelligent planning,kaos,manufacturing service

10.1007/978-3-031-61582-5_8 88-99 Model-Based Agile Design Approach: Toward Innovation in Product-Service Systems Morais, Leonardo M., Correa, Y. G., Silva, J. Reinaldo Switzerland Lecture Notes in Mechanical Engineering The intense demand for innovation generates intensive and frequent design changes in product and automation systems. High com-petition now derives from the ability to quickly respond to all demands, from requirements to technological novelties to variations in consumer pr...

10.3390/books978-3-0365-3328-5 https://www.mdpi.com/books/book/5119 117-142 A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services Postigo, M.A.O.; Pellini, E.L.; Silva, J.R. Suiça A solid demand to integrate energy consumption and co-generation emerged worldwide, motivated, on one hand, by the need to diversify and enhance energy supply, and, one the other hand, by the pressure to attend to the requirements of a heterogeneous class of users. The coupl...

10.1109/BrasilRFID.2015.7523840 Candido2015 http://ieeexplore.ieee.org/document/7523840/ 978-1-5090-1068-4 1--5 0 Using RFID technology to enhance quality information to products in agribusiness supply chain Candido, Roberto and Martinez, Javier and Silva, José Reinaldo 0 0 2015 IEEE Brasil RFID IEEE

siccharetalCBA2018 0 Controller Model to Loa Balance in Urban Microgrids Using a Timed Hierarchical Petri Nets Approach Sicchar, J. R., Silva, J.R., Tavares, C. A., Gadelha, V., Batista, L. 0 0 Joao Pessoa Proc. of CBA 2018 CBA

10.1016/j.ifacol.2015.06.320 Silva2015 http://dx.doi.org/10.1016/j.ifacol.2015.06.320 1634--1639 0 Combining KAOS and GHENeSys in the requirement and analysis of service manufacturing Silva, Javier Martinez and Silva, José Reinaldo 3 28 IFAC-PapersOnLine The design of planning problems has demanded more attention from the academy - which looks for new approaches - and from practitioners - which seeks for new and better results for real applications. AI approaches have been used for differen...

10.1007/s41050-021-00029-7 https://link.springer.com/content/pdf/10.1007/s41050-021-00029-7.pdf Março A Multilayer Proposal to a Smart Home Applied to Healthcare Jose Reinaldo Silva; Euler Cassio Tavares Macedo; Yaney Gomez Correa; Rafael Pereira Medeiros Polytechnica Smart home technology is an up-and-coming field of automation that integrates different areas, including sensing and electrical automation subsystems, devices, mechanical and hydraulic systems associated with sophisticated c...

tonidandel2006 978-3-540-45462-5 532--541 0 Reading PDDL, Writing an Object-Oriented Model Tonidandel, Flavio and Vaquero, Tiago Stegun and Silva, Jos{\'{e}} Reinaldo 0 4140 Ribeir{\~{a}}o Preto, SP, Brazil Abstract. There are many efforts towards a combination of planning systems and real world applications. Although the PDDL is in constant evolution, which improves its capability to describe real domains, it is still a declarative language that is not so simple to be used by the non-plan...

Queiroz2009 637--651 0 ELICIAÇÃO E COMUNICAÇÃO DE REQUISITOS EM DOMINIOS DISJUNTOS : ESTUDO DE CASO PARA AUTOMAÇÃO NA ÁREA MEDICA Queiroz, Ricardo Alexandro de A.; Silva, José Reinaldo 4 20 Revista Controle & Automação By the end of 1990 the academy has experienced a remarkable growing in the interest on early design phases pushed by mass customization. In what concerns automation, requirement is a keyword since the detachment in the mechatronic approach is just the design process, al...