Elisa Yumi Nakagawa.

Edital 2020 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da USP

Edital 2019 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da USP

Edital 2018 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da Universidade de São Paulo

Edital 2018 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da Universidade de São Paulo

Edital 2018 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da Universidade de São Paulo

Edital 2017 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da Universidade de São Paulo

Edital 2017 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da Universidade de São Paulo

Edital 2017 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação da Universidade de São Paulo

Edital 2016 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação, Universidade de São Paulo

Edital 2016 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação, Universidade de São Paulo

Edital 2016 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação, Universidade de São Paulo

Edital 2015 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação, Universidade de São Paulo

Edital 2015 Programa Aprender com Cultura e Extensão, Pró-reitoria de Cultura e Extensão da Universidade de São Paulo

Edital 2015 Programa Unificado de Bolsas de Estudo para Estudantes de Graduação, Universidade de São Paulo

Edital 2014 do Programa Ensinar com Pesquisa da Pró-reitoria de Graduação da USP

Edital 2014 Programa Aprender com Cultura e Extensão, Pró-reitoria de Cultura e Extensão da Universidade de São Paulo

Edital 2014 Programa Aprender com Cultura e Extensão, Pró-reitoria de Cultura e Extensão da Universidade de São Paulo

Edital 2014 do Programa Ensinar com Pesquisa da Pró-reitoria de Graduação da USP

Edital 2013 Desenvolvimento da Sustentabilidade na USP da Superintendência de Gestão Ambiental da USP

Edital 2013 Programa Aprender com Cultura e Extensão, Pró-reitoria de Cultura e Extensão da Universidade de São Paulo

Edital 2013 Programa Aprender com Cultura e Extensão, Pró-reitoria de Cultura e Extensão da Universidade de São Paulo

Edital 2013 do Programa Ensinar com Pesquisa da Pró-reitoria de Graduação da USP

Edital 2013 do Programa Ensinar com Pesquisa da Pró-reitoria de Graduação da USP

O objetivo geral deste Projeto Temático é o desenvolvimento de conhecimento teórico, técnico e tecnológico sobre biomarcadores de condições respiratórias, cuja aplicação seja prática, barata e viável para a população brasileira. Utilizando técnicas de aprendizado de máquina, inteligência artificial e análise de áudio, vamos investigar biomarcadores de áudio para condições respiratórias como insuficiência respiratória, efeitos do tabagismo, e asma grave. O projeto visa desenvolver, numa primeira fase, sistemas de computação móvel que realizem a tarefa de coleta de áudio e, cujos dados serão sujeitos a processos de análise de áudio e treinamento de redes neurais; numa segunda fase, um sistema de aplicação das informações resultantes do aprendizados serão utilizadas num ambiente clínico, num processo de validação clínica da ferramenta. Há vários desafios de pesquisa inerentes a estes objetivos. Na área de inteligência artificial, teremos de desenvolver sistemas de classificação, estimativa e previsão de eventos; por exemplo, pretendemos classificar vozes com insuficiência respiratória, estimar o nível de monóxido de carbono exalado (COex) por fumantes e prever a probabilidade de ocorrência de exacerbação da asma. Na área de engenharia de software, temos o desafio de desenvolver uma arquitetura de referência para sistemas de áudio em saúde. na área de estudos de e voz e fala, teremos de encontrar padrões discriminantes das condições dos biomarcadores, por exemplo, condições de identificação de insuficiência respiratória. Nas áreas de saúde, temos os desafios de obter áudios dos pacientes ao longo do seguimento e de integrar os trabalhos clínicos com técnicas de inteligência artificial, de forma a viabilizar a aplicação prática dos biomarcadores. Para conseguir enfrentar estes desafios, o projeto se organiza de forma matricial, com três linhas de pesquisa visando desenvolver biomarcadores de áudio por computação móvel para as condições: (1) insuficiência respiratória; (2) efeitos do tabagismo; e (3) asma grave. Estas atividades são tratadas por quatro eixos transversais de ações nos âmbitos de: (a) coleta de dados; (b) engenharia de software; (c) análise acústica; e (d) aprendizado de máquina.Este Projeto baseia-se nos resultados de pesquisa alcançados no projeto SPIRA (FAPESP, 2020/06443-5) que, motivado pela pandemia de COVID-19, demonstrou a viabilidade da detecção de insuficiência respiratória por análise de áudio captado em dispositivos móveis em pacientes da primeira onda da pandemia. O grupo multidisciplinar de pesquisa conta com o mesmo cerne de pesquisadores, expandido para lidar com questões dos efeitos do tabagismo e asma grave.

