Modelling and analysis of smart grid: A stochastic model checking case study

Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012

Volumn , Issue , 2012, Pages 25-32

  Yüksel, Ender ^a   Zhu, Huibiao ^b   Nielson, Hanne Riis ^a   Huang, Heqing ^c   Nielson, Flemming ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b EAST CHINA NORMAL UNIVERSITY   (China)

^c Wuxi SensingNet Industrialization Research Institute   (China)

Author keywords

smart grid; specification and Verification; stochastic model checking

Indexed keywords

CYBER PHYSICAL SYSTEMS (CPSS); INFORMATION AND COMMUNICATION TECHNOLOGIES; MONITORING AND CONTROLLING; NOVEL METHODS; PHYSICAL ELEMENTS; PHYSICAL SYSTEMS; POWER GRIDS; PRISM MODEL CHECKER; SMART GRID; SPECIFICATION AND VERIFICATION; VERIFICATION PROBLEMS;

EMBEDDED SYSTEMS; ENERGY UTILIZATION; INFORMATION TECHNOLOGY; MODEL CHECKING; SMART POWER GRIDS; SOFTWARE ENGINEERING;

STOCHASTIC MODELS;

EID: 84866938448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2012.44     Document Type: Conference Paper

References (14)

1. K. Xiao, S. Ren, and K. Kwiat, "Retrofitting cyber physical systems for survivability through external coordination," in Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences, ser. HICSS '08. Washington, DC, USA: IEEE Computer Society, 2008, pp. 465-. [Online]. Available: http://dx.doi.org/10.1109/HICSS.2008.377
2. T. H. Morris, A. K. Srivastava, B. Reaves, K. Pavurapu, S. Abdelwahed, R. Vaughn, W. McGrew, and Y. Dandass, "Engineering future cyber-physical energy systems: Challenges, research needs, and roadmap," in North American Power Symposium (NAPS), 2009, oct. 2009, pp. 1 -6.
3. M. Kwiatkowska, G. Norman, and D. Parker, "PRISM 4.0: Verification of probabilistic real-time systems," in Proc. 23rd International Conference on Computer Aided Verification (CAV'11), ser. LNCS, G. Gopalakrishnan and S. Qadeer, Eds., vol. 6806. Springer, 2011, pp. 585-591.
4. G. J. Pottie and W. J. Kaiser, "Wireless integrated network sensors," Commun. ACM, vol. 43, pp. 51-58, May 2000. [Online]. Available: http://doi.acm.org/10.1145/332833.332838
5. M. Kwiatkowska, G. Norman, and D. Parker, "Stochastic model checking," in Formal Methods for the Design of Computer, Communication, and Software Systems, ser. Lecture Notes in Computer Science, M. Bernardo and J. Hillston, Eds., vol. 4486. Springer, 2007, pp. 220-270.
6. A. Aziz, K. Sanwal, V. Singhal, and R. K. Brayton, "Verifying continuous time markov chains," in CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification. London, UK: Springer-Verlag, 1996, pp. 269-276.
7. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen, "Model-checking algorithms for continuous-time markov chains," IEEE Trans. Softw. Eng., vol. 29, no. 6, pp. 524-541, 2003.
8. J.-P. Katoen, I. S. Zapreev, E. M. Hahn, H. Hermanns, and D. N. Jansen, "The ins and outs of the probabilistic model checker mrmc," in Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems, ser. QEST '09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 167-176. [Online]. Available: http://dx.doi.org/10.1109/QEST. 2009.11
9. S. Mccanne, S. Floyd, and K. Fall, "The network simulator." [Online]. Available: http://nsnam.isi.edu/nsnam
10. OPNET Technologies, Inc., "Opnet simulator." [Online]. Available: http://www.opnet.com
11. The PRISM model checker website. [Online]. Available: http://www.prismmodelchecker.org/
12. The formal models for the modelling and analysis of chinese smart grid. [Online]. Available: http://www2.imm.dtu.dk/people/ey/csg/
13. E. Yüksel, H. R. Nielson, F. Nielson, H. Zhu, and H. Huang, "Modelling chinese smart grid: A Stochastic Model Checking Case Study," DTU Informatics, Tech. Rep. IMM-Technical Report-2012-02, 2012. [Online]. Available: http://www2.imm.dtu.dk/people/ey/Publications/12YNN+.pdf
14. E. Yüksel, "Qualitative and quantitative security analyses for zigbee wireless sensor networks," Ph.D. dissertation, Technical University of Denmark, Department of Informatics and Mathematical Modeling, Language-Based Technology, Kgs. Lyngby, Denmark, 2011.