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 para dar suporte ao processo de modelagem e design de sistemas automatizados, especialmente os sistemas de serviço ou de 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 na 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 KAOS3 (Knowledge Acquisition for Automated Specification of Service
Pesquisador Responsável
Jose Reinaldo Silva
reinaldo@usp.brBachelor 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.brMaster'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.brGraduated 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.
