mdh.sePublications
Change search
Link to record
Permanent link

Direct link
BETA
Sirjani, Marjan
Publications (10 of 24) Show all publications
Khakpour, N., Kleijn, J. & Sirjani, M. (2019). A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): . Paper presented at 8th International Conference on Fundamentals of Software Engineering, FSEN 2019; Tehran; Iran; 1 May 2019 through 3 May 2019 (pp. 3-19). Springer
Open this publication in new window or tab >>A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
2019 (English)In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer , 2019, p. 3-19Conference paper, Published paper (Refereed)
Abstract [en]

An approach for modelling adaptive complex systems should be flexible and scalable to allow a system to grow easily, and should have a formal foundation to guarantee the correctness of the system behavior. In this paper, we present the architecture, and formal syntax and semantics of HPobSAM which is a model for specifying behavioral and structural adaptations to model large-scale systems and address re-usability concerns. Self-adaptive modules are used as the building blocks to structure a system, and policies are used as the mechanism to perform both behavioral and structural adaptations. While a self-adaptive module is autonomous to achieve its local goals by collaborating with other self-adaptive modules, it is controlled by a higher-level entity to prevent undesirable behavior. HPobSAM is formalized using a combination of algebraic, graph transformation-based and actor-based formalisms.

Place, publisher, year, edition, pages
Springer, 2019
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11761 LNCS
Keywords
Adaptive systems, Large scale systems, Semantics, Software engineering, Adaptive complex systems, Adaptive modules, Building blockes, Formal foundation, Graph Transformation, Self-adaptive system, Structural adaptation, System behaviors, Behavioral research
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-46546 (URN)10.1007/978-3-030-31517-7_1 (DOI)2-s2.0-85076083002 (Scopus ID)9783030315160 (ISBN)
Conference
8th International Conference on Fundamentals of Software Engineering, FSEN 2019; Tehran; Iran; 1 May 2019 through 3 May 2019
Available from: 2019-12-17 Created: 2019-12-17 Last updated: 2019-12-19Bibliographically approved
Sirjani, M., Forcina, G., Jafari, A., Baumgart, S., Khamespanah, E. & Sedaghatbaf, A. (2019). An Actor-based Design Platform for System of Systems. In: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019: . Paper presented at COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States.
Open this publication in new window or tab >>An Actor-based Design Platform for System of Systems
Show others...
2019 (English)In: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 2019Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present AdaptiveFlow as a platform for designing system of systems. A model-based development approach is proposed and tools are provided for formal verification and performance evaluation. The actor-based language, Timed Rebeca, is used for modelling, and the model checking tool Afra is used for checking the safety properties and also for performance evaluation. We investigate the efficiency of our approach and the applicability of the developed platform by conducting experiments on a case study based on the Electric Site Research Project of Volvo Construction Equipment. In this project, a fleet of autonomous haulers is utilised to transport materials in a quarry site. We used three adaptive policies as plugins to our platform and examined these policies in different scenarios.

Keywords
System-of-systems, Actor model, Track-basedflow management, Model checking, Performance evaluation
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-45141 (URN)10.1109/COMPSAC.2019.00089 (DOI)2-s2.0-85072692497 (Scopus ID)978-1-7281-2607-4 (ISBN)
Conference
COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States
Projects
ITS-EASY Post Graduate School for Embedded Software and Systems
Available from: 2019-09-05 Created: 2019-09-05 Last updated: 2019-10-11Bibliographically approved
Dastani, M. & Sirjani, M. (2019). Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017) Preface. Science of Computer Programming, 182, 86-87
Open this publication in new window or tab >>Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017) Preface
2019 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 182, p. 86-87Article in journal, Editorial material (Other academic) Published
Place, publisher, year, edition, pages
ELSEVIER, 2019
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-46337 (URN)10.1016/j.scico.2019.07.004 (DOI)000487570800004 ()
Available from: 2019-12-13 Created: 2019-12-13 Last updated: 2019-12-13Bibliographically approved
Jahandideh, I., Ghassemi, F. & Sirjani, M. (2019). Hybrid rebeca: Modeling and analyzing of cyber-physical systems. In: Lect. Notes Comput. Sci.: . Paper presented at CyPhy 2018, WESE 2018 (pp. 3-27). Springer Verlag
Open this publication in new window or tab >>Hybrid rebeca: Modeling and analyzing of cyber-physical systems
2019 (English)In: Lect. Notes Comput. Sci., Springer Verlag , 2019, p. 3-27Conference paper, Published paper (Refereed)
Abstract [en]