Arquiteturas de referência são um tipo especial de arquitetura de software que contem o conhecimento de um dado domínio, promovendo o reúso desse conhecimento para o desenvolvimento, evolução e padronização de sistemas daquele domínio. Uma diversidade de arquiteturas de referência tem sido proposta e cada vez mais utilizadas nos mais diversos domínios, tais como Indústria 4.0, saúde e transportes. Em paralelo, uma classe de sistemas de software, denominada de Sistemas-de-Sistemas (do inglês, Systems-of-Systems ou SoS), tem emergido e são o resultado da colaboração de sistemas constituintes que são independentes tanto gerencialmente quanto operacionalmente e são, muitas vezes, distribuídos geograficamente. Isso possibilita aos SoS realizarem missões que não poderiam ser realizadas por nenhum sistema constituinte de forma isolada. Observa-se no entanto a dificuldade para se construir SoS, principalmente em função da diversidade de sistemas constituintes que usualmente compõem tais sistemas. Além disso, a sustentabilidade deve ser um atributo de qualidade presente nesses SoS, visto que eles são grandes e completos e, muitas vezes, executado ao longo de muitos anos. Nesse cenário, arquiteturas de referência poderiam ser estabelecidas, contendo informações de como possibilitar e/ou facilitar a interoperabilidade entre os sistemas constituintes, bem como assegurar a sustentabilidade de SoS. Assim, o objetivo geral deste projeto de pesquisa é contribuir para o desenvolvimento e evolução de SoS que sejam sustentáveis. Para isso, tem-se como objetivo principal o estabelecimento um processo para a construção de arquiteturas de referência para SoS. Como resultado deste projeto, pretende-se contribuir para a área de Engenharia de Software, em particular, para a área de Arquitetura de Software, com um processo que dê suporte ao estabelecimento de arquiteturas de referência para SoS sustentáveis e, como consequência, contribua para a construção desses sistemas.

This research project is sought to formalise and grow a sustainable relationship between University fo Huddersfield (UoH), University of São Paulo (USP), Vrije University, Fraunhofer IESE, and Facebook that focus on addressing the open research challenges presented in simulating dynamic, heterogeneous smart eco-systems in real-time that offer complex functionalities. To achieve this, this project provides a unique opportunity for the partners to bring together a range of expertise in the creation of a cyber-cyber digital twin for the Huddersfield Smart House Research facility that will further enrich its significance and research potential with new opportunities in the range of novel and innovative investigations to be carried out and unique challenges including the integration of big data analytics and artificial intelligence/machine learning (AI-ML) techniques.

Cloud of Things (CoT) are complex and dynamic software-intensive systems that integrate hardware and software. Software is deployed on physical devices, cloud platforms and devices at the edge of a network. This software implements low-level communication protocols, complex data analysis and provide services to end users. CoT systems automatically and on-demand provide instances of services to end users. Software to perform these functions and orchestrate resources are extremely complex. Therefore, building and maintaining trustworthy CoT systems is challenging. The goal of this project is to develop a reference architecture for CoT and related procedures to instantiate the reference architecture.

