Modeling the Development of Energy Network Software, Taking into Account the Detection and Elimination of Vulnerabilities

Author:

Kotenko Igor1ORCID,Izrailov Konstantin1ORCID,Buinevich Mikhail2ORCID,Saenko Igor1ORCID,Shorey Rajeev3

Affiliation:

1. Computer Security Problems Laboratory, St. Petersburg Federal Research Center of the Russian Academy of Sciences, 199178 Saint-Petersburg, Russia

2. Department of Applied Mathematics and Information Technologies, Saint-Petersburg University of State Fire Service of EMERCOM of Russia, 196105 Saint-Petersburg, Russia

3. University of Queensland-IIT Delhi Academy of Research (UQIDAR), New Delhi 110016, India

Abstract

This paper solves the problem of modeling the scheme for developing software systems, which can be used in building solutions for secure energy networks. A development scheme is proposed in a set of representations through which each program of the software complex passes, namely the following representations: idea, conceptual model, architecture, algorithm, source code, graphic code, abstract syntax tree, assembler code, machine code, byte code, executed code. The main properties of each representation are indicated, such as the form (text, graphic, programming language, binary, and decoded), development (transformation) methods, as well as vulnerabilities that are detected in it. An example of each representation is given, particularly as applied to the energy networks. The scheme elements (representations, vulnerabilities, forms, etc.) and the main operations for working with their elements (representation transformation, vulnerability injection, and detection) are presented in an analytical form. An example of a development scheme for a simple software complex of energy networks is given. The classification of vulnerabilities is introduced; it divides the vulnerabilities according to the structural level, functioning disruption, and information impact. The vulnerabilities in each of the views are substantiated using the common vulnerabilities and exposures (CVE) database. An experiment was conducted to demonstrate the vulnerability spread across representations during the development of a software complex example for the energy network. The features of the applications of the obtained results for energy networks are taken into account. The advantages, disadvantages, and limitations of the study, as well as ways to eliminate them, are discussed.

Publisher

MDPI AG

Subject

Energy (miscellaneous),Energy Engineering and Power Technology,Renewable Energy, Sustainability and the Environment,Electrical and Electronic Engineering,Control and Optimization,Engineering (miscellaneous),Building and Construction

Reference60 articles.

1. SFC++: A tool for developing distributed real-time control software;Pardo;Microprocess. Microsyst.,1999

2. Kotenko, I., and Doynikova, E. (2016, January 17–19). Dynamical Calculation of Security Metrics for Countermeasure Selection in Computer Networks. Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP-2016), Heraklion, Greece.

3. Buinevich, M., Izrailov, K., and Vladyko, A. (February, January 31). The Life Cycle of Vulnerabilities in The Representations of Software for Telecommunication Devices. Proceedings of the 18th International Conference on Advanced Communication Technology (ICACT), Pyeongchang, Republic of Korea.

4. Sixty years of software development life cycle models;Kneuper;IEEE Ann. Hist. Comput.,2017

5. Case study: Darlington nuclear generating station [software-driven shutdown systems];Craigen;IEEE Softw.,1994

Cited by 3 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3