Change search
Link to record
Permanent link

Direct link
BETA
Publications (10 of 23) Show all publications
Sinha, R., Dowdeswell, B., Zhabelova, G. & Vyatkin, V. (2019). TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM transactions on cyber-physicals systems, 3(2), Article ID 15.
Open this publication in new window or tab >>TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems
2019 (English)In: ACM transactions on cyber-physicals systems, ISSN 2378-962X, Vol. 3, no 2, article id 15Article in journal (Refereed) Published
Abstract [en]

Cyber-Physical Systems (CPS) contain intertwined and distributed software, hardware, and physical components to control complex physical processes. They find wide application in industrial systems, such as smart grid protection systems, which face increasingly complex communication and computation needs. Due to the scale and complexity of the interactions that occur within CPS, tracing requirements through to the system components and software code that implement them is often hard. Existing requirements management systems do not scale well, and traceability is difficult to implement and maintain in highly heterogeneous systems. However, the information trace that links provide is crucial for supporting testing and certification activities in safety-critical environments such as smart grids.

The well-formed models of power systems provided by the IEC 61850 standard and the software design structure provided by the IEC 61499 Function Blocks standard can be leveraged to automate many traceability operations. We present Traceability of Requirements Using Splices (TORUS), a novel traceability framework for the development of large-scale safety-critical CPS. TORUS introduces splices, autonomous graph-based data structures that automatically create and manage trace links between requirements and components through the inevitable changes that occur during system development. The formal, graph-based structure of TORUS lends itself well to the development of sophisticated algorithms to automate the extraction of useful traceability information such as historical records and metrics for requirements coverage and component coupling. By capturing not only the current state of the system but also historical information, TORUS allows project teams to see a much richer view of the system and its artifacts.

We apply TORUS to the development of a protection system for smart grid substations. In addition, through a number of experiments in splice creation, modification, and application of automated algorithms, we show that TORUS scales easily to large systems containing hundreds of thousands of requirements and system components and millions of possible trace links.

Place, publisher, year, edition, pages
New York: Association for Computing Machinery (ACM), 2019
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-73157 (URN)10.1145/3203208 (DOI)000465436900003 ()
Note

Validerad;2019;Nivå 2;2019-03-11 (inah)

Available from: 2019-03-11 Created: 2019-03-11 Last updated: 2019-05-03Bibliographically approved
Zhabelova, G., Vesterlund, M., Eschmann, S., Berezovskaya, Y., Vyatkin, V. & Flieller, D. (2018). A Comprehensive Model of Data Center: from CPU to Cooling Tower. IEEE Access, 6, 2169-3536
Open this publication in new window or tab >>A Comprehensive Model of Data Center: from CPU to Cooling Tower
Show others...
2018 (English)In: IEEE Access, E-ISSN 2169-3536, Vol. 6, p. 2169-3536Article in journal (Refereed) Published
Abstract [en]

Aiming at addressing environmental challenges, large data centers such as Facebook, Google, Yahoo, etc., are increasing share of green power in their daily energy consumption. Such trends drive research into new directions, e.g. sustainable data centers. The research often relies on expressive models that provides sufficient details however practical to re-use and expand. There is a lack of available data center models that capture internal operating states of the facility from the CPU to the cooling tower. It is a challenge to develop a model that allows to describe complete data center of any scale including its connection to the grid. This paper proposes such a model building on existing work. The challenge was to put the pieces of data center together and model behavior of each element so that interdependencies between components and parameters and operating states are captured correctly and in sufficient details. The proposed model was used in the project “Data center microgrid integration” and proven to be adequate and important to support such study.

Place, publisher, year, edition, pages
IEEE, 2018
Keywords
data center, model, cooling, server, CRAH, chiller, cooling tower, smart grid, microgrid
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-71267 (URN)10.1109/ACCESS.2018.2875623 (DOI)000450260200001 ()2-s2.0-85054609232 (Scopus ID)
Note