DOGO4ML proposes a holistic end-to-end framework to develop, operate and govern MLSS (ML-based software systems) and their data. This framework revolves around the DevDataOps lifecycle, which unifies two software lifecycles: a DevOps lifecycle and a DataOps lifecycle. The DevOps cycle aims to transform the requirements of an MLSS into deployed code (Dev) and get feedback as soon as possible from the end-users (Ops), which can be used to evolve the requirements (including those that apply to the ML models). The DataOps cycle provides support to the data management and analysis processes that characterise MLSS. The DataOps processes are inter-related with those in the Dev phase of the DevOps software cycle, since they produce the required ML models (created through several iterations in the DataOps lifecycle) to be embedded into the ML software components of the MLSS. Further, the DataOps cycle aims to get feedback from the data analysts to continuously improve the data management and analysis processes.

The truly sustainable future requires that we understand the challenges from local to global level, from farms to industries, from companies to individuals, and are able to innovate, design, and implement solutions that enable green and inclusive transition while making sure that no one is left behind. The SE4GreenDeal project aims at educating experts to innovate, design, and implement software-based solutions with a sustainable effect in mind for local and global sustainability challenges. The graduates will have an impact on individuals, societies, industries, and governments through new responsible ways of developing systems. This project is supported by Erasmus+ Programme of the European Union.
Website: SE4GD.eu

Arquiteturas de software têm tido papel fundamental para a construção de sistemas de software de qualidade. Em particular, arquiteturas de referência são um tipo especial de arquitetura de software que contém o conhecimento de um dado domínio, promovendo o reúso desse conhecimento para o desenvolvimento, evolução e padronização de sistemas daquele domínio. Uma diversidade de arquiteturas de referência tem sido proposta e cada vez mais utilizada. Em paralelo, tem surgido uma classe de sistemas de software, denominada de Sistemas-de-Sistemas (do inglês, Systems-of-Systems ou SoS), que se refere a sistemas constituídos a partir da colaboração de outros sistemas constituintes que são independentes tanto gerencialmente quanto operacionalmente e são, muitas vezes, distribuídos geograficamente. Isso possibilita aos SoS realizarem missões que não poderiam ser realizadas por nenhum sistema constituinte de forma isolada. Observa-se no entanto a dificuldade para se construir SoS, principalmente em função da diversidade de sistemas constituintes que usualmente compõem tais sistemas. Nesse cenário, arquiteturas de referência poderiam ser estabelecidas, contendo informações de como possibilitar e/ou facilitar a interoperabilidade entre esses sistemas constituintes. Assim, o principal objetivo deste projeto de pesquisa é contribuir para o desenvolvimento e evolução de SoS. Para isso, será estabelecido um processo para a construção de arquiteturas de referência para SoS. Para a avaliação desse processo, será conduzida uma análise baseada em técnicas de coleta de dados e análise qualitativa. Mais especificamente, serão primeiramente conduzidos surveys com especialistas da área para verificar a relevância e a adequação desse processo. Para complementar essa avaliação e visando-se avaliar a viabilidade do processo, serão ainda conduzidos dois estudos de casos nos quais o processo proposto será utilizado para a construção de uma arquitetura de referência para o domínio de gerenciamento de crises e emergência e uma arquitetura de referência para o domínio de saúde. Como resultado deste projeto, pretende-se contribuir para a área de Engenharia de Software, em particular, para a área de Arquitetura de Software, com um processo que dê suporte ao estabelecimento de arquiteturas de referência para SoS e, como consequência, contribua para a construção desses sistemas.

Visita da Profa. Dra. Katia Romero Felizardo (Universidade Tecnológica Federal do Paraná) como professor visitante ao ICMC/USP, Período: 09 a 15/01/2019.

Visita da Profa. Dra. Maria Istela Cagnin (Universidade Federal do Mato Grosso do Sul) como professor visitante ao ICMC/USP, Período: 14 a 17/01/2019.

Visita do Prof. Dr. Colin Venters (University of Huddersfield, Inglaterra) como professor visitante ao ICMC/USP, Período: 31/10/2018 a 05/11/2018.

Visita do Dr. Martínez-Fernández (Fraunhofer IESE, Alemanha) como pesquisador visitante ao ICMC/USP, Período: 22 a 24/08/2018.

