This workshop will be hosted by Dr Ashraf Tantavy, Senior Lecturer at Cranfield University, as part of his RITICS Fellowship.

Security assurance of cyber-physical systems is crucial to realise resilient infrastructures capable of withstanding cyber-attacks. Assuring security requires a multi-faceted approach that spans design, implementation, testing, and continuous monitoring.

This workshop aims to bring together professionals and researchers across different cyber-physical systems domains to explore key security assurance approaches. The workshop will combine invited talks, breakout sessions and open discussions addressing the following topics:

– How academia and industry can collaborate to build a testing ecosystem that facilitates accelerated construction of testbeds via component reuse.

– Modelling languages and open-source tools to build portable digital twins and attack models.

– Methodologies for dataset generation and exchange.

– Progress and challenges of integrating security in Model-Based Systems Engineering (MBSE) lifecycle.

– Balance between security, usability, and functional safety.

– Frameworks and methodologies to integrate risk assessment in MBSE lifecycle

– Modelling languages, SysML integration, and toolchains.