Statistical Model Checking for Cyber-Physical Systems

2011 ◽  
pp. 1-12 ◽  
Author(s):  
Edmund M. Clarke ◽  
Paolo Zuliani
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Cyber Physical Systems ◽  
Statistical Model Checking ◽  
Physical Systems

scholarly journals Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review

Information ◽  
2020 ◽  
Vol 11 (12) ◽  
pp. 588
Author(s):  
Angela Pappagallo ◽  
Annalisa Massini ◽  
Enrico Tronci
Keyword(s):  
Monte Carlo ◽  
Model Checking ◽  
Statistical Model ◽  
Cyber Physical Systems ◽  
Statistical Model Checking ◽  
Physical Systems ◽  
Verification Methods ◽  
Simulation Based ◽  
Autonomous Cars ◽  
Verification Time

The ever-increasing deployment of autonomous Cyber-Physical Systems (CPSs) (e.g., autonomous cars, UAV) exacerbates the need for efficient formal verification methods. In this setting, the main obstacle to overcome is the huge number of scenarios to be evaluated. Statistical Model Checking (SMC) is a simulation-based approach that holds the promise to overcome such an obstacle by using statistical methods in order to sample the set of scenarios. Many SMC tools exist, and they have been reviewed in several works. In this paper, we will overview Monte Carlo-based SMC tools in order to provide selection criteria based on Key Performance Indicators (KPIs) for the verification activity (e.g., minimize verification time or cost) as well as on the environment features, the kind of system model, the language used to define the requirements to be verified, the statistical inference approach used, and the algorithm implementing it. Furthermore, we will identify open research challenges in the field of (SMC) tools.

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking

2020 ◽  
Author(s):  
Mitsuaki Tsuji ◽  
Toshinori Takai ◽  
Kazuki Kakimoto ◽  
Naoki Ishihama ◽  
Masafumi Katahira ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Learning and analysis of sensors behavior in IoT systems using statistical model checking

2021 ◽  
Author(s):  
Salim Chehida ◽  
Abdelhakim Baouya ◽  
Saddek Bensalem ◽  
Marius Bozga
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Statistical Model Checking

Computing Biological Model Parameters by Parallel Statistical Model Checking

2015 ◽  
pp. 542-554 ◽  
Author(s):  
Toni Mancini ◽  
Enrico Tronci ◽  
Ivano Salvo ◽  
Federico Mari ◽  
Annalisa Massini ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Biological Model ◽  
Model Parameters ◽  
Statistical Model Checking

Statistical Model Checking in Drug Repurposing for Alzheimer’s Disease

2020 ◽  
pp. 64-80
Author(s):  
Herbert Rausch Fernandes ◽  
Giovanni Freitas Gomes ◽  
Antonio Carlos Pinheiro de Oliveira ◽  
Sérgio Vale Aguiar Campos
Keyword(s):  
Alzheimer’S Disease ◽  
Alzheimer's Disease ◽  
Model Checking ◽  
Statistical Model ◽  
Drug Repurposing ◽  
Statistical Model Checking
Sign in / Sign up

Export Citation Format

Share Document