Publications tagged with Quantitative formal model

Published:

Publications tagged with "Quantitative formal model"

  1. Abate, C., Campanile, L., & Marrone, S. (2020). A flexible simulation-based framework for model-based/data-driven dependability evaluation [Conference paper]. Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020, 261–266. https://doi.org/10.1109/ISSREW51248.2020.00083
    Abstract
    Modern predictive maintenance is the convergence of several technological trends: developing new techniques and algorithms can be very costly due to the need for a physical prototype. This research has the final aim to build a simulation-based software framework for modeling and analysing complex systems and for defining predictive maintenance algorithms. By the usage of simulation, quantitative evaluation of the dependability of such systems will be possible. The ERTMS/ETCS dependability case study is presented to prove the applicability of the software. © 2020 IEEE.
    DOI Publisher Details
    Details

← Back to all publications