Busca avançada
Ano de início
Entree

Paul Chung | Loughborough University - Inglaterra

Processo: 14/50970-9
Linha de fomento:Auxílio à Pesquisa - Pesquisador Visitante - Internacional
Vigência: 07 de outubro de 2015 - 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
Convênio/Acordo: 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
Inst. 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 

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)