The research group is focused on analyzing cyber-physical systems, as concurrent and distributed systems where embedded computers and networks monitor and control the physical processes.
See Rebeca Homepage for more information: http://www.rebeca-lang.org
Cyber-physical systems are integrations of computation, networking, and physical processes. Different novel analysis approaches and techniques are needed to guarantee dependability and efficiency of cyber-physical systems.
|First Name||Last Name||Title|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|MACMa - Modeling and Analyzing Event-based Autonomous Systems - Software Center||active|
|SACSys - Safe and Secure Adaptive Collaborative Systems||active|
|Serendipity - Secure and dependable platforms for autonomy||active|
|Volvo Group Arena||active|
|SEADA - Self-Adaptive Actors||finished|
An actor-based framework for asynchronous event-based cyber-physical systems (Apr 2021) Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani Software and Systems Modeling (SoSym)
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2021) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar IEEE Transactions on Software Engineering (TSE)
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (Nov 2020) Maryam Bagheri , Edward Lee, Eunsuk Kang , Marjan Sirjani, Ehsan Khamespanah , Ali Movaghar 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
From Requirements to Verifiable Executable Models using Rebeca (Sep 2020) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)
An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020) Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)