Paul Chung | Loughborough University - Inglaterra

• Processo: 14/50970-9
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 07 de outubro de 2015
• Data de Término da vigência: 16 de outubro de 2016
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Acordo de Cooperação: CONFAP ; Newton Fund, com FAPESP como instituição parceira no Brasil
• Pesquisador responsável: Flávio Soares Corrêa da Silva
• Beneficiário: Flávio Soares Corrêa da Silva
• Pesquisador visitante: Paul Chung
• Instituição do Pesquisador Visitante: Loughborough University, Inglaterra
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Sistemas de computação
• Palavra(s)-Chave do Pesquisador: Formal Verification | Interaction Protocols | Systems Engineering | Systems Of Systems | Uav Operations

Resumo

Sistemas de sistemas são sistemas complexos construídos a partir de componentes heterogêneos e que têm seu comportamento determinado pelas interações entre esses componentes. Durante o projeto e especificação desses sistemas, é importante identificar elementos do comportamento dos sistemas que possam gerar situações de risco. Em nosso projeto, estudaremos a extração automatizada de informações relevantes para a análise de riscos, a partir de diagramas de especificação de sistemas. Para isso, estudaremos a viabilidade e interesse em traduzir as informações extraídas dos diagramas de especificação para a forma de protocolos de interação que possam ser interpretados e executados pela plataforma JamSession. Nosso foco principal de interesse será a especificação de interações seguras entre veículos aéreos não tripulados compartilhando o mesmo espaço aéreo. (AU)