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.
