2 papers
cs.NI2022
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei +1
Wireless sensor and actuator networks (WSAN) are real-time systems which demand high degrees of reliability requirements. To ensure this level of reliability, different analysis ap…
cs.DC2020
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Wang Yi, Morteza Mohaqeqi, Susanne Graf
Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or t…