3
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Formal Verification of Cloud and Fog Systems:A Review and Research Challenges

      , ,
      JUCS - Journal of Universal Computer Science
      Pensoft Publishers

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Cloud and Fog computing have been widely recognized as attractive solutions in both academic and industrial sectors. Despite their benefits, the adoption of Cloud and Fog computing still have considerable challenges to be handled due to the increase of client requirements. A crucial issue, in this context, is how to verify the correctness of Cloud and Fog systems. The use of formal methods is an efficient mean which provides a real help for the designer to evaluate the behaviour of a system and prevent errors before its implementation. In this paper, we present a systematic literature review (SLR) on the current state of the art in this field. We collect the existing studies on the use of formal methods for proving the correctness of Cloud and Fog systems. The proposed approaches are compared based on some technical properties such as the verification methods, the verification tools, the considered properties, and the application domains. In addition, future directions which need more investigations are presented. We believe that our paper will be useful for industry and academic researchers to understand the existing contributions that deal with the cor- rectness of Cloud and Fog systems. Moreover, it helps them to address several gaps in the literature.

          Related collections

          Author and article information

          Journal
          JUCS - Journal of Universal Computer Science
          jucs
          Pensoft Publishers
          0948-6968
          0948-695X
          April 28 2021
          April 28 2021
          : 27
          : 4
          : 341-363
          Article
          10.3897/jucs.66455
          5e15fc02-56d2-4196-bd72-04140f552bb2
          © 2021

          https://creativecommons.org/licenses/by-nd/4.0/

          History

          Comments

          Comment on this article