UDC 004.724
FUNCTIONAL-ROLE MODELING ON THE EXAMPLE OF MANNED AIRCRAFT DISPLAY SYSTEM
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 article demonstrates an example of solving the problem of formally defining the functionality of cyber physical systems using the advantages of the functional-role specification (FRS), allowing to define the system directly in terms of its consumer properties, concept and functionality, using a universal natural-algorithmic language. The example illustrates the key patterns that the process of equivalent functional decomposition obeys - the derivability of values from arguments, the presence of a predicate in control that «knows» inputs and outputs, and the inclusion of a subset of ports before decomposition in a set of ports after it. Identification and implementation of these patterns makes it possible to automate design at functional level.
Key words: : functional-role specification, functional logic, function, role, phase, mode, semantics, indica tion sys-tem.