O D-Lab é um laboratório que trabalha com métodos de modelagem e design de sistemas automatizados ou de suporte para as áreas de manufatura inteligente, sistemas de cuidado intensivo com a saúde (healthcare) e sistemas sustentáveis. A abordagem é baseada em modelos de referência alocados na nuvem (cloud systems) e em "Model-based Systems", Engenharia de Requisitos, Engenharia de Serviços, sistemas de data space e métodos de inteligência artificial e modelagem discreta (Redes de Petri).
A participação nesse projeto consiste do design do Digital Amazon utilizando um modelo de referência desenvolvido recentemente no D-Lab, do estudo dos processos como requisitos dinâmicos, validação destes processos (usando redes de Petri) e da implementação deste modelo de referência, agora customizado, em um sistema de nuvem, no caso da AWS (Amazon Web Services). O modelo de referência é uma rede de serviços, orquestrada pelo moderador D-Lab.
A expectativa é poder ter um modelo unificado que atende a uma segmentação diversificada de usuários e de viewpoints, agregando valor e produtividade a cada um desses segmentos.
Atualizar
12 de Março de 2024, 22:15
Pesquisador responsável
Jose Reinaldo Silva
reinaldo@usp.br
Currículo Lattes
: http://lattes.cnpq.br/9317869378701106
I graded in Physics and got a Master's degree in Atomic Physics from Brazilian federal universities, Bahia and Pernambuco, respectively. Then, I got a Master's in Interdisciplinary Computer Science from Mills College, USA, and a doctorate in Engineering at Escola Politécnica, USP, based on Modeling and Design of Automated Systems. To open my background in Systems Design, I went through two postdocs: one in Systems Design and the other in Computer Science, both at the University of Waterloo, Canada. Today, I am an associate professor at Escola Politécnica, USP, linked to the Mechatronics Engineering Department. I dedicate my work to new design processes applied to service automation, formalizing the models with Artificial Intelligence and Petri Nets.
Colaboradores
Elinilson Vital
vital@usp.br
Currículo Lattes: http://lattes.cnpq.br/7197861299928406
Master's student in Mechatronics Engineering at the Polytechnic School of the University of São Paulo, focusing on the theme Cloud Manufacturing Services (CMfgS): Modeling of automated production systems in the cloud. Graduated in Applied Mathematics in Mechanical Control and Automation from the Institute of Mathematics and Statistics of the same university, focusing on formal requirements analysis, service science, distributed systems, knowledge bases, and data spaces. Demonstrates ability to apply mathematical and computational knowledge to solve complex problems and promote technological innovations. Practical experience includes data science, data grouping and their applications, as well as in modeling and analysis of automation systems, also in programming and simulation, including algorithms and data structures, concurrent and parallel programming, and numerical methods for differential equations. The main research interests are currently focused on deepening knowledge in Service Science and Data Spaces, aiming to develop innovative solutions that optimize business processes and increase technological efficiency in distributed environments, uniting mathematics, computing, and engineering.
