DesignLab
  • Departamento de Engenharia Mecatrônica
    Escola Politécnica - Universidade de São Paulo

Projeto : Goal-oriented Design Framework

Grupo de Pesquisa: D-Lab: Engenharia de Serviços e Manufatura em Nuvem

Este projeto tem como objetivo o desenvolvimento de um framework dar suporte ao processo de modelagem e design de sistemas automatizados, especialmente os sistemas de serviço ou rede de serviços. O framework é baseado na segunda geração de design, caracterizada pelo foco em sistemas cibernéticos e holísticos, cujo processo começa com a eliciação de requisitos (globais) modelados segundo a Engenharia de Requisitos Orientada a objetivos (Goal-oriented Requirements Engineering).  Uma extensão da representação semi-formal KAOS (Knowledge Acquisition for Automated Specification) está sendo desenvolvida (o KAOSS, Knowledge Acquisition for Automated Systems Specification) e baseada em modelos, seguindo o ciclo também desenvolvido no D-Lab: o Model-based Requirements Engineering. A interação humano-máquina recebe uma especial atenção para atender à demanda de sistemas colaborativos e aos sistemas de serviço.


Uma vez completado o ciclo, quando o modelo corrente não pode ser mais estendido (de forma conservativa), a especificação obtida é preparada, com base na documentação digital, para o matching com soluções alternativas e subsequente escolha de uma delas para deployment. 
 
                                                  
                                                                                        

                                                                                                      

Atualizado em 03 de Julho de 2024, 22:25

Pesquisador Responsável


Jose Reinaldo Silva

reinaldo@usp.br

Bachelor in Physics from Bahia Federal University, got aMSc in Physics from Pernanbuco Federal University UFPE, and a MA in Computer Science from Mills College, USA. PhD in Computer Engineering by Universith of São Paulo and postdoc in Computer Science and in Systems Design Engineering at University of Waterloo, Ca. Research interests are in Engineering Systems Design, Requirements Engineering, Service Design Management and Engineering, Artificial Intelligence, Planning & Scheduling, Formal Verification methods, Data Spaces and Digital Transformation towards Industry 4.0.

Colaboradores


Elinilson Vital

vital@usp.br

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.

Leonardo Morais de Souza

leosouza@usp.br

Graduated in Control & Automation Engineering at FEI University and a MBA in Financial Risk Management at Saint Paul Business School. Master student at D-Lab working in a Dynamic and Agile Framework for Modeling Automated Systems in Frequent Evolution. Works at the Itaú Bank, in hight tech monitoring systems to detect financial irregular movements in accounts.

Yaney Gomez Correa

ygc8104@usp.br

Graduate in Automatic Control at Universidade de Oriente, Cuba, and worked in automated systems associated to power supply and petroleum in this country. Got a MSc. at D-Lab in the subject of Service Automation Design applied to Healthcare, proposing assistant services on top of a building and residence automation. Ph.D. student at D-Lab working in Model-based Requirements and Hierarchical AI Planning.

Arquivos