UDC 004.45
ON THE WAY TO INTERACTIVE FUNCTION – ROLE MODELING
V. A. Bocharov, BMSTU, assistant teacher, Moscow, Russia;
orcid.org/0009-0006-7724-3862, e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
The work contains a description of principles and methods for forming the models of cyber-physical systems in the volume of basic diagrams and functional logic, which ensure the derivability of external properties of the system - functionality and behavior from internal properties - its structure. Modeling implements the projection of target characteristics of the system on system requirements, and functionality integrates it with behavior - a finite state machine that determines the change of system states depending on the change of conditions. The main construct is the relations of partially ordered sets that can be studied using mathematical methods. For their adaptation to the development process, a method for direct integration of natural languages, the languages that engineers use to think, with algorithmic languages that are operated by computing systems is proposed. The result of integration is a language that operates with the semantics of relations of functions, the roles of their elements, phases, modes and functional connections, on the one hand, and the results of system's operation in external environment, on the other. Formalization of systems based on functional-role specification (FRS) specially created for this purpose provides the ability to interpret the target characteristics of a system in its system requirements, and then decompose them, guided by the principles of rationality and minimal complexity. At the same time, decomposition ensures equivalence "by construction" based on semantic rules, so the developer can increase dimensionality and complexity threshold of a system being developed without increasing efforts in analysis and synthesis. The developer also gets the opportunity to develop a cyber-physical system step-by-step (interactively), first achieving the goal in any available way, and then simplifying the obtained result, finding simpler implementations of the mechanisms of functions. The process of interactive functional decomposition is shown on the example of air conditioning system used in aircraft. This development is intended for implementation in a promising CAD system designed to work in problem-oriented formulation of scientific and technical problems
Key words: : cyber-physical system, functionality, functional-role specification, equivalent transformation, realization, semantics.