Software systems are becoming more and more complex and driven by many quality concerns that require systems and their architectures must be better prepared to evolve but also open enough to new changes. Also, new systems with stringent smart and adaptive requirements demand highly flexibility to incorporate new functionality and current reference and software architectures must be prepared to migrate to new technologies like microservices. In addition, as the stability of existing architectures can be compromised by many changes or bad architecting and programming practices, it is necessary to reduce the technical debt and produce more stable designs that can extend the longevity of systems. The recent trend in software sustainability dimensions (e.g., energy, technical, environmental) requires that both architectures and code are developed in a way they can be easily adapted without incurring in high maintenance costs and new software metrics are necessary to estimate the sustainability of software from different angles. Consequently, this project focused on investigating methods and metrics to achieve software sustainability in both architecture and code.

Arquiteturas de software têm tido papel fundamental para a construção de sistemas de software de qualidade. Em particular, arquiteturas de referência são um tipo especial de arquitetura de software que contém o conhecimento de um dado domínio, promovendo o reúso desse conhecimento para o desenvolvimento, evolução e padronização de sistemas daquele domínio. Uma diversidade de arquiteturas de referência têm sido propostas e cada vez mais utilizadas. Em paralelo, tem surgido uma classe de sistemas de software, denominada de Sistemas-de-Sistemas (do inglês, Systems-of-Systems ou SoS), que se refere a sistemas constituídos a partir da colaboração de outros sistemas constituintes que são independentes tanto gerencialmente quanto operacionalmente e são, muitas vezes, distribuídos geograficamente. Isso possibilita aos SoS realizarem missões que não poderiam ser realizadas por nenhum sistema constituinte de forma isolada. Observa-se no entanto a dificuldade para se construir SoS, principalmente em função da diversidade de sistemas constituintes que usualmente compõem tais sistemas. Nesse cenário, arquiteturas de referência poderiam ser estabelecidas, contendo informações de como possibilitar e/ou facilitar a interoperabilidade entre esses sistemas constituintes. Assim, o principal objetivo deste projeto de pesquisa é contribuir para o desenvolvimento e evolução de SoS. Para isso, está sendo estabelecido um processo para a construção de arquiteturas de referência para SoS. Para a avaliação desse processo, foi conduzida uma análise baseada em técnicas de coleta de dados e análise qualitativa. Mais especificamente, foram primeiramente conduzidos surveys com especialistas da área para verificar a relevância e a adequação desse processo. Para complementar essa avaliação e visando-se avaliar a viabilidade do processo, tem sido ainda conduzidos dois estudos de casos nos quais o processo proposto foi utilizado para a construção de uma arquitetura de referência para o domínio de gerenciamento de crises e emergência e uma arquitetura de referência para o domínio de ambientes assistidos. Como resultado deste projeto, pretende-se contribuir para a área de Engenharia de Software, em particular, para a área de Arquitetura de Software, com um processo que dê suporte ao estabelecimento de arquiteturas de referência para SoS e, como consequência, contribua para a construção desses sistemas.

Visita do Prof. Dr. Everton Cavalcante (Universidade Federal do Rio Grande do Norte (UFRN), Natal, RN) como pesquisador visitante ao ICMC/USP, Período: 11 a 21/12/2017.

