Explanipedia

Bridging TSN and 5G networks: Prototype design and evaluation for real-time embedded systems Open

Zenepe Satka, Mohammad Ashjaei, Jeretta Horn Nord, William Rosales Mayta, Didrik Nordin , et al. · 2025

A model-based approach to automation of formal verification of ROS 2-based systems Open

Lukas Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu · 2025

Formal verification of robotic applications, particularly those based on ROS 2, is desirable for ensuring correctness and safety. However, the complexity of formal methods and the manual effort required for model creation and parameter ext…

Pattern-based verification of ROS 2 applications using UPPAAL Open

Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen · 2025

This paper proposes an approach to pattern-based modeling and Uppaal -based verification for ROS 2 applications. The proposed verification focuses on callback execution latencies and buffer overflow. We propose formal model templates to mo…

Deadline-constrained security-aware workflow scheduling in hybrid cloud architecture Open

Somayeh Abdi, Mohammad Ashjaei, Saad Mubeen · 2024

A hybrid cloud is an efficient solution to deal with the problem of insufficient resources of a private cloud when computing demands increase beyond its resource capacities. Cost-efficient workflow scheduling, considering security requirem…

Scheduling and Response-time Analysis of Multicore and Multi-GPU Heterogeneous Systems Open

Sahar Mobaiyen, Nandinbaatar Tsog, Saad Mubeen, Mikael Sjödin, Matthias Becker · 2024

In this paper, we introduce a novel scheduling approach tailored for real-time tasks executing on heterogeneous computing platforms, which encompass both multi-core processors and multiple identical GPUs. The proposed approach addresses th…

Cost-aware workflow offloading in edge-cloud computing using a genetic algorithm Open

Somayeh Abdi, Mohammad Ashjaei, Saad Mubeen · 2024

The edge-cloud computing continuum effectively uses fog and cloud servers to meet the quality of service (QoS) requirements of tasks when edge devices cannot meet those requirements. This paper focuses on the workflow offloading problem in…

A Model-Based Methodology for Automated Verification of ROS 2 Systems Open

Lukas Dust, Mikael Ekström, Rong Gu, Saad Mubeen, Cristina Seceleanu · 2024

Task Offloading in Edge-Cloud Computing Using a Q-Learning Algorithm Open

Somayeh Abdi, Mohammad Ashjaei, Saad Mubeen · 2024

Server Time Reservation for Periodic Real-Time Applications Open

Ali Balador, Lizzy Tengana, Mohammad Ashjaei, Raihan Ul Islam, Saad Mubeen · 2023

To utilize edge and cloud in real-time industrial applications, communication with the edge and cloud servers should be predictable in timing. However, the predictability of offloading from device to servers cannot be guaranteed in an envi…

Supporting end-to-end data propagation delay analysis for TSN-based distributed vehicular embedded systems Open

Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Saad Mubeen · 2023

In this paper, we identify that the existing end-to-end data propagation delay analysis for distributed embedded systems can calculate pessimistic (over-estimated) analysis results when the nodes are synchronized. This is particularly the …

A comprehensive systematic review of integration of time sensitive networking and 5G communication Open

Zenepe Satka, Mohammad Ashjaei, Hossein Fotouhi, Masoud Daneshtalab, Mikael Sjödin , et al. · 2023

Many industrial real-time applications in various domains, e.g., automotive, industrial automation, industrial IoT, and industry 4.0, require ultra-low end-to-end network latency, often in the order of 10 milliseconds or less. The IEEE 802…

Workflow Offloading in Edge-Cloud Computingproposing a Mathematical Programming Model and a Genetic Algorithm Open

Somayeh Abdi, Mohammad Ashjaei, Saad Mubeen · 2023

Deadline-Constrained Security-Aware Workflow Scheduling in Hybrid Cloud Architecture Open

Somayeh Abdi, Mohammad Ashjaei, Saad Mubeen · 2023

AVB-aware Routing and Scheduling for Critical Traffic in Time-sensitive Networks with Preemption Open

Aldin Berisa, Luxi Zhao, Silviu S. Craciunas, Mohammad Ashjaei, Saad Mubeen , et al. · 2022

The Time-Sensitive Network (TSN) amendments and protocols add capabilities on top of standard 802.1 Ethernet for guaranteeing the timeliness of both (isochronous) scheduled traffic (ST) and shaped (audio-video) communication (AVB) in distr…

Organizing Committee Open

Saad Mubeen, Song Han, Jong-Chan Kim, Mohammad Ashjaei, Julie Fant , et al. · 2022

GeoRep—Resilient Storage for Wide Area Networks Open

Daniel Brahneborg, Romaric Duvignau, Wasif Afzal, Saad Mubeen · 2022