Validerad;2018;Nivå 2;2018-11-12 (johcin) 

Available from: 2018-10-18 Created: 2018-10-18 Last updated: 2018-12-03Bibliographically approved
Drozdov, D., Patil, S., Yang, C.-W., Zhabelova, G. & Vyatkin, V. (2018). Formal verification of protection functions for power distribution networks. In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society. Paper presented at 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA..
Open this publication in new window or tab >>Formal verification of protection functions for power distribution networks
Show others...
2018 (English)In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Conference paper, Published paper (Refereed)
Identifiers
urn:nbn:se:ltu:diva-73017 (URN)10.1109/IECON.2018.8592802 (DOI)2-s2.0-85061554077 (Scopus ID)
Conference
44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA.
Available from: 2019-02-26 Created: 2019-02-26 Last updated: 2019-02-26
Kalachev, A., Zhabelova, G. & Vyatkin, V. (2018). Intelligent mechatronic system with decentralised control and multi-agent planning. In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society. Paper presented at 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA..
Open this publication in new window or tab >>Intelligent mechatronic system with decentralised control and multi-agent planning
2018 (English)In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Conference paper, Published paper (Refereed)
Identifiers
urn:nbn:se:ltu:diva-73029 (URN)10.1109/IECON.2018.8591390 (DOI)2-s2.0-85061543441 (Scopus ID)
Conference
44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA.
Available from: 2019-02-26 Created: 2019-02-26 Last updated: 2019-02-26
Jarvis, D., Jarvis, J., Kalachev, A., Zhabelova, G. & Vyatkin, V. (2018). PROSA/G: An architecture for agent-based manufacturing execution. In: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA): . Paper presented at 23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018 (pp. 155-160). Piscataway, NJ: IEEE
Open this publication in new window or tab >>PROSA/G: An architecture for agent-based manufacturing execution
Show others...
2018 (English)In: 2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), Piscataway, NJ: IEEE, 2018, p. 155-160Conference paper, Published paper (Refereed)
Abstract [en]

It had always been the intention of the agent-based manufacturing community that software agents would provide a vertical integration capability for manufacturing enterprises by linking the control world with the business world. In this paper, we introduce the PROSA/G conceptual model, which extends the widely used PROSA reference architecture with a goal-based execution model that employs both BDI semantics and a business process modelling metaphor. PROSA/G is is grounded in the GORITE software framework and its efficacy is demonstrated through the implementation of an agent-based execution system for a simple manufacturing system controlled by IEC 61499 function blocks.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE, 2018
Series
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, ISSN 1946-0740
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-72535 (URN)10.1109/ETFA.2018.8502598 (DOI)000449334500018 ()2-s2.0-85057277244 (Scopus ID)978-1-5386-7108-5 (ISBN)
Conference
23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018) Politecnico Torino,Italy , Sep 04-07, 2018
Available from: 2019-01-14 Created: 2019-01-14 Last updated: 2019-01-14Bibliographically approved
Patil, S., Drozdov, D., Zhabelova, G. & Vyatkin, V. (2018). Refactoring of IEC 61499 function block application: A case study. In: : . Paper presented at 1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018 (pp. 726-733). Institute of Electrical and Electronics Engineers (IEEE)
Open this publication in new window or tab >>Refactoring of IEC 61499 function block application: A case study
2018 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Industrial Cyber-Physical System applications, especially distributed ones are designed and implemented in many standard approaches, one of them being IEC 61499 distributed programming standard. This article presents a case study of applying couple of refactoring methods and techniques in order to improve readability, maintainability, reuse-ability and debugging friendliness of existing function block applications. The article presents some software metrics for pre and post refactoring function block applications for measuring the effectiveness of refactoring.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2018
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-70246 (URN)10.1109/ICPHYS.2018.8390797 (DOI)2-s2.0-85050089105 (Scopus ID)9781538665312 (ISBN)
Conference
1st IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2018, ITMO University Saint Petersburg, Russian Federation, 15-18 May 2018
Available from: 2018-08-07 Created: 2018-08-07 Last updated: 2018-08-07Bibliographically approved
Zhabelova, G. & Vyatkin, V. (2018). Towards an open model for data center research: From CPU to cooling tower. In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society. Paper presented at 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA..
Open this publication in new window or tab >>Towards an open model for data center research: From CPU to cooling tower
2018 (English)In: IECON 2018: 44th Annual Conference of the IEEE Industrial Electronics Society, 2018Conference paper, Published paper (Refereed)
Identifiers
urn:nbn:se:ltu:diva-73020 (URN)10.1109/IECON.2018.8591609 (DOI)2-s2.0-85061557332 (Scopus ID)
Conference
44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018, October 21-23 2018, Washington D.C., USA.
Available from: 2019-02-26 Created: 2019-02-26 Last updated: 2019-02-26
Zhabelova, G., Yavarian, A., Vyatkin, V. & Huang, A. (2016). Data center energy efficiency and power quality: An alternative approach with solid state transformer (ed.). In: (Ed.), Annual Conference of the IEEE Industrial Electronics Society, IECON 2015: Yokohama, Japan, 9-12 Nov. 2015. Paper presented at Annual Conference of the IEEE Industrial Electronics Society : 09/11/2015 - 12/11/2015 (pp. 1294-1300). Piscataway, NJ: IEEE Communications Society, Article ID 7392279.
Open this publication in new window or tab >>Data center energy efficiency and power quality: An alternative approach with solid state transformer
2016 (English)In: Annual Conference of the IEEE Industrial Electronics Society, IECON 2015: Yokohama, Japan, 9-12 Nov. 2015, Piscataway, NJ: IEEE Communications Society, 2016, p. 1294-1300, article id 7392279Conference paper, Published paper (Refereed)
Abstract [en]

