UML based Formal Model of Smart Transformer Power System
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2017, Vol 8, Issue 11
Abstract
Recently many significant improvements have been done in traditionally power system. But still a lot of work is needed in traditional power system to mend many challenges. We propose formal method based on subnet model for smart power system. Formal method is mathematics based technique that is used to develop, specify and verify model in a systematic manner. It involve components i.e., power plant, smart grid, transformer and smart meters. Power plant produces electricity and then distributes it to the smart grid. Smart grid generates electricity to transformers and then transformers transfer electricity to smart meters. Smart transformers and smart meters are deployed inform of subnets that increase the energy efficiency of smart power system. In this paper our main focus is on two components of smart power system that is transformers and smart meters. Graph theory is used for the semi-formal representation of model. In this paper we present system requirements through UML use case diagrams that are used to describe actions of system and then real topology is transferred into model topology in graph theory that is used to represent the structure of system. Mathematical technique and notation based formal method approaches are used for describing and analyzing the system. VDM-SL formal method language is used for formal specification and VDM toolbox is used for the verification and analysis of system.
Authors and Affiliations
Muniba Sultan, Amna Pir, Nazir Ahmad Zafar
Keywords
Related Articles
- EP ID EP240763
- DOI 10.14569/IJACSA.2017.081138
- Views 125
- Downloads 0
Ranking Method in Group Decision Support to Determine the Regional Prioritized Areas and Leading Sectors using Garrett Score
The main objective of regional development is to achieve equal development in different regions. However, the long duration and complexity of the process may result in the unequal development of some regions. In order to...
Optimal Control and Design of Electrical Machines
This paper presents a global optimization approach aiming to improve the energy efficiency of electrical machines. The process is made on a hybrid stepper motor allowing to simultaneously optimize design and command. Thi...
Text Separation from Graphics by Analyzing Stroke Width Variety in Persian City Maps
Text segmentation is a live research field with vast new areas to be explored. Separating text layer from graphics is a fundamental step to exploit text and graphics information. The language used in the map is a challen...
Image Co-Segmentation via Examples Guidance
Given a collection of images which contains objects from the same category, the co-segmentation methods aim at simultaneously segmenting such common objects in each image. Most of existing co-segmentation approaches rely...
Validation Policy Statement on the Digital Evidence Storage using First Applicable Algorithm
Digital Evidence Storage is placed to store digital evidence files. Digital evidence is very vulnerable to damage. Therefore, making digital evidence storage need access control. Access control has several models, one o...