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.
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Jan 2019) Iman Jahandideh , Fatemeh Ghasemi , Marjan Sirjani Model-Based Design of Cyber Physical Systems (CyPhy'18)
Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018) Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari Science of Computer Programming (SCICO)
Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018) Erik Martin Campana , Nils Müllner, Saad Mubeen 2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)
What Good are Models? (Oct 2018) Edward Lee, Marjan Sirjani International Conference on Formal Aspects of Component Software (FACS 2018)
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (Oct 2018) Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov , Gul Agha International Journal on Software Tools for Technology Transfer (STTT)
A method for dependability evaluation of software architectures (Jul 2018) Ali Sedaghatbaf, Mohammad A. Azgomi
