Tehran Institute for Advanced Studies (TeIAS)

/ Actor-based Design Platform for System of Systems __ Marjan Sirjani


Actor-based Design Platform for System of Systems

August 11, 2019


Khatam University, Building No2.
Address: Mollasadra Blvd., North Shirazi St., East Daneshvar St., No.17. See location on Google map


Dr. Marjan Sirjani

Professor and chair of software Engineering at Malardalen University


Collaborating systems consist of interdependent systems that collaborate to realise a common goal. Such systems are formed by synergetic collaboration among distributed systems and evolve dynamically. Integrated manufacturing systems, enterprise information systems and collaborative transportation systems are examples of collaborating systems. In this talk I present a family of actor-based languages that are used for modeling, verification and analysis of collaborating systems. I focus on a platform for designing flow management systems, like in Intelligent Transportation Systems. The platform can be used for improving safety, Increasing efficiency, enhance mobility, reduce power consumption and environmental cost, and increase economic productivity.


Marjan Sirjani is a Professor and chair of Software Engineering at Mälardalen University, and the leader of Cyber-Physical Systems Analysis research group. She is also a part-time Professor at School of Computer Science at Reykjavik University. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent, distributed, and self-adaptive systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. Her research is now focused on safety assurance and performance evaluation of self-adaptive systems, in which she is collaborating with Ptolemy group at UC Berkeley. Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and guest editor for special issues of the journals Science of Computer Programming and Fundamenta Informaticae. Marjan served as the head of the Software Engineering Department of School of Electrical and Computer Engineering at the University of Tehran prior to joining the School of Computer Science at Reykjavik University in 2008.