Tiberiu SECELEANU
ABB & Mälardalens University, Sweden
Data și ora: 2022-05-12 18:00
Locația: Microsoft Teams

Bio

Tiberiu SECELEANU received the MSc (1994) and Lic. Sc (1995) degrees from the Polytechnical University in Bucharest, Romania, and the Dr. Tech degree from Åbo Akademi in Turku, Finland (2001), after that working as an assistant professor and adj. professor at the IT Dept., University of Turku. In Oct. 2007 he joined ABB Corporate Research (Sweden), as a principal scientist in embedded systems architectures and design methodologies. Since Jan. 2020 he holds the “ABB Professor of Distributed Automation Systems” position at Mälardalen (read „Melardalen“) University. His publications (120+) and patents (10) focus on the areas of digital system design, platform-based design, synchronous/asynchronous (formal) modelling and implementation, and communication. He has been leading more than 20 academic, industrial or co-production projects, as a main or local leader

Abstract

The presentation describes an approach to build and maintain distributed systems – with a focus on control systems. It employs both machine learning and formal verification techniques, targeting the creation of a scalable and resilient infrastructure, setting also solid grounds for autonomous operations. The main focus of the approach is the optimality of the resulting system implementation and the correctness of the operations with respect to overall system requirements and constraints. The approach successfully “marries” service-based, model-based, self-healing and network-centric concepts towards improving design time and ease of deployment, providing dynamicity during operations.