A combinação dos paradigmas de Internet das Coisas (IoT) e computação em nuvem deu origem a um novo conceito conhecido como Nuvem das Coisas (CoT). Nesse novo paradigma, a nuvem age essencialmente como uma camada intermediária entre objetos (coisas) inteligentes e as aplicações que fazem uso de dados e recursos fornecidos por esses objetos. Ao alavancar tal paradigma, a Internet das Coisas poderá se beneficiar dos recursos quase ilimitados das plataformas de computação em nuvem para realizar o gerenciamento e composição de serviços relacionados com objetos inteligentes e os dados que eles produzem. Por outro lado, a nuvem pode se beneficiar ampliando seu âmbito de operação para passar a lidar com objetos do mundo real. Apesar das potenciais vantagens trazidas por um ambiente de CoT, há vários desafios de pesquisa a serem investigados para a plena realização de tal paradigma e para alcançar os benefícios prometidos. Uma questão fundamental diz respeito ao desenvolvimento de um modelo de virtualização para as coisas o qual atenda simultaneamente os requisitos das múltiplas aplicações ao mesmo tempo em que se respeitam as limitações de recursos dos dispositivos típicos de IoT. Outros importantes desafios consistem em (i) realizar de modo adequado e eficiente a atribuição de tarefas às diversas entidades envolvidas na CoT (coisas, plataformas de nuvem e gateways intermediários), (ii) lidar com a enorme quantidade de dados produzidos pelos dispositivos, (iii) fornecer vários tipos de segurança para aplicações, dados e dispositivos, e (iv) desenvolver aplicações para tais ambientes. Nesse contexto, o objetivo deste projeto é investigar e propor soluções para suplantar todos estes desafios de pesquisa, a fim de contribuir para permitir a plena realização do paradigma de CoT. As soluções propostas serão desenvolvidas como um conjunto de serviços, integrados em uma estrutura de software no nível de middleware, construído a partir de uma Arquitetura de Referência (RA), concebidas especificamente para ambientes de CoT. (Pesquisadores Principais: Elisa Nakagawa, Flávia Delicato, Paulo Pires, Thais Baptista)

Projeto para realização de visita como professor visitante na Universiyu Rey Juan Carlos, Madrid, Espanha, Programa de Mobilidade Docente, Edital: 496/2016, Período: abril/2016 a dezembro/2016.

The current trend where software-intensive systems become more and more complex and dynamic require of new design and development methods able to address the diversity of changing scenarios, maintenance operations, and handle context-data more efficiently than before. Today, the need to count with good reference architecture suitable to describe the major functional areas of systems-of-systems (a system composed by other systems or sub-systems) is a major challenge for the Systems Engineering discipline. However, the diversity of software that has to be integrated with proprietary middleware and the need to coordinate all these systems for handling critical operations is still hard, as many of the daily maintenance operations must be done manually. In this light, context feature modeling and dynamic variability techniques offer a good choice for: (i) representing the context-data critical software-intensive systems often manage, and (ii) providing means to support the diversity of runtime scenarios required for their daily operations. Consequently, this project focused on investigating how variability modeling approaches can be represented in systems-of-systems reference architectures and which dynamic variability techniques become more suitable to deal with evolution and change scenarios of critical systems-of-systems daily operations.

Resumo em Português	Com o avanço das tecnologias computacionais e o crescimento em complexidade e tamanho dos sistemas de software, surgiu o conceito de Sistema de Sistemas (do inglês "System of Systems" ou SoS), que se refere a um sistema construído a partir da integração colaborativa de sistemas menores e operacionalmente independentes. Nesse contexto, muitos dos sistemas embarcados críticos, tais como os sistemas militares e robóticos, têm sido construídos como SoS. Em uma outra perspectiva, arquiteturas de software têm tido um papel fundamental no desenvolvimento de sistemas de software, principalmente para agregar atributos de qualidade a esses sistemas, tais como a interoperabilidade e a capacidade de evolução desses sistemas. Contudo, observa-se que a grande maioria dos SoS atuais têm sido construídos sem dar atenção às suas arquiteturas de software, o que pode comprometer os atributos de qualidade presentes nesses sistemas. Além disso, há uma carência de abordagens mais consolidadas, incluindo-se processos, métodos, técnicas e mesmo ferramentas que dêem apoio ao desenvolvimento de SoS. Nesse cenário, o principal objetivo deste projeto de pesquisa foi contribuir para facilitar e sistematizar a construção de SoS, dando-se foco nas arquiteturas de software desses sistemas. Mais especificamente, este projeto propos um processo que contem métodos, técnicas e ferramentas para sistematizar a construção de arquiteturas de software de SoS, mais especificamente, para o domínio de sistemas embarcados críticos. Visando ter evidências da viabilidade do processo proposto, estudos de casos, experimentos e/ou surveys foram conduzidos, envolvendo a construção de arquiteturas de software de SoS para sistemas embarcados críticos, em particular, para sistemas robóticos e para sistemas de monitoramento de enchentes. Como resultado deste projeto, contribuiu-se para a área de Arquitetura de Software, propondo um meio de sistematizar a construção de arquiteturas de software de SoS. Também contribuiu-se para a área de Sistemas Embarcados, facilitando a construção desses sistemas. Como um resultado importante e mais abrangente, consolidou-se o grupo de pesquisa em Arquitetura de Software e Sistemas de Sistemas do ICMC/USP, bem como promoveu e consolidou a cooperação de pesquisa entre o ICMC/USP e o Institut de Recherche en Informatique et Systèmes Aléatoires da Université de Bretagne Sud - IRISA/UBS.

