Adenilso da Silva Simão.

O Centro de Pesquisa Aplicada em Inteligência Artificial, IARA, é formado por uma equipe multidisciplinar, com especialistas nacionais com competência internacionalmente reconhecidas em inteligência artificial, telecomunicações, internet das coisas e cidades inteligentes. O centro sediado em São Carlos, estado de São Paulo, funcionará em rede com pesquisadores de todas as regiões do Brasil, organizado em nós ou subsedes. Assim, um diferencial desta proposta de centro é que, com o centro sediado em São Carlos, será formada uma rede de nós, ou sub-sedes, localizados em Instituições Científica, Tecnológica e de Inovação de todas as regiões do país. O centro tem pesquisadores de várias instituições de ciência e tecnologia do estado de São Paulo, incluindo todas as universidades públicas. A rede tem por meta cobrir cinco aspectos de cidades inteligentes: cibersegurança, educação, infra-estrutura, meio-ambiente e saúde. No aspecto relacionado a infra-estrutura, são de particular interesse os subtemas de energia, comunicação e mobilidade. Por seu caráter aplicado, foi firmado um acordo para colaboração futura com algumas cidades do país e participa também um grupo de empresas cujas atividades englobam os temas mencionados. Serão enfatizadas no centro a transferência de tecnologia, a educação e a divulgação de conhecimento para o uso correto, justo, transparente e eficiente de Inteligência Artificial para o fomento de cidades inteligentes no Brasil e no exterior. (AU)

The objective of this project is to extend the theoretical foundations of testing based on fault models to the domain of model-based testing in the context of state-rich process algebra for refinement. We will address in a unified framework complex system models that cater for with concurrency, state, and interactions involving complex data structures. More precisely, we will develop, formalise, and evaluate by practical experimentation testing techniques based on models written in Circus, an industrial-strength refinement language combining Z and CSP. The planned results are the definitions of sound practical testing strategies for Circus models with refinement as a conformance relation, supported by some prototype tools; these results will be validated on significant case studies.

O projeto tem como objetivo possibilitar que estudantes dos cursos de computação do ICMC-USP (Bacharelado em Ciências da Computação, Bacharelado em Engenharia da Computação, Bacharelado em Sistemas de Informação), bem como estudantes de Sistemas de Informação da Leuphana Universität Lüneburg (Leuphana) cursem uma parte de sua graduação na instituição parceira. A área de cooperação entre as instituições é a Computação, com ênfase na subárea de Sistemas de Informação, também conhecida como Informática para Negócios (Wirtschaftsinformatik). Essa área foi escolhida por estar no foco de interesse e competência de ambas as instituições, além de ser de grande relevância social e econômica tanto para o Brasil como para a Alemanha.

O objetivo central deste projeto é a promoção do uso as ciências matemáticas e, em especial da matemática aplicada, estatística e ciência da computação como um recurso industrial. Pretendemos realizar essas atividades dentro de um ambiente interdisciplinar, enfatizando a transferência de tecnologia e a educação e difusão do conhecimento para aplicações na indústria e no governo. As atividades serão organizadas por um centro de referência em pesquisa especialmente estruturado e adaptado para esta finalidade. A principal estratégia do Centro é a construção de uma infra-estrutura forte no que diz respeito aos recursos humanos, equipamentos computacionais avançados, oportunidades de colaboração e outras facilidades, a fim de promover a cooperação interdisciplinar com a indústria e, mais especificamente, com os setores de manufatura, governo e serviços. O Centro irá incentivar os grupos de pesquisa acadêmica a colaborar com aplicações práticas e produzir novos conhecimentos científicos. Os grupos de pesquisa participantes do CeMEAI demonstraram experiência na produção de trabalhos acadêmicos de alta qualidade em suas áreas de atuação e, em muitos casos, também em aplicações relevantes, como evidenciado pelos vários trabalhos já realizados pelos pesquisadores principais, tanto acadêmicos como em cooperação coma a Indústria..

