Cyber-Physical Systems Analysis

Focus:

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. 

[Show all publications]

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)

Marjan Sirjani, Professor

Email: marjan.sirjani@mdh.se
Room: U1-066C
Phone: +46736620517