- Details
- Written by Francesco Mariotti
- Category: News
- Hits: 2133
Antonio Prado (INPE) has just started his secondment at UNIFI. He will work on astrodynamics for the study of orbits in the context of the BEDCS use case. He has already held an interesting discussion with the members of the UNIFI research group about orbits dynamics and a seminar on the topic.
- Details
- Written by Zoltan Micskei
- Category: News
- Hits: 1891
Dr. Zoltán Micskei and Márton Elekes spent one month at ResilTech in Pontedera, Italy. Their secondment was connected to the research activities in WP2 - Techniques for Collecting Evidence in CPSs.
At the beginning of their secondment, they gave a seminar entitled Testing models and modelling languages. They presented recent research work on how modeling languages and their semantics can be tested using the assessment of the Precise Semantics of UML State Machines (PSSM) OMG standard and it test suite as a case study.
After discussions with researchers from ResilTech, they identified that testing of modelling languages is relevant for them, because they are developing ResilBlockly, a tool for modelling and assessment of System of Systems, used by the company in their R&D projects and consultations.
They identified which topics are relevant both from a research perspective and both from knowledge transfer and the development of the tool. For example, creating a systematic test suite that can be used in different test scenarios and levels is highly relevant. Researches from BME and RESILTECH analyzed the metamodel for ResilBlockly’s Profile Designer, and designed test profiles that could be used to test edge cases or combinations of model elements.
- Details
- Written by András Földvári
- Category: News
- Hits: 2030
Vince Molnár and Bence Graics from Budapest University of Technology and Economics had a 1-month-long secondment at INPE. They have continued to work on the activities initiated almost 3 years ago, focusing on model-based design and simulation of concept of operation (ConOps) models and satellite constellations.
In addition to the cooperation with students and researchers of INPE, they gave a 3-hour lecture on model-based systems engineering and related V&V activities. As one of the central topics of discussion was which modeling language and tool to use for what problem, they have evaluated and worked with multiple tools and languages, including the upcoming SysMLv2 language.
- Details
- Written by Francesco Mariotti
- Category: News
- Hits: 2053
Prof. Camilo Gómez and Daniel Cuellar from UNIANDES ended their month and a half secondment at UNIFI by making a final presentation on their research activity carried out during this period. They worked on stochastic optimization for the analysis of adversaries’ attack paths in CPSs. Further research will follow to consider the countermeasures that could be taken by a "defender" to limit the threats posed by adversaries.
- Details
- Written by Francesco Mariotti
- Category: News
- Hits: 1913
Yesterday (11 July 2022) Prof. Zoltán Micskei and Márton Elekes (BME), currently seconded at ResilTech, visited the University of Florence. On this occasion they also had the opportunity to meet Prof. Camilo Gómez (UNIANDES), who is currently seconded at UNIFI. They talked about possible future collaborations between BME and UNIANDES.
Page 4 of 8