Monte carlo based statistical model checking of cyber-physical systems: A review
The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs)(eg,
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …
autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this …
Bip 2.0: Statistical model checking stochastic real-time systems
This paper presents a major new release of S BIP, an extensible statistical model checker for
Metric (MTL) and Linear-time Temporal Logic (LTL) properties on respectively Generalized …
Metric (MTL) and Linear-time Temporal Logic (LTL) properties on respectively Generalized …
Design for dependability—State of the art and trends
This paper presents an overview of design for dependability as a process involving three
distinct but interrelated activities: risk analysis, risk mitigation, and risk assessment. Although …
distinct but interrelated activities: risk analysis, risk mitigation, and risk assessment. Although …
Optimal strategy model checking in possibilistic decision processes
W Liu, Y Li - IEEE Transactions on Systems, Man, and …, 2023 - ieeexplore.ieee.org
Probabilistic model checking has received increasing attention in formal verification.
Meanwhile, in the fuzzy setting, the possibilistic model checking has been well studied by Li …
Meanwhile, in the fuzzy setting, the possibilistic model checking has been well studied by Li …
Programming dynamic reconfigurable systems
DR-BIP is an extension of the BIP component framework intended for programming
reconfigurable systems encompassing various aspects of dynamism. It relies on …
reconfigurable systems encompassing various aspects of dynamism. It relies on …
Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance
Our study details the development and validation of an orchestrator-controlled robotic
network that effectively organizes and manages the activities of multiple robots. The design …
network that effectively organizes and manages the activities of multiple robots. The design …
Sound Statistical Model Checking for Probabilities and Expected Rewards
Statistical model checking estimates probabilities and expectations of interest in probabilistic
system models by using random simulations. Its results come with statistical guarantees …
system models by using random simulations. Its results come with statistical guarantees …
Detection and mitigation of clock deviation in the verification & validation of drone-aided lifting operations
Abstract Modern Cyber-Physical systems rely on diverse computation logic, communication
protocols, and technologies and are susceptible to environmental phenomena and …
protocols, and technologies and are susceptible to environmental phenomena and …
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Analyzing the behavior of sensors is becoming one of the key challenges due to their
increasing use for decision making in IoT systems. The paper proposes an approach for a …
increasing use for decision making in IoT systems. The paper proposes an approach for a …
A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery
The challenges of current software-intensive systems, large-scale information and
computing systems environments, which are highly dynamic, heterogeneous, and …
computing systems environments, which are highly dynamic, heterogeneous, and …