Data center evolved to become large power consumers. Its supporting infrastructure, such as cooling and power distribution, consumes resources e.g. electric power and money. In fact, most money is spent on power conditioning and cooling systems. Therefore, the efficiency of data center and power quality are important topics and can be addressed by careful design. There is a need for research into application of innovative design and state-of-the-art technology for optimizing power supply in data centers. The paper investigates potential of a state-of-the-art technology such as solid state transformer (SST). The simulation proves that SST has potential to improve operational efficiency. SST shows better control of voltage, current and reactive power of the facility, eliminating need for additional devices such as power conditioners and reducing power loss. These results lead to the next stage of the project that involves developing an optimal data center design with SST and investigating data center potential in demand response applications.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2016
Series
I E E E Industrial Electronics Society. Annual Conference. Proceedings, ISSN 1553-572X
Keywords
Information technology - Automatic control, Informationsteknik - Reglerteknik
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-27332 (URN)10.1109/IECON.2015.7392279 (DOI)000382950701063 ()2-s2.0-84973165780 (Scopus ID)0bfec546-fc83-44c0-bac2-d871cc50cd7f (Local ID)978-1-4799-1762-4 (ISBN)0bfec546-fc83-44c0-bac2-d871cc50cd7f (Archive number)0bfec546-fc83-44c0-bac2-d871cc50cd7f (OAI)
Conference
Annual Conference of the IEEE Industrial Electronics Society : 09/11/2015 - 12/11/2015
Note

Validerad; 2016; Nivå 1; 2016-11-25 (andbra)

Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-07-10Bibliographically approved
Zhabelova, G., Yang, C.-W., Vyatkin, V., Etherden, N. & Christoffersson, L. (2016). Open Architecture for Cost Effective Protection and Control of Power Distribution Networks. In: IEEE International Conference on Smart Grid Communications (SmartGridComm) 2016: . Paper presented at 2016 IEEE International Conference on Smart Grid Communications (SmartGridComm),Control and Operation for Smart Grids, Microgrids and Distributed Resources, Sydney, Australia, 06 - 09 November 2016 (pp. 729-735). Piscataway, NJ, Article ID 7778848.
Open this publication in new window or tab >>Open Architecture for Cost Effective Protection and Control of Power Distribution Networks
Show others...
2016 (English)In: IEEE International Conference on Smart Grid Communications (SmartGridComm) 2016, Piscataway, NJ, 2016, p. 729-735, article id 7778848Conference paper, Published paper (Refereed)
Abstract [en]

