3 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…
cs.LO2016
Towards an Approximate Conformance Relation for Hybrid I/O Automata
Morteza Mohaqeqi, Mohammad Reza Mousavi
Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial ide…