Embedded systems typically have limited processing and storage capabilities, and may onlyintermittently be powered on. After sending data from its sensors upstream, the system must therefore be ableto trust that the data, once acknowledged…

Modeling Centralised Automotive E/E Software Architectures Open

Alessio Bucaioni, Patrizio Pelliccione, Saad Mubeen · 2022

Resilient Conflict-free Replicated Data Types without Atomic Broadcast Open

Daniel Brahneborg, Wasif Afzal, Saad Mubeen · 2022

In a distributed system, applications can perform both reads and updates without costly synchronous network round-trips by using Conflict-free Replicated Data Types (CRDTs). Most CRDTs are based on some variant of atomic broadcast, as that…

Multi-processor scheduling of elastic applications in compositional real-time systems Open

Shaik Mohammed Salman, Alessandro Vittorio Papadopoulos, Saad Mubeen, Thomas Nolte · 2021

Scheduling of real-time applications modelled according to the periodic and the sporadic task model under hierarchical and compositional real-time systems has been widely studied to provide temporal isolation among independent applications…

Scheduling Elastic Applications in Compositional Real-Time Systems Open

Shaik Mohammed Salman, Saad Mubeen, Filip Marković, Alessandro Vittorio Papadopoulos, Thomas Nolte · 2021

Many real-time applications have functional behaviour that requires variability in timing properties at runtime. The elastic task model provides a convenient mechanism to specify and encapsulate such variability and enables the modificatio…

Time-Sensitive Networking in automotive embedded systems: State of the art and research opportunities Open

Mohammad Ashjaei, Lucia Lo Bello, Masoud Daneshtalab, Gaetano Patti, Sergio Saponara , et al. · 2021

The functionality advancements and novel customer features that are currently found in modern automotive systems require high-bandwidth and low-latency in-vehicle communications, which become even more compelling for autonomous vehicles. I…

A systematic methodology to migrate complex real-time software systems to multi-core platforms Open

Shaik Salman, Alessandro Vittorio Papadopoulos, Saad Mubeen, Thomas Nolte · 2021

Journal of Systems Architecture

A systematic methodology to migrate complex real-time software systems to multi-core platforms Open

Shaik Mohammed Salman, Alessandro Vittorio Papadopoulos, Saad Mubeen, Thomas Nolte · 2021

This paper proposes a systematic three-stage methodology for migrating complex real-time industrial software systems from single-core to multi-core computing platforms. Single-core platforms have limited computational capabilities that pre…

A novel frame preemption model in TSN networks Open

Mohammad Ashjaei, Mikael Sjödin, Saad Mubeen · 2021

This paper identifies a limitation in the frame preemption model in the TSN standard (IEEE 802.1Q-2018), due to which high priority frames can experience significantly long blocking delays, thereby exacerbating their worst-case response ti…

A Trade-Off between Computing Power and Energy Consumption of On-Board Data Processing in GPU Accelerated In-Orbit Space Systems Open

Nandinbaatar Tsog, Saad Mubeen, Mikael Sjödin, Fredrik Bruhn · 2021

On-board data processing is one of the prior on-orbit activities that improves the performance capability of in-orbit space systems such as deep-space exploration, earth and atmospheric observation satellites, and CubeSat constellations. H…

A Systematic Migration Methodology for Complex Real-time Software Systems Open

Shaik Mohammed Salman, Thomas Nolte, Saad Mubeen, Alessandro Vittorio Papadopoulos · 2020

<p>2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)</p>

Modelling multi-criticality vehicular software systems: evolution of an industrial component model Open

Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin · 2020

Software in modern vehicles consists of multi-criticality functions, where a function can be safety-critical with stringent real-time requirements, less critical from the vehicle operation perspective, but still with real-time requirements…

Timing Predictability and Security in Safety-Critical Industrial Cyber-Physical Systems: A Position Paper Open

Saad Mubeen, Elena Lisova, Aneta Vulgarakis Feljan · 2020

Cyber Physical Systems (CPSs) are systems that are developed by seamlessly integrating computational algorithms and physical components, and they are a result of the technological advancement in the embedded systems and distributed systems…

A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT Open

Svetlana Girs, Séverine Séntilles, Sara Abbaspour Asadollah, Mohammad Ashjaei, Saad Mubeen · 2020

The cloud computing paradigm provides remote computing resources to the cloud service consumers and businesses. When combined with Internet of Things (IoT), both technologies open up a wide range of new possibilities for more agile and fle…

Demand-Driven Static Backward Slicing for Unstructured Programs Open

Husni Khanfar, Björn Lisper, Saad Mubeen · 2019

Backward program slicing identifies the program parts that might influence a particular variable at a program point. A program part (e.g., a statement) can be directly influenced by another part due to its data or control dependence on the…

Saad Mubeen YOU? Author Swipe