O entendimento dos processos de negócios de uma empresa pelos seus colaboradores e por engenheiros de software colabora, respectivamente, para o sucesso do negócio e para o desenvolvimento de sistemas de software que atendam às necessidades dos seus interessados. Isso é facilitado pela modelagem de processos de negócios, a qual apoia a análise de requisitos no contexto de Engenharia de Software auxiliando na compreensão e otimização de processos de negócios existentes nas organizações sob a perspectiva de Gestão de Processos de Negócios. Em ambos os contextos, o reúso de modelos de processos de negócios é relevante por propiciar economia de tempo, esforço e custos durante a elaboração de tais modelos. Diante disso, a Engenharia de Linha de Produto de Software (ELPS), tem sido aplicada no contexto de Processos de Negócios, propiciando o desdobramento de outras áreas de pesquisa como é o caso de Linhas de Processos de Negócios (LPN). Nesse contexto, este projeto de pesquisa contribuiu para que interessados realizem atividades de modelagem de processos de negócios com menos tempo, esforço e custos associados. Para isso, refinou-se uma abordagem existente de linhas de processos de negócios, denominada GLPN (Gestão de Linhas de Processos de Negócio), para atender também a visão de objetivos de negócios, além da visão de processos de negócios já contemplada pela mesma; bem como desenvolveu-se um arcabouço computacional associado a um repositório para apoiar todas as fases da abordagem GLPN relacionadas a criação, validação e instanciação de LPNs. Avaliações qualitativas foram conduzidas para analisar e comprovar a eficiência dos resultados decorrentes deste trabalho.

Software architecture has emerged as an important research domain in the last two decades and will play a key role for enabling the next generation of software-intensive systems, the so-called 'systems-of-systems', especially in the case of critical applications, where a failure could lead to high economic loss, physical damage, or even threats to life. Indeed, a key aspect of the design of any software-intensive system is its architecture, i.e., the fundamental organization of a system embodied in its components, their relationships to each other and to the environment, and the principles guiding its design and evolution. Thereby, the software architecture forms the backbone for taming the complexity of critical systems-of-systems, where architecture descriptions provide the conceptual framework for designing, constructing, and adapting systems, in particular when these systems operate in unpredictable environments. In this scenario, this visit for 3 months at ICMC/USP provided the support to address key issues raised in the ProSA-RAES Project funded by FAPESP (N. 2011/23316-8) and coordinated by Prof. Dr. Elisa Yumi Nakagawa, with the objective of elaborating a new paradigm for establishing architectures of systems-of-systems in networked embedded systems. In particular: (i) to carry out a joint research with Prof. Dr. Elisa Yumi Nakagawa and Prof. Dr. José Carlos Maldonado for addressing the challenging issue of formulation and formalization of systems-of-systems architectures, including reference architectures for critical systems-of-systems; and (ii) to leverage this joint research in a long-term academic cooperation to be supported by joint PhD supervision (in particular based on Doctoral cotutelle agreements) as well as joint research proposals in international programs, notably the European Commission's R&D Framework Program. These objectives built upon our cooperation in the area of software architecture and outcomes of the 3-month visit supported by the Program of French Chairs in the State of São Paulo funded by USP, UNICAMP, UNESP and the French Embassy in 2012. This stay at USP/São Carlos in 2013 also enabled the setup of new joint PhD supervisions, preparing the USP's PhD candidates for integrating the PhD program in France under Doctoral cotutelle agreements. Three candidates from USP/São Carlos were identified for starting PhD cotutelles, of which 2 in 2013 (Lucas Bueno Ruas de Oliveira and Marcelo Benites Gonçalves) and 1 in 2014 (Milena Guessi).

