ISSN 1991-2927
 

ACP № 3 (65) 2021

Author: "Aleksandr Valerianovich Samonov"

Aleksandr Valerianovich Samonov, Candidate of Sciences in Engineering, Associate Professor; graduated from the A.F. Mozhaysky Military Institute of Engineering; Senior Staff Scientist at the A.F. Mozhaysky Military-Space Academy; an author of more than 30 publications in the field of system analysis, system and software engineering, validation and verification of software, methods and tools of information security. e-mail: a.samonov@mail.ruA. Samonov,

Galina Nikolaevna Samonova, graduated from the Leningrad Institute of Refrigeration Industry; Research Officer at the A.F. Mozhaysky Military-Space Academy; an author of more than 10 publications in the field of system and software engineering, software validation and verification, methods and tools of information security. e-mail: g.samonova@mail.ruG. Samonova,

Sergei Vasilevich Krasnov, Candidate of Sciences in Engineering, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications; completed his postgraduate programs at Ulyanovsk Higher Military Engineering Communication School; Associate Professor of Graduate School of Business and Management of Peter the Great St. Petersburg Polytechnic University; an author of more than 50 publications in the field of design and implementation of information systems and technologies. e-mail: hsm. krasnov@gmail.comS. Krasnov,

Sergei Romanovich Malyshev, Candidate of Sciences in Engineering, Associate Professor; graduated from the A.F. Mozhaysky Military Institute of Engineering; Honored Inventor of the Russian Federation; Associate Professor of the Marshal Budjonny Military Academy of Signal Corps; an author of manuals, articles, and inventions in the field of modern theoretical aspects of radiomonitoring and radioengineering control. e-mail: malishevsr56@ya.ruS. Malyshev,

Iurii Ivanovich Beresnev, Candidate of Military Sciences; graduated from the Marshal Budjonny Military Academy of Signal Corps; Chief Designer at Federal Research-and-Production Center Joint-Stock Company 'Research-and-Production Association 'Mars'; a specialist in the field of organization and building of communications and data exchange systems; an author of publications in the field of design of special-purpose control systems. e-mail: mars@mv.ruI. Beresnev

Methodology for developing a subject-oriented language and tools for creating automated management systems for complex organizational and technical systems 60_10.pdf

Modern technologies for industrial development of complex software and hardware systems are based on model-oriented technologies and tools for visual design, modeling and validation. Practical application of these technologies is complicated by both subjective and objective factors due to their flexibility and being hard-to-develop. One of the ways to reduce the impact of these negative factors is to create special-purpose domain-specific languages and tools supporting design of the systems of a specific class and a specific application domain. The article describes methods and tools for creating domain-specific languages and domain specific modeling (DSM) solutions intended to develop computer-aided control systems for complex organizational and technical systems using technologies and tools developed within the scope of the Eclipse Modeling Project. The most complicated and at the same time least worked out issues are those one, related to the identification and concept formulation of application domain of a DSM solution and the selection of an optimal and appropriate set of tools and structures. The conceptual model of the application domain of computer-aided control systems is formed as a task-oriented ontology using Zachman Framework. It is a set of control functions arranged in hierarchical order, which are performed by management bodies under controlled objects to achieve goals using certain algorithms in accordance with specified time, limited resources and other constraints. DSM solutions, made and used to develop computer-aided control systems, will improve their quality and reduce time, taken to designing due to the following facts:– development of requirements for computer-aided control system and its designing is carried out jointly by experts, analysts and programmers using special tools within the application domain;– the resulting requirements and design solutions are validated and verified as per stringent standards, which allows for correct generation and testing of software code;– end-to-end quality control under all system lifecycle artifacts

Computer-aided control systems, validation and verification, metamodeling, domain-specific languages, DSMsolution, DSM-platform.

2020_ 2

Sections: Computer-aided engineering

Subjects: Computer-aided engineering.



Aleksandr Valerianovich Samonov, Candidate of Science in Engineering, Associate Professor; graduated from Mozhaisky Red Banner Military Engineering Academy; Senior Scientist of Mozhaisky Military Space Academy; an author of more than 30 publications in the field of system analysis, system and software engineering, validation and verification of software, methods and means of information security. e-mail: a.samonov@mail.ru.A. Samonov,

Sergei Romanovich Malyshev, Candidate of Science in Engineering, Associate Professor; graduated from the Mozhaisky Military Institute of Engineering; Honored Inventor of the Russian Federation; Associate Professor of the Marshal Budjonny Military Academy of Signal Corps; an author of manuals, articles, and inventions in the field of modern theoretical aspects of radiomonitoring. e-mail: malishevsr56@ya.ru.S. Malyshev,

Sergei Vasilevich Krasnov, Candidate of Science in Engineering, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications; an adjunct of Ulyanovsk Higher Military Engineering Communication School; Associate Professor of Graduated School of Management and Business of Peter the Great St.Petersburg Polytechnic University (SPbPU); an author of more than 50 works in the field of design and implementation of information systems and technologies. e-mail: hsm.krasnov@gmail.com.S. Krasnov,

Aleksandr Leonidovich Savkin, Candidate of Military Sciences, Associate Professor; graduated from the Ulyanovsk Higher Military Command School of Communications and the Marshal Budjonny Military Academy of Signal Corps; completed postgraduate studies in the Military Academy of Communications; Head of the Science and Engineering Support Department of FRPC JSC ‘RPA ‘Mars’; an author of scientific works, manuals, and articles in the field of the development and modeling of communication control systems, automated information systems. e-mail: mars@mv.ru.A. Savkin

Methods and Means for Implementation of End-To-End Quality Control of Artifacts of the Life Cycle of Creating Critical Information Systems 57_2.pdf

Methods and means of realization of the sequential-iterative, program-controlled process of development and verification of a set of requirements and design decisions developed at creation of the automated information systems used on objects of critical infrastructure of the state are presented. The description of the unified model-language and informationsoftware environment developed on the basis of modeling and design languages SysML, FUML, OCL, mathematical modeling language Petri nets, timed automata as well as software tools for verification and analysis of formal models of complex requirements and design solutions CPN Tools, Rodin and SPIN. The construction of formal graph-text models of requirements and design solutions is based on the developed templates, which are extensions of diagrams of use cases, activities, states and interactions, external and internal representation of system components, active and passive classes.
Testing procedure of completeness and correctness of a set of requirements is carried out by analyzing the progress and results of execution its formal model in the VM FUML environment, verification of the behavioral part of the model with the help of CPN Tools and Rodin for stability, limitation, detection of dead-end and inaccessible states as well as by assessing the quality of implementation of the basic mechanisms of the object-oriented paradigm (encapsulation, inheritance, polymorphism, abstraction, messaging). Formal models of design solutions, presented in the form of activity diagrams, are translated into the language of CPN ML and then verified by means of CPN Tools. Sequence diagrams are translated into Promela language and verified in SPIN environment. State diagrams are translated into the EventB language and checked using Rodin tools
The implementation of the approach presented in the article will allow to carry out early detection and elimination of defects in requirements and design solutions directly at the stages of their development, which will improve the quality of the developed systems and reduce the financial and time costs associated with the implementation of additional work.

Validation and verification, timed automata, information systems, design and modeling, Petri nets, functional and operational requirements.

2019_ 3

Sections: Information systems

Subjects: Information systems.



© FRPC JSC 'RPA 'Mars', 2009-2021 The web-site runs on Joomla!