SACSys - Safe and Secure Adaptive Collaborative Systems

There is a rapid development of technology such as self-driving cars and collaborating robots. These products are additionally integrated into collaborating ensembles, capable of delivering collaborative functions, such as vehicle platooning. At the same time as the complexity and diversity of these systems grow, they have to become increasingly adaptive, both because their complex interplay and behavior cannot be fully predicted and analyzed at design-time, and also because they operate in unpredictable environments. Current state-of practice in system architecture, software development and safety and security assurance is challenged by this development.
In SACSys, we address the core question of how to provide run-time guarantees of safety and cyber-security for time-critical collaborative adaptive systems. For achieving this goal, we will recognize and define continuous safety and security requirements with time-criticality features in adaptive systems (through subproject CASSA), and design behavioral models at run-time to analyze and check  conformance of the safety and security requirements (through subproject APAC). The analysis of such models will be executed in a suitable cloud-based platform with real-time guarantees, provided by novel approaches (developed within subproject RTCloud). These subprojects will each contribute with a required element, and jointly provide a viable answer to the SACSys core question. The Swedish industrial giants, Volvo Cars, Volvo GTO, Volvo CE and ABB Robotics participate in coproduction throughout the project by provision of requirements and use cases as well as involvement and guidance in research focus and implementation. The co-production and results of SACSys are expected to increase the business prospects of the industrial partners by increased competence and key solutions that will strengthen their competitiveness related to design of collaborative adaptive system products and services. Prof. Edward Lee from UC Berkeley, the world’s leading expert in cyber-physical systems, and Prof. David Garlan from CMU, the internationally known expert in self-adaptive software, will contribute as external advisors of the project.

[Show all publications]

Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024)
Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani
Journal of Cybersecurity and Privacy (JCP)

The computing continuum: From IoT to the cloud (Oct 2024)
Auday Al-Dulaimy, Matthijs Jansen , Bjarne Johansson, Animesh Trivedi , Alexandru Iosup , Mohammad Ashjaei, Antonino Galletta , Dragi Kimovski , Radu Prodan , Konstantinos Tserpes , George Kousiouris , Chris Giannakos , Ivona Brandic , Nawfal Ali , André B. Bondi , Alessandro Papadopoulos
Internet of Things (IoT)

Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents (Jul 2024)
Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin
The 19th International Conference on Availability, Reliability and Security (ARES 2024) (ARES 2024)

A Privacy-Preserving Distributed Greedy Framework to Desynchronize Power Consumption in a Network of Thermostatically Controlled Loads (Jul 2024)
Mojtaba Kaheni, Alessandro Papadopoulos, Elio Usai , Mauro Franceschelli
IEEE Transactions on Control Systems Technology (TCST 2024)

Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)

Hybrid Moving Controller: Modified Hybrid Moving Target Defense with Stability Guarantees (Jun 2024)
Mojtaba Kaheni, Alessandro Papadopoulos
22nd European Control Conference (ECC 2024)