O foco desta proposta é a transferência de conhecimento matemático para outras áreas da ciência, tecnologia e indústria, por meio de um centro de pesquisa estruturado para esse fim. Todo o conhecimento matemático é, em última análise, aplicável. se não diretamente, por meio de outros conhecimentos. Em algumas áreas da matemática a aplicação é quase imediata. Entretanto, a colocação em prática de tal aplicabilidade se encontra muitas vezes travada por tradições incorretas, academicismo mal direcionado e dificuldades operacionais. Nos últimos anos, o crescimento da ciência no Brasil, e da matemática em particular, foi notável. Entretanto, a aplicação tecnológica, muitas vezes medida pelas patentes registradas, não teve o mesmo sucesso. Para fechar essa lacuna é necessário a criação de estruturas institucionais que estabeleçam as pontes entre as ciências matemáticas e aplicações como um objetivo em si mesmo. Não se trata apenas de orientar os trabalhos teóricos a áreas "potencialmente aplicáveis", mas de avançar nas aplicações até as últimas consequências, isto é, sua efetiva implementação na indústria, em sentido amplo. Não é mais possível descansar na posição de que a aplicação é problema de outros. É, de fato, problema de todos e reflete o necessário comprometimento da ciência aplicada e pura com o progresso material e espiritual da sociedade. A estratégia do presente projeto envolve, em primeiro lugar, a aglutinação de grupos destacados nas áreas mais aplicáveis da matemática no Estado visando seu direcionamento para aplicações efetivas. Os grupos selecionados têm demonstrado sua excelência na atividade científica convencional, em primeiro lugar, e em muitos casos, em aplicações relevantes. No CEPID proposto os grupos participantes continuarão com sua atividade científica habitual, e, ao mesmo tempo, desenvolverão "Ações de Transferência" de acordo com o roteiro: 1) Teses de mestrado e doutorado necessariamente vinculadas com aplicações em sentido amplo, com co-orientação explícita de especialistas nesses setores. 2) Realização de pelo menos um Workshop anual de Transferência, onde participarão os membros do CEPID e representantes de indústrias, administração, serviços, setores educativo e tecnológico. 3) Visitas periódicas de membros do CEPID a instituições com potencial para aplicações relevantes. 4) Elaboração de uma publicação interna chamada em princípio "Transference experiences" visando a consolidação de uma publicação mais permanente.

Large-scale events, such as the Brazilian street carnival, the FIFA Football World Cup, and the Olympic Games, demand major concerns regarding security. In addition to the infrastructure organisation of such huge events, the safety of the visitors, in particular, is a central issue for the officials in charge, which is why the project ?RESCUER? was initiated. With the help of intelligent information technology, an effective and efficient emergency and crisis management system-of-systems was developed to ensure that the people visiting such major events feel safe. An experimental prototype of RESCUER was tested in FIFA World Cup 2014 and was operational for the Olympic Games in 2016. This European-Brazilian partnership includes 9 institutions from 4 countries (Brazil, Germany, Austria, and Spain), with the Brazilian coordination of the Federal University of Bahia (UFBA) and the European coordination of the Fraunhofer Institute for Experimental Software Engineering IESE.