In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems. Hybrid Rebeca is an extension of actor-based language Rebeca. In this extension, physical actors are introduced as new computational entities to encapsulate physical behaviors. To support various means of communication among the entities, the network is explicitly modeled as a separate entity from actors. We derive hybrid automata as the basis for analysis of Hybrid Rebeca models. We demonstrate the applicability of our approach through a case study in the domain of automotive systems. We use SpaceEx framework for the analysis of the case study. 

Place, publisher, year, edition, pages
Springer Verlag, 2019
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11615 LNCS
Keywords
Actor model, Cyber-physical systems, Hybrid automata
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-44935 (URN)10.1007/978-3-030-23703-5_1 (DOI)2-s2.0-85069162822 (Scopus ID)9783030237028 (ISBN)
Conference
CyPhy 2018, WESE 2018
Note

Export Date: 1 August 2019; Conference Paper; Correspondence Address: Ghassemi, F.; School of Electrical and Computer Engineering, University of TehranIran; email: fghassemi@ut.ac.ir

Available from: 2019-08-01 Created: 2019-08-01 Last updated: 2019-08-01Bibliographically approved
Lohstroh, M., Schoeberl, M., Goens, A., Wasicek, A., Gill, C., Sirjani, M. & Lee, E. A. (2019). Invited: Actors revisited for time-critical systems. In: Proceedings - Design Automation Conference: . Paper presented at 56th Annual Design Automation Conference, DAC 2019, 2 June 2019 through 6 June 2019. Institute of Electrical and Electronics Engineers Inc., Article ID 152.
Open this publication in new window or tab >>Invited: Actors revisited for time-critical systems
Show others...
2019 (English)In: Proceedings - Design Automation Conference, Institute of Electrical and Electronics Engineers Inc. , 2019, article id 152Conference paper, Published paper (Refereed)
Abstract [en]

Programming time-critical systems is notoriously difficult. In this paper we propose an actor-oriented programming model with a semantic notion of time and a deterministic coordination semantics based on discrete events to exercise precise control over both the computational and timing aspects of the system behavior.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2019
Keywords
Actors, Discrete events, Real-time systems, Aspect oriented programming, Computer aided design, Discrete time control systems, Interactive computer systems, Semantics, Precise control, Programming models, Programming time, System behaviors, Time-critical systems, Timing aspects, Real time systems
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-44871 (URN)10.1145/3316781.3323469 (DOI)000482058200152 ()2-s2.0-85067785090 (Scopus ID)9781450367257 (ISBN)
Conference
56th Annual Design Automation Conference, DAC 2019, 2 June 2019 through 6 June 2019
Available from: 2019-07-11 Created: 2019-07-11 Last updated: 2019-12-30Bibliographically approved
Salimi, M., Majd, A., Loni, M., Seceleanu, T., Seceleanu, C., Sirjani, M., . . . Troubitsyna, E. (2019). Multi-objective optimization of real-time task scheduling problem for distributed environments. In: ACM International Conference Proceeding Series: . Paper presented at 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019, 2 September 2019 through 3 September 2019. Association for Computing Machinery, Article ID a13.
Open this publication in new window or tab >>Multi-objective optimization of real-time task scheduling problem for distributed environments
Show others...
2019 (English)In: ACM International Conference Proceeding Series, Association for Computing Machinery , 2019, article id a13Conference paper, Published paper (Refereed)
Abstract [en]

Real-world applications are composed of multiple tasks which usually have intricate data dependencies. To exploit distributed processing platforms, task allocation and scheduling, that is assigning tasks to processing units and ordering inter-processing unit data transfers, plays a vital role. However, optimally scheduling tasks on processing units and finding an optimized network topology is an NP-complete problem. The problem becomes more complicated when the tasks have real-time deadlines for termination. Exploring the whole search space in order to find the optimal solution is not feasible in a reasonable amount of time, therefore meta-heuristics are often used to find a near-optimal solution. We propose here a multi-population evolutionary approach for near-optimal scheduling optimization, that guarantees end-to-end deadlines of tasks in distributed processing environments. We analyze two different exploration scenarios including single and multi-objective exploration. The main goal of the single objective exploration algorithm is to achieve the minimal number of processing units for all the tasks, whereas a multi-objective optimization tries to optimize two conflicting objectives simultaneously considering the total number of processing units and end-to-end finishing time for all the jobs. The potential of the proposed approach is demonstrated by experiments based on a use case for mapping a number of jobs covering industrial automation systems, where each of the jobs consists of a number of tasks in a distributed environment.

