Next Article in Journal
Determining the Age of the Author of the Text Based on Deep Neural Network Models
Previous Article in Journal
Improving the Performance of Multiobjective Genetic Algorithms: An Elitism-Based Approach
Open AccessReview

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

Computer Science Department, Sapienza University of Rome, Via Salaria 113, 00198 Rome, Italy
*
Authors to whom correspondence should be addressed.
Information 2020, 11(12), 588; https://doi.org/10.3390/info11120588
Received: 2 November 2020 / Revised: 6 December 2020 / Accepted: 7 December 2020 / Published: 21 December 2020
(This article belongs to the Special Issue Formal Methods for Verification and Control of Cyberphysical Systems)
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. View Full-Text
Keywords: statistical model checking; Cyber-Physical Systems; Monte Carlo sampling statistical model checking; Cyber-Physical Systems; Monte Carlo sampling
Show Figures

Figure 1

MDPI and ACS Style

Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Information 2020, 11, 588. https://doi.org/10.3390/info11120588

AMA Style

Pappagallo A, Massini A, Tronci E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Information. 2020; 11(12):588. https://doi.org/10.3390/info11120588

Chicago/Turabian Style

Pappagallo, Angela; Massini, Annalisa; Tronci, Enrico. 2020. "Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review" Information 11, no. 12: 588. https://doi.org/10.3390/info11120588

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop