Stefano Tonetta
Stefano Tonetta
Fondazione Bruno Kessler, Trento, Italy
Embedded Files
Bio: Stefano Tonetta is the head of the Unit on Formal Methods for Systems and Software Design of the Fondazione Bruno Kessler, which develops tools and techniques on formal methods and model-based design, including the tools nuXmv, OCRA, and xSAP. With a PhD in Information and Telecommunication from the University of Trento, Tonetta has focused most of his research on the development of formal methods and automated verification techniques. He has authored more than hundred papers, with contributions on model checking, temporal logics, and safety-critical systems. He participated in several European projects and lead different studies such as OthelloPlay, awarded by Microsoft Software Engineering Innovations Foundation in 2012. He co-chaired various conferences such as SAFECOMP23, TIME22, and VSTTE22, and participated in several program committees.
KEYNOTE
A Formal Model for Space Exploration Digital Twins
Abstract: The ExploDTwin project has the goal of developing a generic framework to support Digital Twins (DTs) for space applications. In order to control remote space systems such as rovers and spacecrafts, the DT is expected to support simulation, prediction, and planning of activities with accurate models
that are aligned with the Physical Twin (PT). To this purpose the telemetry received from the PT is analyze to monitor the execution of the planned activities, to estimate the state of the PT and to calibrate the parameters of the simulation models.
In this talk, I will describe the Digital Twin Formal Modeling Language (DTFML) proposed in ExploDTwin, its formal semantics, and how we use it to define the mathematical problems to align PT and DT. I will exemplify them on a rover case study and will report on the status of the curent activities of the project.
Page updated
Google Sites
Report abuse