Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study

Ender Yuksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

Cyber-physical systems integrate information and communication technology with the physical elements of a system, mainly for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. One of the important issues in this context is the verification of certain quantitative properties of the system. In this paper, we consider a specific Chinese smart grid implementation as a case study and address the verification problem for performance and energy consumption.We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.
Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Volume16
Issue number4
Pages (from-to)421-435
ISSN1433-2779
DOIs
Publication statusPublished - 2014

Keywords

  • Formal verification
  • Stochastic model checking
  • Cyber-physical systems
  • Smart grid

Fingerprint Dive into the research topics of 'Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study'. Together they form a unique fingerprint.

Cite this