The paper aims at demonstrating the feasibility of an execution platform that is capable of performing protection and control functions from various vendors in a controlled manner. This will reduce vendor dependency enabling utilities to standardize hardware while implementing complex protection schemes from multiple vendors at reduced cost. The paper develops protection system including earth, differential and overcurrent protection functions from different vendors integrated in one hardware using IEC 61499 open reference architecture. IEC 61499 enables efficient and flexible design and implementation of the distributed automation systems. Selected substation is modelled in Matlab Simulink. Developed protection scheme is performed by programmable automation controller (PAC) and validated by connecting it to the simulation model of the substation. The protection scheme satisfied all functional requirements. At present, authors are working on validating its timing properties.

Place, publisher, year, edition, pages
Piscataway, NJ: , 2016
Series
International Conference on Smart Grid Communications, ISSN 2373-6836
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-61582 (URN)10.1109/SmartGridComm.2016.7778848 (DOI)000390711400120 ()2-s2.0-85010194096 (Scopus ID)978-1-5090-4075-9 (ISBN)
Conference
2016 IEEE International Conference on Smart Grid Communications (SmartGridComm),Control and Operation for Smart Grids, Microgrids and Distributed Resources, Sydney, Australia, 06 - 09 November 2016
Available from: 2017-01-23 Created: 2017-01-23 Last updated: 2018-01-13Bibliographically approved
Masselot, M., Patil, S., Zhabelova, G. & Vyatkin, V. (2016). Towards a formal model of protection functions for power distribution networks. In: ECON Proceedings (Industrial Electronics Conference): . Paper presented at 42nd Conference of the Industrial Electronics Society, IECON 2016, Florence, Italy, 24-27 October 2016 (pp. 5302-5309). Piscataway, NJ: IEEE Computer Society, Article ID 7794150.
Open this publication in new window or tab >>Towards a formal model of protection functions for power distribution networks
2016 (English)In: ECON Proceedings (Industrial Electronics Conference), Piscataway, NJ: IEEE Computer Society, 2016, p. 5302-5309, article id 7794150Conference paper, Published paper (Refereed)
Abstract [en]

The protection system is a crucial part of the power grid. It protects people, equipment, and property. Reliability of such mission critical systems is of an extreme importance. Protection systems have strict requirements to reliability including dependability, security and timeliness. Although it undertakes rigorous testing and commissioning, it fails in some circumstances causing faults in the network, resulting in loss of power. It is hard to catch these hidden and undetectable errors in the design and installation. Since protection function is essentially a piece of code, formal methods can be used for rigorous testing of the software and provide definitive proof of the system properties. This paper proposes a formal model (to use in formal verification techniques) for protection systems. The paper develops closed loop model of the electrical network with its protection system. The model is developed in IEC 61499 language for the further generation of its formal model in SMV language. The model is validated via simulation and comparison with a comprehensive model of the electrical network in Matlab Simulink. In future work, the generated SMV model will be used to formally verify reliability requirements of the protection system.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Computer Society, 2016
Series
IEEE Industrial Electronics Society, ISSN 1553-572X
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
urn:nbn:se:ltu:diva-61761 (URN)10.1109/IECON.2016.7794150 (DOI)000399031205094 ()2-s2.0-85010051136 (Scopus ID)9781509034741 (ISBN)
Conference
42nd Conference of the Industrial Electronics Society, IECON 2016, Florence, Italy, 24-27 October 2016
Available from: 2017-02-01 Created: 2017-02-01 Last updated: 2018-05-17Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-7419-8289

Search in DiVA

Show all publications