Virtual participation: Zoom details available here
Speaker: Dr. Stylianos (Stelios) Basagiannis, Collins Aerospace – Applied Research & Technology Centre
Title: "Concepts and solutions on Verification and Validation of cyber-physical systems: an industrial view"
Abstract: Ensuring the security and safety of cyber-physical systems (CPS) while reducing systems’ environmental impact, fuel consumption, and operational cost is forcing a rethinking of future cyber-physical systems design cycles. In a continuously growing global market, next generation CPS development requires methods and tools to promote early cross-discipline collaboration, allowing a system-wide accurate analysis, validation, and verification. Collaborative model-based design is a promising approach, in which diverse digital model representations of system elements are combined and analyzed in a virtual setting, but its full benefits have not been fully realized in the sector. At the same time, the multi-diverse engineering background of CPS teams forces requirements to be easily corrupted or misinformed from the (abstract) design till the (granular) prototype generation phase. In this presentation, we will introduce some of our recent validation and verification approaches being applied in aerospace cyber-physical systems. The first (top-down) approach will involve the usage of simulation-based verification techniques through interval analysis approaches for the safety verification of advanced engine control solutions. The second (bottom-up) approach will involve the usage of theorem-proving techniques at the instruction set level for embedded (RISC-V) micro-architectures for verifying security requirements. Presentation will conclude with an industrial view of CPS technology transition to industry and an overview of best practices and methods to accelerate technology adaption to industry.
Biography: Dr. Stylianos (Stelios) Basagiannis is an associate director working for Collins Aerospace, Applied Research & Technology Centre, in Cork-Ireland, the past 13 years. During his industrial career Stelios held various positions at Collins Aerospace (Discipline Leader), Raytheon Technologies Research Centre (Group Leader) and United Technologies Research Centre (Senior principal scientist, Principal Scientist, Senior Research Scientist). From 2023 he also holds an academic position-professor with International Hellenic University, in Thessaloniki-Greece, teaching Enterprise information systems and programming, formal methods and cyber-security courses in undergraduate and postgraduate programs. Both as an industrial as well as an academic researcher, Stelios has published more than 50 articles in international conferences and journals while he has been working in more than 30 EU funded projects all related to formal verification, cyber-physical systems, certified embedded systems, cyber-security, and safety-critical systems. He is a patent holder of 5 invention disclosure and more than 4 trade secrets. His research interests include advanced formal methods for the analysis and verification of cyber-physical systems, reliable and safe embedded systems, digital twins and assured AI, next-generation trusted -based computing solutions.