Paul Chung | Loughborough University - Inglaterra

• Grant number: 14/50970-9
• Support Opportunities: Research Grants - Visiting Researcher Grant - International
• Start date: October 07, 2015
• End date: October 16, 2016
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Agreement: CONFAP ; Newton Fund, with FAPESP as a partner institution in Brazil
• Principal Investigator: Flávio Soares Corrêa da Silva
• Grantee: Flávio Soares Corrêa da Silva
• Visiting researcher: Paul Chung
• Visiting researcher institution: Loughborough University, England
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil

Abstract

Systems of systems are complex systems based on heterogeneous components, whose behaviour is determined by the interactions among these components. As these systems are specified and designed, it is important to be able to identify elements in their general behaviour that can generate hazardous situations. In our project, we will study the automated extraction of relevant information for hazard analysis, based on systems specification diagrams. More specifically, we will study the interest and possibilities to translate Information extracted from specification diagrams to the format of interaction protocols that can be interpreted and executed using the JamSession platform. Our focus of interest will be the specification of safe interactions among UAVs sharing the same air space. (AU)