Arquiteturas de software têm tido papel fundamental na determinação da qualidade de sistemas de software. Em particular, arquiteturas de referência são um tipo especial de arquitetura de software e podem ser consideradas repositórios de conhecimento de um dado domínio, promovendo o reúso desse conhecimento para a desenvolvimento e evolução de sistemas daquele domínio. Em paralelo, sistemas embarcados têm se tornando parte integrante e essencial das atividades diárias da sociedade atual. Eles têm-se tornado cada vez mais complexos e cuja qualidade é um requisito fundamental. Nesse contexto, uma diversidade de arquiteturas de referência para sistemas embarcados têm sido propostas e utilizadas; portanto, a qualidade dessas arquiteturas também torna-se essencial. Contudo, há uma carência de pesquisas que busquem sistematizar a construção e a avaliação dessas arquiteturas. Dessa forma, o principal objetivo deste projeto foi o estabelecimento de um processo para a construção de arquiteturas de referência para sistemas embarcados, bem como um método para avaliação da qualidade dessas arquiteturas. Visando ter evidências da viabilidade tanto do processo quanto do método propostos, estudos de casos foram conduzidos. Para analisar os resultados dos estudos de caso, foi conduzida uma análise baseada em técnicas de coleta de dados e análise qualitativa. Como resultado deste projeto, contribuiu-se para a área de Arquitetura de Software, com um processo para o estabelecimento e avaliação de arquiteturas de referência para sistemas embarcados. Também contribuiu-se para a área de Sistemas Embarcados no tocante ao estabelecimento de arquiteturas de referência para essa área.

Arquiteturas de software têm tido papel fundamental na determinação da qualidade de sistemas de software. Em particular, as arquiteturas de referência são um tipo especial de arquitetura de software e podem ser consideradas repositórios de conhecimento de um dado domínio, promovendo o reúso desse conhecimento para a desenvolvimento e evolução de sistemas daquele domínio. Em paralelo, sistemas embarcados têm se tornando parte integrante e essencial das atividades diárias da sociedade atual, estando inseridos em diversos segmentos, tais como de robôs, automóveis, aviões e eletrodomésticos. Além disso, eles têm-se tornado cada vez mais complexos, sendo que a qualidade desses sistemas é um requisito fundamental. Nesse contexto, uma diversidade de arquiteturas de referência para sistemas embarcados, tais como para robôs, automóveis e aviões, têm sido propostas e cada vez mais exploradas como base para o desenvolvimento de sistemas embarcados; portanto, a qualidades dessas arquiteturas torna-se essencial. Contudo, há uma carência de pesquisas que busquem estabelecer meios para sistematizar a construção, bem como a avaliação dessas arquiteturas. Dessa forma, o principal objetivo deste projeto foi o estabelecimento de um processo que sistematize as atividades para a construção de arquiteturas de referência para sistemas embarcados. Este projeto objetivou também estabelecer um método para avaliação da qualidade dessas arquiteturas de referência. Visando ter evidências da viabilidade tanto do processo quanto do método propostos, estudos de casos serão conduzidos, inclusive envolvendo a construção e avaliação de uma arquitetura de referência para sistemas embarcados, em particular, uma arquitetura de referência para robôs móveis. Para analisar os resultados dos estudos de caso, foi conduzida uma análise baseada em técnicas de coleta de dados e análise qualitativa. Como resultado deste projeto, contribuiu-se para a área de Engenharia de Software, em particular para a área de Arquitetura de Software, com um processo para o estabelecimento e avaliação de arquiteturas de referência para sistemas embarcados. Pretende-se também contribuir para a área de Sistemas Embarcados no tocante ao estabelecimento de arquiteturas de referência para essa área.

Critical embedded systems have become ubiquitous in modern society, but engineering these systems is still particularly challenging. The greatest challenge is that failure of these systems to meet quality attributes such as safety, dependability, security or performance requirements may cause significant physical damage or even loss of human lives. One of the key solutions to alleviate this challenge is to design a sound architecture and validate it against these critical quality attributes. However, there are currently no architecting processes or systematic architecture design reuse approaches that are specialized for the domain of critical embedded systems. The project delivered an architecting process that is tailored towards achieving quality attributes of critical embedded systems. It also delivered an extensive set of reusable artifacts that support the architecture design of critical embedded systems. The results of this project were exploited within other projects of the National Institute of Science and Technology in Critical Embedded Systems (INCT-SEC), by supporting the architecting process of critical embedded systems developed and used by INCT-SEC.