Place, publisher, year, edition, pages
Association for Computing Machinery, 2019
Keywords
Distributed Task Scheduling, Evolutionary Computing, Multi-Objective Optimization, Real-Time Processing, Automation, Computational complexity, Data handling, Data transfer, Finishing, Image coding, Job shop scheduling, Multitasking, Optimal systems, Scheduling, Scheduling algorithms, Conflicting objectives, Distributed environments, Distributed processing, Distributed tasks, Industrial automation system, Realtime processing, Task allocation and scheduling, Multiobjective optimization
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:mdh:diva-46527 (URN)10.1145/3352700.3352713 (DOI)2-s2.0-85075887884 (Scopus ID)9781450376365 (ISBN)
Conference
6th Conference on the Engineering of Computer-Based Systems, ECBS 2019, 2 September 2019 through 3 September 2019
Available from: 2019-12-17 Created: 2019-12-17 Last updated: 2019-12-19Bibliographically approved
Moradi, F., Sedaghatbaf, A., Abbaspour Asadollah, S., Causevic, A. & Sirjani, M. (2019). On-Off Attack on a Blockchain-based IoT System. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA: . Paper presented at 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, 10 September 2019 through 13 September 2019 (pp. 1768-1773). Institute of Electrical and Electronics Engineers Inc.
Open this publication in new window or tab >>On-Off Attack on a Blockchain-based IoT System
Show others...
2019 (English)In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, Institute of Electrical and Electronics Engineers Inc. , 2019, p. 1768-1773Conference paper, Published paper (Refereed)
Abstract [en]

