I CICLO DE MINICURSOS 10

Entre os dias 8 e 17 de Julho, o Programa de Pós-graduação em Engenharia Aeroespacial da UFRN, em parceria com o Instituto Nacional de Pesquisas Espaciais (INPE) por meio de seu Centro Regional do Nordeste (CRN), realizam o I Tutorial em Cyber-Physical Systems, ministrados pelos Pesquisadores András Vörös da Budapest University of Technology and Economics e Andrea Bondavalli da University of Firenze, em visita ao Brasil, como parte do consórcio do Projeto ADVANCE, financiado pela União Européia, Programa H2020-MSCA-RISE-2018.

O evento é uma excelente oportunidade para pesquisadores em busca de novas colaborações e para estudantes de graduação e pós-graduação que desejem conhecer mais sobre as instituições participantes do consórcio e as pesquisas desenvolvidas no projeto ADVANCE, URL: https://cordis.europa.eu/project/rcn/219168/factsheet/en

 

Data: 08 a 17 de julho

Inscrições via SIGAA (Extensão > Inscrições on-line em ações de extensão)

Clique aqui para obter o manual de inscrição


Módulo I : Model-driven system development based on UML/SysML

Local: ECT/Auditório F

The Fault Tolerant Systems Research Group (FTSRG, https://inf.mit.bme.hu/en) conducts research in the field of model-based system design, verification and validation, and model-driven development techniques since 1994. FTSRG provides professional services and courses in the field of modelling, verification, safety-critical systems and complex IoT applications. Our experienced team participated in both industrial and also research projects. Our courses are taken by international (Bosch, thyssenkrupp Components Technology, Knorr-Bremse) and also domestic companies.

  • Introduction to the UML/SysML language (diagram types and their usage)
  • Requirement engineering using Requirement and Use Case diagrams
  • Designing activity models (using Activity diagrams)
  • Structure modelling, Component, Class and SysML Block Definition/Internal Block diagrams
  • Describing dynamic behaviour: State Machine and Sequence diagrams
  • Outlook: testing and constraints using UML/SysML
  • Methodology overview (SysMOD)

András Vörös is an assistant professor at the Budapest University of Technology and Economics. His main research interest is formal methods and model-driven software and systems engineering. He received a Best Software Science paper award at ETAPS 2018. He served as a PC member of FTSCS 2016 and FTSCS 2018 (http://www.ftscs.org/), and he is a reviewer of various international conferences such as MODELS, FASE, ICGT, DSN, and SRDS. He delivered a talk at the RiSE Seminar (TU Wien) and HUSTEF 2018 (Testing Techniques for Critical Deep Learning Applications). He is a lecturer of the professional course "Model- driven system development based on UML/SysML" for industrial partners.


Prof. András Vörös

DataHora
08/07 14:00 - 18:00
09/07 14:00 - 18:00
10/07 14:00 - 18:00

Inscrições via SIGAA (Extensão > Inscrições on-line em ações de extensão)

Clique aqui para obter o manual de inscrição


Módulo II: Cyber Physical Systems of Systems

Local: ECT/Auditório F

Cyber Physical Systems of Systems aims at defining the conceptual basis to conceive, define and design complex cyber physical systems of Systems which are at the basis of emerging fields as Internet of Things, Smart Factories and Critical Infrastructures. In particular focus is put on the distribution and coordination aspects of the constituent systems of an SoS and on time management issues.

  • Introduction and fundamentals of Cyber-Physical Systems
  • Interfaces and stigmergy
  • Emergence
  • Time, clocks and resilient time keeping

Teaching material:

Cyber-Physical Systems of Systems
Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Editors: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online)

Andrea Bondavalli is Full Professor of Computer Science at the University of Firenze where he chairs the teaching council for computer Science, before he has been a researcher of the italian CNR. His interests are dependable computing and critical infrastructures, cyber physical systems and their design and assessment. His scientific activities originated more than 220 papers appeared in international Journals and Conferences and has been chairing the program committee in several International Conferences. He led various national and European projects, has been cooperating with many industries and acted as an expert for many organizations including the european commission. He is a member of the IEEE, the IFIP W.G. 10.4 Working Group on “Dependable Computing and Fault-Tolerance”.


Prof. Andrea Bondavalli

DataHora
11/07 14:00 - 18:00
12/07 14:00 - 18:00
15/07 14:00 - 18:00
16/07 14:00 - 18:00
17/07 14:00 - 18:00

Inscrições via SIGAA (Extensão > Inscrições on-line em ações de extensão)

Clique aqui para obter o manual de inscrição