O Teste Baseado em Modelos é uma estratégia promissora para automatizar a geração e execução de teste. Os casos de teste são derivados de um modelo representando o software a ser testado. Diversos métodos de geração de testes a partir de Máquinas de Estados Finitos (MEFs) podem ser encontrados na literatura. Contudo, tais modelos podem ser inadequados para representar algumas classes de software e, portanto, outros modelos devem ser adotados. Os Sistemas de Transição de Entrada/Saída (do inglês, Input/Output Transition System, IOTS) são exemplos desses modelos. Apesar de amplamente investigados, a teoria na qual se baseia o IOTS ainda não oferece o mesmo nível de apoio à Geração de Casos de Teste que existe para MEFs. O objetivo desse trabalho é investigar como resultados recentes obtidos no teste baseado em MEFs podem ser aplicados no contexto do teste baseado em IOTS.

O objetivo deste projeto é o desenvolvimento de técnicas e métodos numéricos e uma implementação de um software para a simulação computacional de escoamentos multifásicos de fluidos utilizando plataformas multiprocessadas aplicadas ao refino de petróleo.. 
Situação: Em andamento; Natureza: Pesquisa.

A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.

A arquitetura orientada a serviço é um modelo para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. Atualmente, a tecnologia mais utilizada para a implementação de arquiteturas orientadas a serviço são os serviços web. Serviços web são aplicações que fornecem um conjunto de funcionalidades acessadas por meio da web usando protocolos padronizados e abertos. A incorporação de serviços web em sistemas que modelam processos de negócios grandes e complexos contribui para o aumento da necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. Uma delas é a natureza dinâmica de arquiteturas orientadas a serviço que requer que testes sejam executados de forma automatizada. Considerando a área de teste de software, o teste baseado em modelos apresenta-se como uma estratégia promissora para a resolução desses problemas. É importante também que o modelo adotado seja simples e expressivo o suficiente para que facilite modificações e permita que testes significativos sejam gerados. Além de possuir essas características, as máquinas de estados finitos e suas extensões apresentam um arcabouço de teoria de teste bem fundamentada. Dessa forma, este projeto de pesquisa propõe a investigação de teste baseado em máquinas de estados finitos aplicado no contexto de arquiteturas orientadas a serviço, mais especificamente em serviços web.

A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e à distância..

O projeto Qualipso (Quality Platform for Open Source Software) tem como objetivo incentivar a inovação e a competitividade de empresas e órgãos do governo no cenário mundial de hoje e do futuro, através de softwares abertos confiáveis, flexíveis e de baixo custo para o desenvolvimento de sistemas de informação inovadores e seguros. Para isso o projeto QualiPSo definirá e implementará tecnologias, processos e políticas que facilitarão o desenvolvimento e utilização de componentes de software aberto com o mesmo grau de confiabilidade dos softwares proprietários.

O objetivo principal do núcleo LEN no projeto é o desenvolvimento de um "software" de qualidade comercial que permita a utilização amigável dos critérios e modelos desenvolvidos para o tratamento de casos reais em compartimentos de reservatórios. Este software será constituído pela implementação, em linguagem de alto nível, dos métodos numéricos utilizados na solução das equações do modelo matemático de simulação.

O objetivo global do projeto PLAVIS é o estudo e o desenvolvimento de métodos, técnicas e ferramentas nas áreas de Testes de Protocolos: geração, seleção, execução e análise automatizada de testes bem como modelagem e análise de desempenho. Além disso, será também enfocada a qualidade dos testes, tanto do ponto de vista da cobertura (seja do código, seja da especificação), quanto do ponto de vista da eficácia para encontrar falhas. Ao final, ter-se-á uma plataforma aberta, servindo para ensino e pesquisa e também para o uso pelos desenvolvedores de sistemas no Instituto Nacional de Pesquisas Espaciais (INPE). Em longo prazo, planeja-se que outras empresas e instituições acadêmicas utilizem a plataforma. A meta deste projeto é disponibilizar o conjunto dos protótipos dessas ferramentas em uma mesma plataforma de Verificação, Validação e Testes (VV&T) no INPE para ser utilizada por futuros projetos de software de aplicações espaciais desenvolvidos pelo instituto ou mesmo terceirizados pela indústria aeroespacial...