There is a growing interest in using the Blockchain for resolving IoT security and trustworthiness issues existing in today's complex systems. Blockchain concerns trust in peer to peer networks by providing a distributed tamper-resistant ledger. However, the combination of these two emerging technologies might create new problems and vulnerabilities that attackers might abuse.In this paper, we aim to investigate the trust mechanism of Lightweight Scalable BlockChain (LSB), that is a Blockchain specifically designed for Internet of Things networks, to show that a malicious participant in a Blockchain architecture have possibility to pursue an On-Off attack and downgrade the integrity of the distributed ledger. We choose a remote software update process as an instance to represent this violation. Finally, using the actor-based language Rebeca, we provide a model of a system under attack and verify the described attack scenario.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2019
Keywords
Blockchain, Distributed Trust, IoT, On-Off Attack, Security, Factory automation, Network security, Peer to peer networks, Attack scenarios, Emerging technologies, Malicious participant, Software updates, Tamper resistant, Internet of things
National Category
Computer and Information Sciences
Identifiers
urn:nbn:se:mdh:diva-46532 (URN)10.1109/ETFA.2019.8868238 (DOI)2-s2.0-85074214755 (Scopus ID)9781728103037 (ISBN)
Conference
24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, 10 September 2019 through 13 September 2019
Available from: 2019-12-17 Created: 2019-12-17 Last updated: 2019-12-17Bibliographically approved
Sirjani, M., Khamespanah, E. & Ghassemi, F. (2019). Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. In: Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019: . Paper presented at 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019, 8 October 2019 through 9 October 2019. Institute of Electrical and Electronics Engineers Inc.
Open this publication in new window or tab >>Reactive Actors: Isolation for Efficient Analysis of Distributed Systems
2019 (English)In: Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019, Institute of Electrical and Electronics Engineers Inc. , 2019Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we explain how the isolation or decoupling of actors can help in developing efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed extension are introduced as actor-based languages for modeling and analyzing distributed systems. We show how floating-time transition system can be used for model checking of timed actor models when we are interested in event-based properties, and how it helps in state space reduction. We explain how the model of computation of actors helps in devising an efficient state distribution policy in distributed model checking. We show how we use Rebeca to verify the routing algorithms of mobile adhoc networks. The paper is written in a way to make the ideas behind each technique clear such that it can be reused in similar domains.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2019
Keywords
Actors, distributed systems, model checking, real-time systems, Distributed computer systems, Interactive computer systems, Mobile ad hoc networks, Modeling languages, Distributed model checking, Efficient analysis, Model of computation, State distributions, State-space reduction, Time transition, Real time systems
National Category
Health Sciences
Identifiers
urn:nbn:se:mdh:diva-47116 (URN)10.1109/DS-RT47707.2019.8958682 (DOI)2-s2.0-85079056870 (Scopus ID)9781728129235 (ISBN)
Conference
23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019, 8 October 2019 through 9 October 2019
Available from: 2020-02-20 Created: 2020-02-20 Last updated: 2020-02-20Bibliographically approved
Causevic, A., Papadopoulos, A. & Sirjani, M. (2019). Towards a Framework for Safe and Secure Adaptive Collaborative Systems. In: The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2019: . Paper presented at The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States.
Open this publication in new window or tab >>Towards a Framework for Safe and Secure Adaptive Collaborative Systems
2019 (English)In: The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2019, 2019Conference paper, Published paper (Refereed)
National Category
Engineering and Technology Computer Systems
Identifiers
urn:nbn:se:mdh:diva-43936 (URN)10.1109/COMPSAC.2019.10201 (DOI)2-s2.0-85072656696 (Scopus ID)9781728126074 (ISBN)
Conference
The 9th IEEE International Workshop on Industrial Experience in Embedded Systems Design IEESD 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States
Projects
Future factories in the CloudSAFSEC-CPS -- Securing the safety of autonomous cyber-physical systemsSerendipity - Secure and dependable platforms for autonomy
Available from: 2019-06-20 Created: 2019-06-20 Last updated: 2020-02-20Bibliographically approved
Dehnavi, S., Sedaghatbaf, A., Salmani, B., Sirjani, M., Kargahi, M. & Khamespanah, E. (2019). Towards an actor-based approach to design verified ROS-based robotic programs using rebeca. In: Procedia Computer Science: . Paper presented at 16th International Conference on Mobile Systems and Pervasive Computing, MobiSPC 2019, 14th International Conference on Future Networks and Communications, FNC 2019, 9th International Conference on Sustainable Energy Information Technology, SEIT 2019, 19 August 2019 through 21 August 2019 (pp. 59-68). Elsevier B.V., 155
Open this publication in new window or tab >>Towards an actor-based approach to design verified ROS-based robotic programs using rebeca
Show others...
2019 (English)In: Procedia Computer Science, Elsevier B.V. , 2019, Vol. 155, p. 59-68Conference paper, Published paper (Refereed)
Abstract [en]

Robotic technology helps humans in different areas such as manufacturing, health care and education. Due to the ubiquitous revolution, today's focus is on mobile robots and their applications in a variety of cyber-physical systems. ROS is a wll-known and powerful middleware that facilitates software development for mobile robots. However, this middleware does not support assuring properties such as timeliness and safety of ROS-based software. In this paper we present an integration of Timed Rebeca modeling language with ROS to synthesize verified robotic software. First, a conceptual model of robotic programs is developed using Timed Rebeca. After verifying a set of user-defined correctness properties on this model, it is translated to a ROS program automatically. Experiments on some small-scale case studies illustrates the applicability of the proposed integration method. 

Place, publisher, year, edition, pages
Elsevier B.V., 2019
Keywords
Formal Verification, Mobility, Model Checking, Model-Based Design, Robotics, ROS, Timed Rebeca, Carrier mobility, Computer simulation languages, Embedded systems, Energy conservation, Engineering education, Middleware, Mobile robots, Modeling languages, Software design, Ubiquitous computing, Conceptual model, Correctness properties, Integration method, Model- based designs, Robotic projects, Robotic softwares, Robotic technologies, Data communication systems
National Category
Computer Vision and Robotics (Autonomous Systems) Computer Sciences
Identifiers
urn:nbn:se:mdh:diva-46158 (URN)10.1016/j.procs.2019.08.012 (DOI)2-s2.0-85074724079 (Scopus ID)
Conference
16th International Conference on Mobile Systems and Pervasive Computing, MobiSPC 2019, 14th International Conference on Future Networks and Communications, FNC 2019, 9th International Conference on Sustainable Energy Information Technology, SEIT 2019, 19 August 2019 through 21 August 2019
Available from: 2019-12-10 Created: 2019-12-10 Last updated: 2019-12-10Bibliographically approved
Organisations

Search in DiVA

Show all publications