Киберфизические системы: лингвистический аспект
Предложен подход к проектированию систем управления техническими объектами, особенностью которого является лингвистически управляемое проектирование. Представлена разработанная на основе этого подхода методика проектирования систем управления, предназначенная для использования на стадии проектирован...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2020 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/190503 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Киберфизические системы: лингвистический аспект / А.Б. Годлевский, М.К. Мороховец // Кибернетика и системный анализ. — 2020. — Т. 56, № 6. — С. 19–37. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-190503 |
|---|---|
| record_format |
dspace |
| spelling |
Годлевский, А.Б. Мороховец, М.К. 2023-06-11T17:27:38Z 2023-06-11T17:27:38Z 2020 Киберфизические системы: лингвистический аспект / А.Б. Годлевский, М.К. Мороховец // Кибернетика и системный анализ. — 2020. — Т. 56, № 6. — С. 19–37. — Бібліогр.: 20 назв. — рос. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/190503 004.415.2:621.337.1 Предложен подход к проектированию систем управления техническими объектами, особенностью которого является лингвистически управляемое проектирование. Представлена разработанная на основе этого подхода методика проектирования систем управления, предназначенная для использования на стадии проектирования, которая предшествует построению формальной модели. Запропоновано підхід до проєктування систем керування технічними об'єктами, особливістю якого є лінгвістично кероване проєктування. Подано розроблену на базі цього підходу методику проєктування систем керування, призначену для застосування на стадії проєктування, що передує побудові формальної моделі. An approach to the design of control systems for engineering objects is proposed. Its peculiarity is a linguistically driven design. The methodology for control systems design developed on the base of this approach is given. It is intended for use at the design stage preceding the construction of a formal model. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Киберфизические системы: лингвистический аспект Кіберфізичні системи: лінгвістичний аспект Cyber-physical systems: linguistic aspect Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Киберфизические системы: лингвистический аспект |
| spellingShingle |
Киберфизические системы: лингвистический аспект Годлевский, А.Б. Мороховец, М.К. Кібернетика |
| title_short |
Киберфизические системы: лингвистический аспект |
| title_full |
Киберфизические системы: лингвистический аспект |
| title_fullStr |
Киберфизические системы: лингвистический аспект |
| title_full_unstemmed |
Киберфизические системы: лингвистический аспект |
| title_sort |
киберфизические системы: лингвистический аспект |
| author |
Годлевский, А.Б. Мороховец, М.К. |
| author_facet |
Годлевский, А.Б. Мороховец, М.К. |
| topic |
Кібернетика |
| topic_facet |
Кібернетика |
| publishDate |
2020 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Кіберфізичні системи: лінгвістичний аспект Cyber-physical systems: linguistic aspect |
| description |
Предложен подход к проектированию систем управления техническими объектами, особенностью которого является лингвистически управляемое проектирование. Представлена разработанная на основе этого подхода методика проектирования систем управления, предназначенная для использования на стадии проектирования, которая предшествует построению формальной модели.
Запропоновано підхід до проєктування систем керування технічними об'єктами, особливістю якого є лінгвістично кероване проєктування. Подано розроблену на базі цього підходу методику проєктування систем керування, призначену для застосування на стадії проєктування, що передує побудові формальної моделі.
An approach to the design of control systems for engineering objects is proposed. Its peculiarity is a linguistically driven design. The methodology for control systems design developed on the base of this approach is given. It is intended for use at the design stage preceding the construction of a formal model.
|
| issn |
1019-5262 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/190503 |
| citation_txt |
Киберфизические системы: лингвистический аспект / А.Б. Годлевский, М.К. Мороховец // Кибернетика и системный анализ. — 2020. — Т. 56, № 6. — С. 19–37. — Бібліогр.: 20 назв. — рос. |
| work_keys_str_mv |
AT godlevskiiab kiberfizičeskiesistemylingvističeskiiaspekt AT morohovecmk kiberfizičeskiesistemylingvističeskiiaspekt AT godlevskiiab kíberfízičnísistemilíngvístičniiaspekt AT morohovecmk kíberfízičnísistemilíngvístičniiaspekt AT godlevskiiab cyberphysicalsystemslinguisticaspect AT morohovecmk cyberphysicalsystemslinguisticaspect |
| first_indexed |
2025-11-26T12:04:43Z |
| last_indexed |
2025-11-26T12:04:43Z |
| _version_ |
1850620831453937664 |
| fulltext |
ÓÄÊ 004.415.2:621.337.1
À.Á. ÃÎÄËÅÂÑÊÈÉ, Ì.Ê. ÌÎÐÎÕÎÂÅÖ
ÊÈÁÅÐÔÈÇÈ×ÅÑÊÈÅ ÑÈÑÒÅÌÛ: ËÈÍÃÂÈÑÒÈ×ÅÑÊÈÉ ÀÑÏÅÊÒ
Àííîòàöèÿ. Ïðåäëîæåí ïîäõîä ê ïðîåêòèðîâàíèþ ñèñòåì óïðàâëåíèÿ òåõ-
íè÷åñêèìè îáúåêòàìè, îñîáåííîñòüþ êîòîðîãî ÿâëÿåòñÿ ëèíãâèñòè÷åñêè
óïðàâëÿåìîå ïðîåêòèðîâàíèå. Ïðåäñòàâëåíà ðàçðàáîòàííàÿ íà îñíîâå ýòîãî
ïîäõîäà ìåòîäèêà ïðîåêòèðîâàíèÿ ñèñòåì óïðàâëåíèÿ, ïðåäíàçíà÷åííàÿ äëÿ
èñïîëüçîâàíèÿ íà ñòàäèè ïðîåêòèðîâàíèÿ, êîòîðàÿ ïðåäøåñòâóåò ïîñòðîå-
íèþ ôîðìàëüíîé ìîäåëè.
Êëþ÷åâûå ñëîâà: ñèñòåìà óïðàâëåíèÿ, ëèíãâèñòè÷åñêè óïðàâëÿåìîå ïðîåê-
òèðîâàíèå, ìåòîäèêà ïðîåêòèðîâàíèÿ ñèñòåì óïðàâëåíèÿ, êèáåðôèçè÷åñêàÿ
ñèñòåìà.
ÂÂÅÄÅÍÈÅ
Ñîçäàíèå êèáåðôèçè÷åñêèõ ñèñòåì (ÊÔÑ), ò.å. ñèñòåì, â êîòîðûõ âçàèìîäåéñòâó-
þò ôèçè÷åñêèå îáúåêòû è êîìïüþòåðíûå ïðîãðàììû [1, 2], âêëþ÷àåò ïðîåêòè-
ðîâàíèå è ðàçðàáîòêó óïðàâëÿþùèõ ñîñòàâëÿþùèõ (àâòîìàòè÷åñêèõ èëè ïðî-
ãðàììíûõ).
Îòìåòèì íåñêîëüêî çíà÷èìûõ àñïåêòîâ ñîçäàíèÿ ñèñòåì è èõ ôóíêöèîíèðî-
âàíèÿ.
1. Î÷åíü âàæåí ïåðâîíà÷àëüíûé øàã ïðîåêòèðîâàíèÿ ñèñòåìû, ñâÿçàííûé ñî
ñáîðîì, àíàëèçîì è ðàçðàáîòêîé òðåáîâàíèé ê íåé. Íåãàòèâíûå ïîñëåäñòâèÿ óïó-
ùåíèé ïðè âûïîëíåíèè ýòîãî øàãà (çàòðàòû íà ïåðåäåëêè, óÿçâèìîñòè ãîòîâîãî
ïðîäóêòà è äð.) îòìå÷àëè â ðàçíîå âðåìÿ ðàçíûå àâòîðû (ñì., íàïðèìåð, [3–5]).
Ñôîðìèðîâàëàñü ñïåöèàëüíàÿ îáëàñòü – èíæåíåðèÿ òðåáîâàíèé [6, 7], â êî-
òîðîé ðàññìàòðèâàþòñÿ ìåòîäû ïåðåõîäà îò òðåáîâàíèé çàêàç÷èêà, êàê ïðàâèëî,
ïðåäñòàâëåííûõ íà åñòåñòâåííûõ ÿçûêàõ, ê ìîäåëè, à çàòåì è ê äåéñòâóþùåé
ñèñòåìå, óäîâëåòâîðÿþùåé ïîæåëàíèÿì çàêàç÷èêà. Îäíàêî ïîòðåáíîñòü â ðàçðà-
áîòêå, ðàçâèòèè è ñîâåðøåíñòâîâàíèè ìåòîäîâ è ñðåäñòâ ðàáîòû ñ òðåáîâàíèÿìè
âñå åùå ñóùåñòâóåò.
2. Æèçíåííûé öèêë ñèñòåìû (ïåðèîä îò åå ïðîåêòèðîâàíèÿ äî âûâîäà èç ýêñ-
ïëóàòàöèè) âêëþ÷àåò åå ñîïðîâîæäåíèå, à èíîãäà è ìîäèôèêàöèþ. Íàëè÷èå äî-
êóìåíòàöèè ñ îáîñíîâàíèåì âûáîðîâ è ðåøåíèé, ñäåëàííûõ è ïðèíÿòûõ íà ýòàïå
ðàçðàáîòêè ñèñòåìû, ïîëåçíî, êîãäà òðåáóåòñÿ èçìåíèòü ñóùåñòâóþùóþ ñèñòåìó
(óëó÷øèòü å¸ ðàáî÷èå õàðàêòåðèñòèêè èëè íàäåëèòü íîâûìè âîçìîæíîñòÿìè, íå
ëèøèâ óæå èìåþùèõñÿ ïðåèìóùåñòâ).
3. Ïðè ñîçäàíèè ñèñòåì â íàñòîÿùåå âðåìÿ èñïîëüçóþòñÿ ôîðìàëüíûå ìåòî-
äû âåðèôèêàöèè è âàëèäàöèè [8, 9], ÷òî òðåáóåò ïîñòðîåíèÿ ôîðìàëüíîé ìîäåëè
ïðîåêòèðóåìîé ñèñòåìû. Ïåðâîíà÷àëüíî òðåáîâàíèÿ ê ñèñòåìå, êàê ïðàâèëî,
ôîðìóëèðóþòñÿ íà åñòåñòâåííîì ÿçûêå (Åß). Ïåðåõîä îò ýòèõ òðåáîâàíèé ê ôîð-
ìàëüíîé ìîäåëè ñèñòåìû — ýòî îòäåëüíàÿ çàäà÷à, ñîçäàíèå ìåòîäîâ è ñðåäñòâ
ðåøåíèÿ êîòîðîé âûäåëèëîñü â ñïåöèàëüíîå íàïðàâëåíèå èññëåäîâàíèé:
îòñëåæèâàíèå òðåáîâàíèé [10, 11].
Öåëåñîîáðàçíî òàê âåñòè ïðîöåññ ïðîåêòèðîâàíèÿ, ÷òîáû óæå íà åãî ðàííèõ
ñòàäèÿõ ñîçäàâàëàñü ìîäåëü ïðîåêòèðóåìîãî îáúåêòà, êîòîðàÿ âåðèôèöèðóåòñÿ
â õîäå ïîñòðîåíèÿ, ñðàâíèòåëüíî ëåãêî ôîðìàëèçóåòñÿ íà ïîñëåäóþùèõ ýòàïàõ
ïðîåêòèðîâàíèÿ è ÿâëÿåòñÿ îñíîâîé äëÿ ñîçäàíèÿ äîêóìåíòàöèè (ïðèãîäíîé äëÿ
èñïîëüçîâàíèÿ ïðè ìîäèôèêàöèè, ðåèíæèíèðèíãå).
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 19
� À.Á. Ãîäëåâñêèé, Ì.Ê. Ìîðîõîâåö, 2020
 äàííîé ðàáîòå ïðåäëàãàåòñÿ ïîäõîä ëèíãâèñòè÷åñêè óïðàâëÿåìîé ðàçðà-
áîòêè òðåáîâàíèé äëÿ âûïîëíåíèÿ íà÷àëüíîé ñòàäèè ïðîåêòèðîâàíèÿ òàêîé ÷àñ-
òè ÊÔÑ êàê ñèñòåìà óïðàâëåíèÿ (ÑÓ). Ýòîò ïîäõîä ïðåäïîëàãàåò:
— ñáîð è ôîðìèðîâàíèå íàáîðà òðåáîâàíèé ê ñèñòåìå íà Åß;
— ïîñòðîåíèå ðàçëè÷íîãî âèäà ìîäåëåé ÑÓ è åå ñîñòàâëÿþùèõ íà Åß íà
îñíîâå èñïîëüçîâàíèÿ ÿçûêîâûõ ñìûñëîâûõ ñâÿçåé;
— ôèêñèðîâàíèå è îáîñíîâàíèå ââåäåíèÿ â ðàññìîòðåíèå ñóùíîñòåé è ðå-
øåíèé, ïðèíÿòûõ â õîäå ôîðìèðîâàíèÿ òðåáîâàíèé è ïîñòðîåíèÿ ìîäåëåé;
— ôîðìèðîâàíèå ðàáî÷åé Åß-ëåêñèêè êàê ñâÿçóþùåãî çâåíà ìåæäó ýòàïàìè
ðàçðàáîòêè òðåáîâàíèé, ñ îäíîé ñòîðîíû, è ïîñòðîåíèÿ ôîðìàëüíîé ìîäåëè ñèñ-
òåìû è äîêóìåíòèðîâàíèÿ, ñ äðóãîé.
Âîïëîùåíèåì ýòîãî ïîäõîäà â íàñòîÿùåå âðåìÿ ÿâëÿåòñÿ ìåòîäèêà ïðîåêòè-
ðîâàíèÿ ÑÓ òåõíè÷åñêèì îáúåêòîì (îáúåêòàìè), êîòîðàÿ:
— îáåñïå÷èâàåò (÷àñòè÷íóþ) âåðèôèêàöèþ óæå íà ïåðâûõ ýòàïàõ ïðîåêòè-
ðîâàíèÿ (êîòîðûå îñóùåñòâëÿþòñÿ â ðàìêàõ Åß);
— áàçèðóåòñÿ íà ïîíÿòèÿõ èç ïðåäìåòíîé îáëàñòè «ñèñòåìû óïðàâëåíèÿ»;
— äàåò âîçìîæíîñòü ïîäãîòîâèòü (ïðîìåæóòî÷íûé) òåêñò ïðîåêòà, àâòîìà-
òè÷åñêè (àâòîìàòèçèðîâàííî) ïðåîáðàçóþùèéñÿ ê ôîðìàëüíîìó âèäó è ÿâëÿþ-
ùèéñÿ îñíîâîé äëÿ ñîçäàíèÿ äîêóìåíòàöèè, ïðèãîäíîé äëÿ èñïîëüçîâàíèÿ ïðè
ðåèíæèíèðèíãå.
 äàííîé ðàáîòå ðàçâèòà íàìå÷åííàÿ â [12] èäåÿ óïîðÿäî÷åííîãî ïîýòàïíîãî
ïîñòðîåíèÿ ïðåäñòàâëåííûõ íà Åß ôóíêöèîíàëüíûõ ñïåöèôèêàöèé
ïðîåêòèðóåìîé ñèñòåìû.
Èçëîæåíèå ìàòåðèàëà îðãàíèçîâàíî ñëåäóþùèì îáðàçîì. Â ðàçä. 1 äàíî îá-
ùåå îïèñàíèå ïîäõîäà ê ïðîåêòèðîâàíèþ ÑÓ, ñôîðìóëèðîâàíû ïðèíöèïû ïîäõî-
äà. Â ðàçä. 2 ïðèâåäåíà ìåòîäèêà ïðîåêòèðîâàíèÿ ÑÓ, ðàçâèòàÿ íà îñíîâå ïðåäëî-
æåííîãî ïîäõîäà. Îíà îõâàòûâàåò òå ýòàïû ïðîåêòèðîâàíèÿ, íà êîòîðûõ îñíîâíûì
ÿçûêîì ïðåäñòàâëåíèÿ äàííûõ è çíàíèé ÿâëÿåòñÿ Åß. Ïðèâåäåíà êðàòêàÿ èëëþñ-
òðàöèÿ âûïîëíåíèÿ ýòàïîâ ïðîåêòèðîâàíèÿ ñîãëàñíî ìåòîäèêå.  çàêëþ÷åíèè îá-
ñóæäàþòñÿ èòîãè ðàáîòû, äàëüíåéøèå çàäà÷è è âîçìîæíûå íàïðàâëåíèÿ ðàçâèòèÿ.
1. ÎÁÙÈÉ ÏÎÄÕÎÄ Ê ÏÎÑÒÐÎÅÍÈÞ ÌÅÒÎÄÈÊÈ ÏÐÎÅÊÒÈÐÎÂÀÍÈß ÑÓ
Ïðåäïîëîæèì, ó ðàçðàáîò÷èêà ïðîåêòà ÑÓ (Ðàçðàáîò÷èêà) èìååòñÿ ëèáî íåêî-
òîðûé èñõîäíûé òåêñò òðåáîâàíèé (ê ãîòîâîé ñèñòåìå), ëèáî êðàòêàÿ ôîðìó-
ëèðîâêà çàäàíèÿ. Íàçîâåì ýòî ïåðâîíà÷àëüíûì òåêñòîì (ÏÒ).
Ðàçðàáîò÷èê íà îñíîâå ÏÒ ñîçäàåò ñïåöèôèêàöèþ ñèñòåìû óïðàâëåíèÿ îáú-
åêòîì íà Åß, êîòîðàÿ ïðåäíàçíà÷àåòñÿ äëÿ èñïîëüçîâàíèÿ ïðè âåðèôèêàöèè, âà-
ëèäàöèè ðàçðàáàòûâàåìîé ÑÓ, à òàêæå êàê ÷àñòü äîêóìåíòàöèè ïðîãðàììû
(ïðîãðàììíîé ñèñòåìû), ðåàëèçóþùåé äàííóþ ÑÓ.
×òîáû îñóùåñòâëÿòü âåðèôèêàöèþ, âàëèäàöèþ ðàçðàáàòûâàåìîé ÑÓ, òðåáó-
åòñÿ ñíà÷àëà ïðåîáðàçîâàòü ñïåöèôèêàöèþ ýòîé ñèñòåìû ê íåêîòîðîìó ôîðìàëü-
íîìó âèäó. Ïîýòîìó öåëåñîîáðàçíî ñïåöèôèêàöèþ ïèñàòü íà ÿçûêå Ðàçðàáîò÷èêà
(Åß ïðåäìåòíîé îáëàñòè ñ èñïîëüçîâàíèåì óñòîé÷èâûõ ñëîâîñî÷åòàíèé) òàê,
÷òîáû ïîñëåäóþùóþ ôîðìàëèçàöèþ ýòîé ñïåöèôèêàöèè ìîæíî áûëî îñóùåñ-
òâèòü àâòîìàòè÷åñêè èëè àâòîìàòèçèðîâàííî.
Ïðèíöèïû ïðåäëàãàåìîãî ïîäõîäà ê ïðîåêòèðîâàíèþ ÑÓ ñëåäóþùèå.
1.1. Ìíîãîàñïåêòíîå ìîäåëèðîâàíèå. Åß-ñïåöèôèêàöèè ÑÓ îáúåêòîì ñî-
çäàþòñÿ íà ÿçûêå Ðàçðàáîò÷èêà ïîýòàïíî, äëÿ ÷åãî ñòðîèòñÿ ðÿä ìîäåëåé êàê ñà-
ìîãî îáúåêòà óïðàâëåíèÿ, òàê è åãî ÑÓ, êîòîðûå îòðàæàþò ðàçëè÷íûå àñïåêòû
óïðàâëåíèÿ (ôóíêöèîíàëüíûé, ñòðóêòóðíûé, ïîâåäåí÷åñêèé). Ýòè ìîäåëè óòî÷-
íÿþòñÿ â õîäå ïðîåêòèðîâàíèÿ.
20 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
Ôóíêöèîíàëüíàÿ ìîäåëü îïèñûâàåò ñîâîêóïíîñòü ôóíêöèé ÑÓ. Îòðàæàåò
òàêèå àñïåêòû: óïðàâëåíèå îáúåêòîì ðàçíûìè êàòåãîðèÿìè ñóáúåêòîâ, à òàêæå
óïðàâëåíèå îáúåêòîì â íîðìàëüíûõ óñëîâèÿõ è â àâàðèéíûõ ñèòóàöèÿõ.
Ñòðóêòóðíàÿ ìîäåëü îïèñûâàåò ïîäñèñòåìû ÑÓ. Ïðè åå ïîñòðîåíèè àíàëè-
çèðóåòñÿ ñòðóêòóðà îáúåêòà óïðàâëåíèÿ, è âûäåëÿþòñÿ òå åãî êîìïîíåíòû, äëÿ
êîòîðûõ òðåáóþòñÿ ïîäñèñòåìû óïðàâëåíèÿ.
Èíôîðìàöèîííàÿ ìîäåëü îïèñûâàåò ïîòîêè äàííûõ ìåæäó êîìïîíåíòàìè
îáúåêòà óïðàâëåíèÿ è ïîäñèñòåìàìè ÑÓ. Äëÿ åå ïîñòðîåíèÿ âûäåëÿþòñÿ ñîñòîÿ-
íèÿ êîìïîíåíòîâ îáúåêòà óïðàâëåíèÿ è ââîäÿòñÿ èõ àòðèáóòû (ïðèçíàêè, õàðàê-
òåðèñòèêè, ñóùåñòâåííûå äëÿ ïîñòðîåíèÿ ôîðìàëüíîé ìîäåëè ÑÓ).
Ìîäåëü ïîâåäåíèÿ îïèñûâàåò âçàèìîäåéñòâèå ÑÓ è îáúåêòà óïðàâëåíèÿ,
à òàêæå âçàèìîñâÿçè ïîäñèñòåì ÑÓ. Äëÿ åå ïîñòðîåíèÿ âûäåëÿþòñÿ ïðîöåññû,
â êîòîðûõ çàäåéñòâîâàíû îáúåêò óïðàâëåíèÿ è åãî êîìïîíåíòû, ñèòóàöèè ïðîòå-
êàíèÿ ïðîöåññîâ è âèäû ïåðåõîäîâ èç ñîñòîÿíèÿ â ñîñòîÿíèå, îïðåäåëÿþòñÿ ñòðà-
òåãèè óïðàâëåíèÿ.
1.2. Îáîñíîâàííîñòü ðåøåíèé. Ïðèíèìàåìûå â õîäå ïðîåêòèðîâàíèÿ ðåøå-
íèÿ, âíîñèìûå èçìåíåíèÿ è óòî÷íåíèÿ ôèêñèðóþòñÿ è îáîñíîâûâàþòñÿ (ò.å. îáú-
ÿñíÿþòñÿ è àðãóìåíòèðóþòñÿ). Ñîõðàíÿåòñÿ âîçìîæíîñòü ïðè íåîáõîäèìîñòè
âåðíóòüñÿ è èçìåíèòü ðàíåå ïðèíÿòûå ðåøåíèÿ, îáúÿñíèâ ïðè÷èíû èçìåíåíèÿ è
îáîñíîâàâ íîâûå ðåøåíèÿ.
1.3. Ïîëíîòà ïîñòðîåíèé. Ïðè ââåäåíèè ìíîæåñòâ ñîñòîÿíèé ñðåäñòâ
óïðàâëåíèÿ, îáúåêòà óïðàâëåíèÿ èëè êîìïîíåíòîâ îáúåêòà, à òàêæå ìíîæåñòâ ñè-
òóàöèé ïðîòåêàíèÿ óïðàâëÿåìîãî ïðîöåññà è âèäîâ ïåðåõîäîâ èç ñîñòîÿíèÿ â ñî-
ñòîÿíèå îáîñíîâûâàåòñÿ ïîëíîòà êàæäîãî ìíîæåñòâà. (Ìíîæåñòâà ñîñòîÿíèé
ðàçëè÷íîãî âèäà è ñèòóàöèè âîçíèêàþò ïðè ñîçäàíèè ìîäåëåé ðàçíûõ òèïîâ
(ïîäðàçä. 1.1).)
1.4. Ôîðìèðîâàíèå ðàáî÷åé ëåêñèêè. Ââåäåíèå àòðèáóòîâ ïðè ïîñòðîåíèè
èíôîðìàöèîííîé ìîäåëè ñîïðîâîæäàåòñÿ ïîÿñíåíèåì èõ ñìûñëà. Äëÿ ýòîãî èñ-
ïîëüçóþòñÿ ôðàçû Åß. Íàáîð òàêèõ ôðàç îáðàçóåò ðàáî÷óþ ëåêñèêó (íàáîð êëè-
øå). Ïðè ñîñòàâëåíèè äåòàëüíîé ìîäåëè ÑÓ è åå ïîäñèñòåì èñïîëüçóþòñÿ êëè-
øå. Îíè ÿâëÿþòñÿ ñâÿçóþùèì çâåíîì ïðè ïåðåõîäå îò Åß-ìîäåëè ê ôîðìàëüíîé
ìîäåëè. (Î ïðîèñõîæäåíèè è èñïîëüçîâàíèè êëèøå ïðè ïðîåêòèðîâàíèè ñèñòåì
ñì. [12, 13].)
1.5. Ëèíãâèñòè÷åñêè óïðàâëÿåìîå ïðîåêòèðîâàíèå. Ïëàí ïîñòðîåíèÿ è
äåòàëèçàöèè ìîäåëåé (óïîìÿíóòûõ ðàíåå) îñíîâàí íà ñèñòåìàòè÷åñêîì èñïîëüçî-
âàíèè ðÿäà ñóùåñòâåííûõ (â îáëàñòè ïðîåêòèðîâàíèÿ ÑÓ) ïîíÿòèé.
Äàëåå ïðèâåäåí ïåðå÷åíü ñóùíîñòåé è ñâÿçàííûõ ñ íèìè ïîíÿòèé, êîòîðûå
ñëåäóåò ïðèíèìàòü âî âíèìàíèå ïðè ðàçðàáîòêå ÑÓ íåêîòîðûì îáúåêòîì.
Îáúÿñíèì ïðè÷èíû âûäåëåíèÿ ýòèõ ñóùíîñòåé, ïîêàçûâàÿ, êàê èñïîëüçóå-
ìûé ÿçûê «ïîäñêàçûâàåò», íà ÷òî íåîáõîäèìî îáðàòèòü âíèìàíèå (çäåñü îïèñû-
âàåòñÿ ëèíãâèñòè÷åñêèé àñïåêò ïðåäëàãàåìîãî ïîäõîäà).
Èñõîäèì èç ïîíèìàíèÿ (íîñèòåëÿìè ÿçûêà) ñìûñëà ñëîâ îáúåêò è óïðàâëå-
íèå, à òàêæå ó÷èòûâàåì, ÷òî óïðàâëåíèå âñåãäà îñóùåñòâëÿåòñÿ ñ îïðåäåëåííîé
öåëüþ. Îñîáî îòìåòèì, ÷òî ïðè ôîðìèðîâàíèè ïðèâîäèìîãî äàëåå ïåðå÷íÿ ñòà-
âèëàñü öåëü îáúÿñíèòü, ïî÷åìó òà èëè èíàÿ ñóùíîñòü âêëþ÷àåòñÿ â íåãî, à íå
äàòü îïðåäåëåíèå ïîíÿòèÿ, ñîîòâåòñòâóþùåãî ýòîé ñóùíîñòè.
Îáúåêò óïðàâëåíèÿ. Ýòó ñóùíîñòü ïðîèãíîðèðîâàòü íåëüçÿ, ïîñêîëüêó ðàç-
ðàáàòûâàåòñÿ ñèñòåìà óïðàâëåíèÿ. Óïðàâëåíèå îñóùåñòâëÿåòñÿ íåêîòîðûì îáú-
åêòîì (èíîãäà ðàçðàáàòûâàåìûì íàðÿäó ñ ÑÓ). Ñëåäîâàòåëüíî, ðàçðàáàòûâàÿ ÑÓ
êàêèì-ëèáî îáúåêòîì, ñëåäóåò îïðåäåëèòü (íàçâàòü, îáúÿñíèòü, îïèñàòü, ñîñëàòü-
ñÿ íà ãîòîâîå îïèñàíèå), ÷òî ýòî çà îáúåêò.
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 21
Ôóíêöèÿ îáúåêòà óïðàâëåíèÿ. Ïðîåêòèðóÿ ÑÓ íåêîòîðûì îáúåêòîì, íåîáõîäè-
ìî ó÷èòûâàòü, ÷òî èìåííî äåëàåò îáúåêò óïðàâëåíèÿ, êàêóþ ôóíêöèþ îí âûïîëíÿåò.
Ïðåäíàçíà÷åíèå îáúåêòà óïðàâëåíèÿ. Îáúåêò óïðàâëåíèÿ ñîçäàí (èëè
ïðîåêòèðóåòñÿ âìåñòå ñ ÑÓ) ñ îïðåäåëåííîé öåëüþ, ïîýòîìó ïðè ðàçðàáîòêå ÑÓ
ýòèì îáúåêòîì íåîáõîäèìî óÿñíèòü, çà÷åì îí íóæåí.
Êàòåãîðèè ïîëüçîâàòåëåé îáúåêòîì. Ïîñêîëüêó îáúåêò óïðàâëåíèÿ âûïîë-
íÿåò íåêîòîðóþ ôóíêöèþ, ñëåäóåò âûÿñíèòü, äëÿ êîãî (äëÿ ÷åãî) íóæíû îáúåêò è
ðåçóëüòàòû åãî ôóíêöèîíèðîâàíèÿ.
Ñðåäà îáúåêòà óïðàâëåíèÿ. Îáúåêò óïðàâëåíèÿ íàõîäèòñÿ â íåêîòîðîé ñðå-
äå. Âçàèìîâëèÿíèÿ ýòîé ñðåäû è îáúåêòà óïðàâëåíèÿ ñëåäóåò ó÷èòûâàòü ïðè ïðî-
åêòèðîâàíèè ÑÓ. Ïîëüçîâàòåëè òàêæå ÿâëÿþòñÿ ÷àñòüþ ñðåäû.
Ñóáúåêòû óïðàâëåíèÿ îáúåêòîì è èõ êàòåãîðèè. Åñëè èìååòñÿ îáúåêò
óïðàâëåíèÿ, òî ñëåäóåò âûÿñíèòü, ÷òî (êòî) åñòü ñóáúåêòû óïðàâëåíèÿ è èõ êîëè-
÷åñòâî. Ñóáúåêòû óïðàâëåíèÿ òàêæå ÿâëÿþòñÿ ÷àñòüþ ñðåäû îáúåêòà óïðàâëåíèÿ.
Êîìïîíåíòû îáúåêòà. Ïîñêîëüêó îáúåêò ìîæåò áûòü òàêèì, ÷òî äëÿ íåêî-
òîðûõ åãî ÷àñòåé ïîíàäîáÿòñÿ îòäåëüíûå ÑÓ, ñëåäóåò ïðîàíàëèçèðîâàòü ñòðóêòó-
ðó îáúåêòà è âûÿñíèòü, ïîâëèÿåò ëè îíà (è êàê èìåííî) íà ðàçðàáàòûâàåìóþ ÑÓ.
Ñèñòåìà óïðàâëåíèÿ îáúåêòîì. Ýòî òî, ÷òî ðàçðàáàòûâàåòñÿ (íåëüçÿ îáîé-
òè ìîë÷àíèåì). Ñëåäóåò óÿñíèòü, êàêîâà ðîëü ÑÓ â âûïîëíåíèè ôóíêöèè îáúåêòà
óïðàâëåíèÿ, à òàêæå ÿâëÿåòñÿ ëè ÑÓ ïðîñòîé èëè ñîñòàâíîé.
Ïîäñèñòåìû óïðàâëåíèÿ. Åñëè äëÿ íåêîòîðûõ ñîñòàâëÿþùèõ îáúåêòà
óïðàâëåíèÿ íåîáõîäèìû îòäåëüíûå ÑÓ, òî è ïðîåêòèðóåìàÿ ÑÓ ñòàíîâèòñÿ ñî-
ñòàâíîé, âêëþ÷àþùåé ñîîòâåòñòâóþùèå ïîäñèñòåìû.
Íîðìàëüíûå óñëîâèÿ (ôóíêöèîíèðîâàíèÿ îáúåêòà, ÑÓ). Ñëåäóåò îïðåäå-
ëèòü è îïèñàòü, ïðè êàêèõ îáñòîÿòåëüñòâàõ ôóíêöèîíèðîâàíèå îáúåêòà è ÑÓ áå-
çîïàñíî äëÿ îáúåêòà óïðàâëåíèÿ è ïîëüçîâàòåëåé.
Àâàðèéíûå ñèòóàöèè (ôóíêöèîíèðîâàíèÿ îáúåêòà, ÑÓ). Ñëåäóåò îïðåäå-
ëèòü è îïèñàòü, ïðè êàêèõ óñëîâèÿõ ôóíêöèîíèðîâàíèå îáúåêòà, ÑÓ îïàñíî äëÿ
îáúåêòà óïðàâëåíèÿ èëè ïîëüçîâàòåëåé.
Ñîñòîÿíèÿ (ñðåäñòâ óïðàâëåíèÿ, îáúåêòà óïðàâëåíèÿ, åãî ñîñòàâëÿþùèõ,
ñðåäû îáúåêòà óïðàâëåíèÿ). Ïîñêîëüêó ïðîâåðêè (âåðèôèêàöèÿ, òåñòèðîâàíèå è
ò.ä.) ðàçðàáàòûâàåìîé ÑÓ ïðîâîäÿòñÿ íà ýòàïå ïðîåêòèðîâàíèÿ, òðåáóåòñÿ ïî-
ñòðîèòü ìîäåëü ïîâåäåíèÿ îáúåêòà óïðàâëåíèÿ, ÑÓ, à äëÿ ýòîãî íåîáõîäèìî
çíàòü ìíîæåñòâî ñîñòîÿíèé îáúåêòà óïðàâëåíèÿ, ÑÓ.
Ïîëíîòà ìíîæåñòâà ñîñòîÿíèé. Îáîñíîâûâàòü ïîëíîòó ìíîæåñòâà ñîñòîÿ-
íèé (îáúåêòà óïðàâëåíèÿ, ÑÓ) öåëåñîîáðàçíî äëÿ ïîâûøåíèÿ êà÷åñòâà ìîäåëè
ïîâåäåíèÿ (îáúåêòà óïðàâëåíèÿ, ÑÓ). Åñëè â ìîäåëè íå ó÷òåíû êàêèå-ëèáî ñîñòî-
ÿíèÿ îáúåêòà óïðàâëåíèÿ èëè ÑÓ, òî ìîäåëü áóäåò íåïîëíîé. Ìíîæåñòâî Ñ ñî-
ñòîÿíèé (îáúåêòà Õ) íàçûâàåì ïîëíûì, åñëè êàæäîå ñîñòîÿíèå îáúåêòà Õ âõîäèò
â Ñ è êàæäûé ýëåìåíò èç Ñ ÿâëÿåòñÿ ñîñòîÿíèåì îáúåêòà Õ.
Âèäû ïåðåõîäîâ èç ñîñòîÿíèÿ â ñîñòîÿíèå. Ïðè èçó÷åíèè èëè ìîäåëèðîâà-
íèè ñîñòàâíûõ îáúåêòîâ ïðèõîäèòñÿ îñóùåñòâëÿòü èõ äåêîìïîçèöèþ. Êàæäûé
êîìïîíåíò èìååò ñâîå ìíîæåñòâî ñîñòîÿíèé. Ñîñòîÿíèå îáúåêòà èëè åãî êîìïî-
íåíòà íàáëþäàåòñÿ â îïðåäåëåííûõ óñëîâèÿõ (â íîðìàëüíûõ óñëîâèÿõ èëè â àâà-
ðèéíîé ñèòóàöèè), è ýòî ñëåäóåò ó÷èòûâàòü.
Ïîëíîòà ìíîæåñòâà ïåðåõîäîâ. Îáîñíîâûâàòü ïîëíîòó ìíîæåñòâà ïåðåõî-
äîâ (îáúåêòà óïðàâëåíèÿ, ÑÓ) èç ñîñòîÿíèÿ â ñîñòîÿíèå öåëåñîîáðàçíî äëÿ ïîâû-
øåíèÿ êà÷åñòâà ìîäåëè ïîâåäåíèÿ (îáúåêòà óïðàâëåíèÿ, ÑÓ). Åñëè íå ó÷òåíû êà-
êèå-ëèáî ïåðåõîäû, òî äëÿ ÷àñòè ñîñòîÿíèé ïîâåäåíèå îáúåêòà, ÑÓ íå áóäåò îïè-
ñàíî, à ìîäåëü áóäåò ïîïàäàòü â òóïèêè.
22 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
Äåòåðìèíèçì ïåðåõîäîâ. Ýòî âàæíîå ñâîéñòâî ïîâåäåíèÿ îáúåêòà óïðàâ-
ëåíèÿ, ÑÓ. Åñëè æåëàòåëüíî äåòåðìèíèðîâàííîå ïîâåäåíèå ÑÓ, òî ýòî ñëåäóåò îáåñ-
ïå÷èòü ïðè ïðîåêòèðîâàíèè. Ïðè ðàçðàáîòêå ÑÓ íåêîòîðûì îáúåêòîì íåîáõîäè-
ìî çíàòü, ÿâëÿåòñÿ ëè ïîâåäåíèå îáúåêòà äåòåðìèíèðîâàííûì.
Ñòðàòåãèè óïðàâëåíèÿ îáúåêòîì èëè êîìïîíåíòîì îáúåêòà. Ðàçðàáîòêà
ñòðàòåãèè óïðàâëåíèÿ îáúåêòîì — âàæíûé ýòàï ïðîåêòèðîâàíèÿ ÑÓ. Óïðàâëåíèå
îáúåêòîì ïðåñëåäóåò îïðåäåëåííóþ öåëü. Ïðè ïðîåêòèðîâàíèè ÑÓ ïðèõîäèòñÿ
ðàçðàáàòûâàòü è îáùèé ïëàí äîñòèæåíèÿ ýòîé öåëè (ò.å. ñòðàòåãèþ óïðàâëåíèÿ).
Îáîñíîâàíèå ïîëíîòû è êîððåêòíîñòè ñòðàòåãèè. Ïðè ðàçðàáîòêå (èëè
èñïîëüçîâàíèè èìåþùåéñÿ) ñòðàòåãèè âàæíî èññëåäîâàòü (èëè çíàòü) åå ñâî-
éñòâà: ïîëíîòó è êîððåêòíîñòü.
Ðåæèì óïðàâëåíèÿ. Óñëîâèÿ, â êîòîðûõ îñóùåñòâëÿåòñÿ óïðàâëåíèå, ìîãóò
èçìåíÿòüñÿ, ïîýòîìó ñëåäóåò âûÿñíèòü, êàêîå óïðàâëåíèå òðåáóåòñÿ äëÿ òåõ èëè
èíûõ óñëîâèé.
Ïðîöåññû. ÑÓ ðàçðàáàòûâàåòñÿ äëÿ òîãî, ÷òîáû ðåãóëèðîâàòü è íàïðàâëÿòü
ïðîöåññû, â êîòîðûõ çàäåéñòâîâàí îáúåêò óïðàâëåíèÿ, ïîýòîìó íåîáõîäèìî âû-
ÿñíèòü, ÷òî ýòî çà ïðîöåññû.
Íà÷àëî ïðîöåññà, ïðîòåêàíèå ïðîöåññà ìåæäó íà÷àëîì è çàâåðøåíèåì,
çàâåðøåíèå ïðîöåññà. Ýòî ñóùåñòâåííûå ôàçû ïðîöåññà. Ñëåäóåò ó÷èòûâàòü èõ
îñîáåííîñòè.
Ñèòóàöèè ïðîòåêàíèÿ ïðîöåññà. Ïðîöåññ ïðîòåêàåò â îïðåäåëåííûõ óñëî-
âèÿõ. Íàáîðû ýòèõ óñëîâèé (ñèòóàöèè) ìîãóò áûòü ðàçëè÷íûìè, è ñëåäóåò âûÿñ-
íèòü, åñòü ëè íåîáõîäèìîñòü â ñïåöèàëüíîì óïðàâëåíèè â êàæäîé ñèòóàöèè.
Ïîëíîòà ìíîæåñòâà ñèòóàöèé. Îáîñíîâûâàòü ïîëíîòó ìíîæåñòâà ñèòóà-
öèé ïðîòåêàíèÿ ïðîöåññà öåëåñîîáðàçíî äëÿ ïîâûøåíèÿ êà÷åñòâà ìîäåëè ïîâå-
äåíèÿ (îáúåêòà óïðàâëåíèÿ, ÑÓ). Åñëè íå ó÷èòûâàòü ñèòóàöèè, â êîòîðûõ òðåáó-
åòñÿ ñïåöèàëüíîå óïðàâëåíèå, ÑÓ áóäåò íåïîëíîé.
Ñöåíàðèè. Âçàèìîäåéñòâèÿ ïîäñèñòåì óïðàâëåíèÿ â ñîñòàâíûõ ÑÓ, à òàêæå
âçàèìîäåéñòâèå ïîëüçîâàòåëÿ (ñóáúåêòà óïðàâëåíèÿ) ñ óïðàâëÿåìûì îáúåêòîì
çàäàþòñÿ â âèäå ñöåíàðèåâ.
Ñðåäñòâà íàáëþäåíèÿ çà îáúåêòîì óïðàâëåíèÿ. ×òîáû óïðàâëÿòü è ïî-
ëüçîâàòüñÿ îáúåêòîì, íåîáõîäèìî èìåòü âîçìîæíîñòü óçíàâàòü î åãî ñîñòîÿíèè,
ïîýòîìó íóæíû ñîîòâåòñòâóþùèå ñðåäñòâà.
Äàò÷èêè, òàéìåðû, èçìåðèòåëüíûå ïðèáîðû è ò.ï. Ýòî èçâåñòíûå ñðå-
äñòâà íàáëþäåíèÿ çà îáúåêòàìè. Àññîðòèìåíò ñðåäñòâ íàáëþäåíèÿ ìîæåò ðàñøè-
ðÿòüñÿ.
Ñèíõðîíèçàöèÿ ïðîöåññîâ. Â ñèñòåìàõ ñ íåñêîëüêèìè ïðîöåññàìè ìîãóò
ïîíàäîáèòüñÿ ñðåäñòâà èõ ñèíõðîíèçàöèè.
Ñðåäñòâà óïðàâëåíèÿ îáúåêòîì èëè êîìïîíåíòîì îáúåêòà. ×òîáû îêàçû-
âàòü óïðàâëÿþùèå âîçäåéñòâèÿ íà îáúåêò èëè åãî ñîñòàâëÿþùèå, íåîáõîäèìû
ñîîòâåòñòâóþùèå ñðåäñòâà.
Êíîïêè, òóìáëåðû, ïåðåêëþ÷àòåëè è ò.ï. Ýòî èçâåñòíûå ñðåäñòâà óïðàâ-
ëåíèÿ îáúåêòàìè. Ñîñòàâ ñðåäñòâ óïðàâëåíèÿ ìîæåò ðàñøèðÿòüñÿ.
Èíôîðìàöèîííûå ñðåäñòâà. ×òîáû ïîëó÷àòü ñâåäåíèÿ îá óïðàâëÿåìîì (íà-
áëþäàåìîì) îáúåêòå íåïîñðåäñòâåííî èëè óçíàâàòü ðåçóëüòàòû íàáëþäåíèÿ çà
íèì, òðåáóþòñÿ ñèãíàëüíûå (èíôîðìàöèîííûå) ñðåäñòâà.
Òàáëî, èíäèêàòîðû è ò.ï. Ýòî èçâåñòíûå èíôîðìàöèîííûå ñðåäñòâà, ïîçâî-
ëÿþùèå óçíàâàòü î ñîñòîÿíèè óïðàâëÿåìîãî (íàáëþäàåìîãî) îáúåêòà èëè åãî ñî-
ñòàâëÿþùèõ. Ñîñòàâ èíôîðìàöèîííûõ ñðåäñòâ ìîæåò ðàñøèðÿòüñÿ.
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 23
Óïðàâëÿþùèå âîçäåéñòâèÿ è èõ ðåçóëüòàòû. Ñðåäñòâà óïðàâëåíèÿ ïðåä-
íàçíà÷åíû äëÿ âîçäåéñòâèÿ íà îáúåêò óïðàâëåíèÿ. Ïðåäïîëàãàåòñÿ, ÷òî ðåçóëüòà-
òû ýòèõ äåéñòâèé èçâåñòíû ïðè ðàçðàáîòêå ÑÓ. Èõ ñëåäóåò ïðîâåðÿòü äëÿ ãîòî-
âîé ìîäåëè ÑÓ.
Ñðåäñòâà èíòåðôåéñà. Äëÿ ñâÿçè ìåæäó êîìïîíåíòàìè ñîñòàâíûõ ÑÓ,
à òàêæå äëÿ ñâÿçè ñóáúåêòîâ óïðàâëåíèÿ ñ ÑÓ íóæíû ñîîòâåòñòâóþùèå ñðåäñòâà.
Ñîîáùåíèÿ, ïðèçíàêè è ò.ï. Ýòî èçâåñòíûå ñðåäñòâà, ñ ïîìîùüþ êîòîðûõ
îñóùåñòâëÿåòñÿ èíòåðôåéñ. Ñîñòàâ ñðåäñòâ èíòåðôåéñà ìîæåò ðàñøèðÿòüñÿ.
Êîëè÷åñòâåííûå è êà÷åñòâåííûå õàðàêòåðèñòèêè (ðàçðàáàòûâàåìîé ÑÓ).
Ïðè ðàçðàáîòêå ëþáîé ñèñòåìû ðàññìàòðèâàþòñÿ íåôóíêöèîíàëüíûå òðåáîâàíèÿ
ê åå êà÷åñòâó è êîëè÷åñòâåííûå ïîêàçàòåëè åå ðàáîòû è ýêñïëóàòàöèè.
Êîëè÷åñòâåííûå è êà÷åñòâåííûå õàðàêòåðèñòèêè ðàçðàáîòêè (ÑÓ). Ðàç-
ðàáîòêà ñèñòåìû (â òîì ÷èñëå è ÑÓ) îñóùåñòâëÿåòñÿ â ðàìêàõ êîëè÷åñòâåííûõ
õàðàêòåðèñòèê (ñðîêè, çàòðàòû è ò.ä.), à òàêæå ñ ó÷åòîì êà÷åñòâåííûõ òðåáîâàíèé
è îãðàíè÷åíèé.
Îïðåäåëåíèå êàæäîé ñóùíîñòè è êàæäîãî ïîíÿòèÿ èç ïðèâåäåííîãî ïåðå÷íÿ
ëèáî çàäàíî íàïåðåä (óæå èçâåñòíî), ëèáî ôîðìóëèðóåòñÿ â õîäå ðàçðàáîòêè ÑÓ.
Âàæíî, ÷òîáû áûëî èçâåñòíî, ÷òî îçíà÷àåò òî èëè èíîå èñïîëüçóåìîå ïðè
ïðîåêòèðîâàíèè ÑÓ ïîíÿòèå (òåðìèí).
1.6. Ñîãëàñîâàíèå ÷àñòåé. Îáùàÿ ìîäåëü ÑÓ ñòðîèòñÿ íà îñíîâå ðàçðàáî-
òàííûõ îòäåëüíûõ ìîäåëåé ñ èñïîëüçîâàíèåì ðàáî÷åé ëåêñèêè, êîòîðàÿ âêëþ÷à-
åò êàê îòäåëüíûå ñëîâà, òàê è óñòîé÷èâûå ìíîãîñëîâíûå ôðàçû (êëèøå). Ìîäåëü
ÑÓ òåñíî ñâÿçàíà ñ ìîäåëüþ îáúåêòà óïðàâëåíèÿ. Åñëè îáúåêò ñëîæíûé (ñîñòàâ-
íîé), òî è ÑÓ èìååò íåñêîëüêî ïîäñèñòåì, ðàáîòó êîòîðûõ íàäî ñîãëàñîâûâàòü.
2. ÌÅÒÎÄÈÊÀ ÏÐÎÅÊÒÈÐÎÂÀÍÈß ÑÓ ÒÅÕÍÈ×ÅÑÊÈÌ ÎÁÚÅÊÒÎÌ
2.1. Îáùèé ïëàí ïîñòðîåíèÿ ìåòîäèêè. Îïèøåì, êàê íà îñíîâå èçëîæåííûõ
ïðèíöèïîâ ñòðîèòñÿ ìåòîäèêà ïðîåêòèðîâàíèÿ ñèñòåì óïðàâëåíèÿ òåõíè÷åñêè-
ìè îáúåêòàìè. Íà÷èíàòü ïðîåêòèðîâàíèå ÑÓ åñòåñòâåííî ñ óÿñíåíèÿ òîãî, ÷òî
ñëåäóåò ðàçðàáîòàòü è ñ êàêîé öåëüþ, ÷òî ñîáîé ïðåäñòàâëÿåò îáúåêò óïðàâëå-
íèÿ, âûÿñíåíèÿ òîãî, êàêîâû òðåáîâàíèÿ çàêàç÷èêà è åãî âèäåíèå ôóíêöèîíè-
ðîâàíèÿ ãîòîâîé ÑÓ, à òàêæå êàêèå ðåñóðñû äîñòóïíû äëÿ åå ðàçðàáîòêè.
Çàòåì ìîæíî ïðèñòóïàòü ê ðàçðàáîòêå ðÿäà ìîäåëåé ðàçëè÷íûõ ñòåïåíåé äå-
òàëèçàöèè (ìíîãîàñïåêòíîå ìîäåëèðîâàíèå). Ðàçðàáîòêà ìîäåëåé îñóùåñòâëÿåòñÿ
íà îñíîâå ïðèíöèïà ëèíãâèñòè÷åñêè óïðàâëÿåìîãî ïðîåêòèðîâàíèÿ: ïëàí ïîñòðî-
åíèÿ ìîäåëåé îïðåäåëÿåòñÿ ïåðå÷íåì ñóùíîñòåé è ñâÿçàííûõ ñ íèìè ïîíÿòèé,
ïðèâåäåííîì â ðàçä. 1, ïîäðàçä. 1.5. Ïîñòðîåíèå ìîäåëåé ñîïðîâîæäàåòñÿ ââåäå-
íèåì â ðàññìîòðåíèå òðåáóåìûõ äëÿ èõ îïèñàíèÿ ìíîæåñòâ (íàïðèìåð, ìíîæåñòâ
ñîñòàâëÿþùèõ è ñîñòîÿíèé (÷åãî-ëèáî) è ò.ï.). Ñîãëàñíî ìåòîäèêå ñëåäóåò ïðåäîñòàâ-
ëÿòü îáîñíîâàíèÿ ïîëíîòû ââîäèìûõ ìíîæåñòâ (ïðèíöèï ïîëíîòû ïîñòðîåíèé).
Ïî ñóùåñòâó, îáîñíîâàíèå ïîëíîòû ìíîæåñòâà ñîñòîèò â òîì, ÷òîáû ïîêàçàòü,
÷òî ïðè åãî ïîñòðîåíèè íè÷åãî íå óïóùåíî è íå ïîïàëî íè÷åãî «ëèøíåãî».
Ìåòîäèêà ñîñòîèò èç ðÿäà ýòàïîâ, êàæäûé èç íèõ ñîäåðæèò çàäàíèÿ, êîòîðûå ñëå-
äóåò âûïîëíèòü. Åñëè âûïîëíåíèå çàäàíèÿ ïðèõîäèòñÿ îòëîæèòü (íàïðèìåð, âñëåä-
ñòâèå íåîáõîäèìîñòè óòî÷íåíèé) è âåðíóòüñÿ ê íåìó â äàëüíåéøåì, òî îíî ïîïàäàåò
â ñïåöèàëüíûé ñïèñîê. Íà êàæäîì ýòàïå ìåòîäèêè äîïóñêàåòñÿ âíåñåíèå óòî÷íåíèé.
Ýòàï èìååò òàêîé ôîðìàò:
— íîìåð;
— íàçâàíèå, õàðàêòåðèçóþùåå ðîä äåÿòåëüíîñòè Ðàçðàáîò÷èêà íà äàííîì
ýòàïå;
— ïåðå÷åíü çàäàíèé äëÿ Ðàçðàáîò÷èêà;
24 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
— ïóíêò îá óòî÷íåíèÿõ, ñâÿçàííûõ ñ äàííûì ýòàïîì, âîçíèêàþùèõ ïîñëå
âûïîëíåíèÿ çàäàíèé ýòîãî ýòàïà (êîíòðîëèðóåò âûïîëíåíèå íåîáõîäèìûõ êîð-
ðåêòèðîâîê), îáåñïå÷èâàåò âîçìîæíîñòü âîçâðàòà ê äàííîìó ýòàïó, êîãäà óòî÷íå-
íèÿ âîçíèêàþò âî âðåìÿ âûïîëíåíèÿ äðóãèõ ýòàïîâ;
— ïóíêò îá îòëîæåííûõ ðàáîòàõ (êîíòðîëèðóåò âûïîëíåíèå âñåõ çàäàíèé
äàííîãî ýòàïà, à òàêæå íîâûõ çàäà÷, êîòîðûå âîçíèêëè ïðè âûïîëíåíèè çàäàíèé
ýòîãî ýòàïà).
Ýëåìåíò ïåðå÷íÿ çàäàíèé èìååò íîìåð, íàçâàíèå, ôîðìóëèðîâêó çàäàíèÿ
è/èëè âîïðîñû, îòâåòû íà êîòîðûå òðåáóþòñÿ äëÿ åãî âûïîëíåíèÿ, à òàêæå ìîæåò
ñîäåðæàòü ïîÿñíåíèÿ ê çàäàíèþ.
Çàäàíèÿ äëÿ Ðàçðàáîò÷èêà ñôîðìèðîâàíû â ñîîòâåòñòâèè ñî ñïèñêîì ñóù-
íîñòåé è ñâÿçàííûõ ñ íèìè ïîíÿòèé (ñì. ðàçä. 1, ïîäðàçä. 1.5). Òàêèì îáðàçîì,
ìåòîäèêà ïîñòðîåíà íà ëèíãâèñòè÷åñêîé îñíîâå. Îñòàëüíûå àñïåêòû ìåòîäèêè
îïðåäåëÿþòñÿ ïðèíöèïàìè: îáîñíîâàíèå ñäåëàííûõ âûáîðîâ è ïðèíÿòûõ ðåøå-
íèé, ôîðìèðîâàíèå ðàáî÷åé ëåêñèêè, ñîãëàñîâàíèå ÷àñòåé.
Íà ýòàïå 1 ðàáîòû ïî ìåòîäèêå ôîðìóëèðóåòñÿ ïîñòàíîâêà çàäà÷è. Íà ýòàïàõ
2–5 ïîäãîòàâëèâàþòñÿ äàííûå, íåîáõîäèìûå äëÿ ïîñòðîåíèÿ ìîäåëåé ïðîåêòè-
ðóåìîé ÑÓ. Íà ýòàïàõ 6–8 ñòðîÿòñÿ ìîäåëè ÑÓ. Íà ýòàïå 9 îáåñïå÷èâàåòñÿ âçàè-
ìîäåéñòâèå ñîñòàâëÿþùèõ ÑÓ. Íà ýòàïå 10 çàâåðøàåòñÿ ñòàäèÿ ïðîåêòèðîâàíèÿ
ÑÓ, ïðåäøåñòâóþùàÿ ôîðìàëèçàöèè.
2.2. Ìåòîäèêà. Äàëåå ïðèâîäèòñÿ ìåòîäèêà ïðîåêòèðîâàíèÿ ÑÓ òåõíè÷åñ-
êèì îáúåêòîì.
Ýòàï 1. Óÿñíåíèå çàäà÷è ðàçðàáîòêè.
1. Ôîðìóëèðîâàíèå çàäàíèÿ è öåëè ðàçðàáîòêè. Âûÿñíèòü è ñôîðìóëèðî-
âàòü, ÷òî ñëåäóåò ðàçðàáîòàòü (êàêóþ èìåííî ÑÓ), êàêóþ ôóíêöèþ äîëæíà âû-
ïîëíÿòü ïðîåêòèðóåìàÿ ÑÓ.
 õîäå ðàçðàáîòêè ïðîåêòà ñëåäîâàòü ïðàâèëó: äëÿ âñåõ ââîäèìûõ â ðàññìîò-
ðåíèå ñóùíîñòåé ïðèâîäèòü òîëêîâàíèÿ, ñìûñë êàæäîãî èñïîëüçóåìîãî ïîíÿòèÿ
(òåðìèíà) ëèáî èçâåñòåí, ëèáî îïðåäåëÿåòñÿ.
2. Îáúåêò óïðàâëåíèÿ. ×òî ïîíèìàåòñÿ ïîä îáúåêòîì (êëàññîì îáúåêòîâ)
óïðàâëåíèÿ? Íà ýòîì øàãå ðàçðàáîòêè ïðîåêòà ñëåäóåò ñôîðìóëèðîâàòü, ÷òî
èìåííî ÿâëÿåòñÿ îáúåêòîì óïðàâëåíèÿ äëÿ ðàçðàáàòûâàåìîé ÑÓ. ×òî äåëàåò è
äëÿ ÷åãî íóæåí îáúåêò óïðàâëåíèÿ?
3. Âèä ñèñòåìû óïðàâëåíèÿ è åå ïîëüçîâàòåëè. Êàêîé õàðàêòåð îáùíîñòè
ðàçðàáàòûâàåìîé ÑÓ? Êòî áóäåò ïîëüçîâàòüñÿ ÑÓ (è óïðàâëÿåìûì åþ îáúåê-
òîì)? Ñëåäóåò óòî÷íèòü, íàñêîëüêî îáùèé õàðàêòåð äîëæíà èìåòü ðàçðàáàòûâàå-
ìàÿ ÑÓ (íàïðèìåð, ðàçðàáàòûâàåòñÿ ëè îíà äëÿ óïðàâëåíèÿ óíèêàëüíûì îáúåê-
òîì, êëàññîì ñåðèéíûõ èëè ïîõîæèõ îáúåêòîâ ëèáî äëÿ äðóãèõ öåëåé). Îò ýòîé
èíôîðìàöèè ìîæåò çàâèñåòü âûáîð ôîðìàëèçìà äëÿ ïîñòðîåíèÿ ôîðìàëüíîé ìî-
äåëè ïîâåäåíèÿ (èëè â êàêóþ ôîðìó áóäóò ïðåîáðàçîâàíû ôóíêöèîíàëüíûå ñïå-
öèôèêàöèè (ÔÑ), îïèñûâàþùèå ïîâåäåíèå ÑÓ íà Åß). Âûáîð ôîðìàëèçìà
ìîæíî îòëîæèòü è íà ïîñëåäóþùèå ñòàäèè ïðîåêòèðîâàíèÿ.
4. Îãðàíè÷åíèÿ è ïðèîðèòåòû. Êàêîâû æåëàåìûå õàðàêòåðèñòèêè ðàçðàáàòû-
âàåìîé ÑÓ? (Íàïðèìåð, ñòîèìîñòü, íå ïðåâûøàþùàÿ îïðåäåëåííîé âåëè÷èíû,
ñêîðîñòü ðàáîòû, ïðîèçâîäèòåëüíîñòü è äð.) Êàêîâû êîëè÷åñòâåííûå è êà÷åñ-
òâåííûå õàðàêòåðèñòèêè ðàçðàáîòêè ÑÓ? Ñëåäóåò ñîñòàâèòü ïåðå÷åíü êîëè÷åñ-
òâåííûõ è êà÷åñòâåííûõ ïîêàçàòåëåé, êîòîðûì äîëæíà ñîîòâåòñòâîâàòü ãîòîâàÿ
ÑÓ, à òàêæå âûÿñíèòü, êàêèå ðåñóðñû è ñðåäñòâà òðåáóþòñÿ è äîñòóïíû äëÿ åå
ðàçðàáîòêè. Ñëåäóåò âûÿñíèòü è ïðèâåñòè ïåðå÷åíü íåïðåìåííûõ ñâîéñòâ ãîòî-
âîé ÑÓ. (Íàïðèìåð, áåçîïàñíîñòü, íàäåæíîñòü, áåñòóïèêîâîñòü è äð.) Ñëåäóåò
âûÿñíèòü è ñôîðìóëèðîâàòü ïðèîðèòåòíîñòü îáåñïå÷åíèÿ õàðàêòåðèñòèê è
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 25
ñâîéñòâ ðàçðàáàòûâàåìîé ÑÓ. (Íàïðèìåð, â ïåðâóþ î÷åðåäü, îáåñïå÷èâàåòñÿ áå-
çîïàñíîñòü (óêàçûâàåòñÿ, ÷òî ïîíèìàåòñÿ ïîä áåçîïàñíîñòüþ), âî âòîðóþ î÷åðåäü
îáåñïå÷èâàåòñÿ óäîáñòâî ïîëüçîâàíèÿ (óêàçûâàåòñÿ, ÷òî ñ÷èòàòü óäîáñòâîì
ïîëüçîâàíèÿ) è ò.ä. äëÿ êàæäîãî æåëàåìîãî ñâîéñòâà.)
5. Ñöåíàðèè ïîëüçîâàòåëÿ. Ñëåäóåò ðàçðàáîòàòü è îïèñàòü îðèåíòèðîâàííûå
íà ïîëüçîâàòåëÿ ñöåíàðèè åãî âçàèìîäåéñòâèÿ ñ óïðàâëÿåìûì îáúåêòîì è ÑÓ.
6. Óòî÷íåíèÿ, êàñàþùèåñÿ îáúåêòà óïðàâëåíèÿ, âèäà ñèñòåìû óïðàâëåíèÿ,
îãðàíè÷åíèé, ñâîéñòâ è ïðèîðèòåòîâ, ñöåíàðèåâ ïîëüçîâàòåëÿ. Âíåñòè (åñëè òðå-
áóåòñÿ) óòî÷íåíèÿ â äàííûå, ñîáðàííûå ïðè âûïîëíåíèè ïï. 1–5. Îáîñíîâàòü è
çàôèêñèðîâàòü ïðèíÿòûå ðåøåíèÿ. Îáíîâèòü îïèñàíèÿ îáúåêòà óïðàâëåíèÿ, âèäà
ñèñòåìû óïðàâëåíèÿ, îãðàíè÷åíèé è ïðèîðèòåòîâ, ñöåíàðèåâ ïîëüçîâàòåëÿ
ñîãëàñíî âíåñåííûì èçìåíåíèÿì.
Çàìå÷àíèå 1. Òðåáîâàíèå îáîñíîâàíèÿ ïðèíèìàåìûõ ðåøåíèé ïîääåðæèâà-
åò «âåðèôèêàöèîííûé» ñòèëü ïðîåêòèðîâàíèÿ.
7. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû. Ñëåäóåò ïðîâåðèòü, çà-
âåðøåíî ëè âûïîëíåíèå ïï. 1–6, çàôèêñèðîâàòü òðåáóþùèåñÿ è åùå íå ñäåëàí-
íûå óòî÷íåíèÿ, îòëîæåííûå ðàáîòû (åñëè òàêèå èìåþòñÿ).
Äëÿ äàííîãî ýòàïà ìåòîäèêè è ïîñëåäóþùèõ îòìåòèì, ÷òî åñëè óòî÷íåíèé è
îòëîæåííûõ ðàáîò íà êàêîì-ëèáî ýòàïå ïðèìåíåíèÿ ìåòîäèêè íåò, òî êîíñòàòè-
ðóåòñÿ èõ îòñóòñòâèå, èíà÷å ñëåäóåò ïåðå÷èñëèòü òðåáóåìûå óòî÷íåíèÿ è/èëè
îòëîæåííûå ðàáîòû.
Ýòàï 2. Îáúåêò óïðàâëåíèÿ è ñðåäà åãî ôóíêöèîíèðîâàíèÿ.
1. Ñòðóêòóðíàÿ ìîäåëü îáúåêòà óïðàâëåíèÿ. Ïðîàíàëèçèðîâàòü ñòðóêòóðó
îáúåêòà óïðàâëåíèÿ. Âûäåëèòü åãî ñîñòàâëÿþùèå è äëÿ êàæäîé èç íèõ ïðèâåñòè
îïðåäåëåíèå (òîëêîâàíèå). Êàêîé ïðèíöèï ïîëîæåí â îñíîâó âûäåëåíèÿ ñîñòàâ-
ëÿþùèõ? Èìåþòñÿ ëè òàêèå ñîñòàâëÿþùèå îáúåêòà óïðàâëåíèÿ, äëÿ êîòîðûõ òðå-
áóåòñÿ ðàçðàáîòàòü ïîäñèñòåìû óïðàâëåíèÿ êàê ÷àñòè âñåé ïðîåêòèðóåìîé ÑÓ?
2. Ïîëíîòà íàáîðà ñîñòàâëÿþùèõ îáúåêòà óïðàâëåíèÿ. Äàòü îáîñíîâàíèå.
3. Ñðåäà ôóíêöèîíèðîâàíèÿ îáúåêòà óïðàâëåíèÿ. Ïðîàíàëèçèðîâàòü ñòðóêòó-
ðó ñðåäû îáúåêòà óïðàâëåíèÿ. Âûäåëèòü åå ñîñòàâëÿþùèå. Êàêîé ïðèíöèï ïîëî-
æåí â îñíîâó âûäåëåíèÿ ñîñòàâëÿþùèõ? ×òî ïðåäñòàâëÿåò ñîáîé êàæäàÿ èç íèõ?
4. Ïîëíîòà íàáîðà ñîñòàâëÿþùèõ ñðåäû ôóíêöèîíèðîâàíèÿ îáúåêòà óïðàâ-
ëåíèÿ. Äàòü îáîñíîâàíèå.
5. Óòî÷íåíèÿ, êàñàþùèåñÿ ñîñòàâëÿþùèõ îáúåêòà óïðàâëåíèÿ è ñðåäû ôóíê-
öèîíèðîâàíèÿ îáúåêòà óïðàâëåíèÿ. Âíåñòè, åñëè íåîáõîäèìî, ñîîòâåòñòâóþùèå
óòî÷íåíèÿ. Îáîñíîâàòü è çàôèêñèðîâàòü ïðèíÿòûå ðåøåíèÿ. Îáíîâèòü îïèñàíèÿ
ñîñòàâëÿþùèõ îáúåêòà óïðàâëåíèÿ è ñðåäû åãî ôóíêöèîíèðîâàíèÿ.
6. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 3. Ñóáúåêòû óïðàâëåíèÿ è ðåæèìû óïðàâëåíèÿ.
1. Ñóáúåêòû óïðàâëåíèÿ. Ïðîàíàëèçèðîâàòü ñîñòàâ ñîâîêóïíîñòè ñóáúåêòîâ
óïðàâëåíèÿ è âûÿñíèòü, êàêîâû èõ âèäû. Ñêîëüêî âèäîâ ñóáúåêòîâ óïðàâëåíèÿ?
Ñëåäóåò ïðîâåñòè êëàññèôèêàöèþ ñóáúåêòîâ óïðàâëåíèÿ è äàòü íàçâàíèÿ âûäå-
ëåííûì âèäàì (íàïðèìåð, ñóáúåêò óïðàâëåíèÿ 1,…, ñóáúåêò óïðàâëåíèÿ n (n — êî-
ëè÷åñòâî âûäåëåííûõ âèäîâ ñóáúåêòîâ óïðàâëåíèÿ)).
2. Ïîíÿòèå ñóáúåêòà (ñóáúåêòîâ) óïðàâëåíèÿ. Ñëåäóåò ñôîðìóëèðîâàòü, ÷òî
ïðåäñòàâëÿåò ñîáîé ñóáúåêò óïðàâëåíèÿ 1,…, ñóáúåêò óïðàâëåíèÿ n.
3. Ðåæèìû óïðàâëåíèÿ. Ñòàíäàðòíûìè ðåæèìàìè óïðàâëåíèÿ áóäåì íàçû-
âàòü óïðàâëåíèå îáúåêòîì: â íîðìàëüíûõ óñëîâèÿõ, â íåíîðìàëüíûõ, íî íå îïàñ-
íûõ óñëîâèÿõ, â îïàñíûõ óñëîâèÿõ. È íåíîðìàëüíûå, è îïàñíûå óñëîâèÿ áóäåì
ñ÷èòàòü àâàðèéíîé ñèòóàöèåé. Ñëåäóåò âûÿñíèòü è ñôîðìóëèðîâàòü, ÷òî òàêîå
äëÿ îáúåêòà óïðàâëåíèÿ è ÑÓ íîðìàëüíûå (íåíîðìàëüíûå, íî íå îïàñíûå, îïàñ-
26 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
íûå) óñëîâèÿ ôóíêöèîíèðîâàíèÿ. Êàêèå ðåæèìû óïðàâëåíèÿ áóäóò äîñòóïíû
êàæäîìó èç âèäîâ ñóáúåêòîâ óïðàâëåíèÿ? Ñëåäóåò âûÿñíèòü, ñóáúåêòû êàêèõ âè-
äîâ ñìîãóò óïðàâëÿòü îáúåêòîì óïðàâëåíèÿ â íîðìàëüíûõ (íåíîðìàëüíûõ, íî íå
îïàñíûõ, îïàñíûõ) óñëîâèÿõ.
4. Âñòðîåííûå (àâòîìàòè÷åñêèå) ñèñòåìû çàùèòû. Âûÿñíèòü, èìåþòñÿ ëè êà-
êèå-ëèáî âñòðîåííûå (àâòîìàòè÷åñêèå) ñèñòåìû (ñðåäñòâà) çàùèòû îáúåêòà
óïðàâëåíèÿ, è åñëè òàêîâûå ñóùåñòâóþò, òî íàçâàòü èõ è îïèñàòü. Îïðåäåëèòü,
òðåáóåòñÿ ëè ðàçðàáàòûâàòü êàêèå-ëèáî ñèñòåìû çàùèòû.
5. Ïîëíîòà íàáîðà ôóíêöèé ñèñòåìû óïðàâëåíèÿ. Äàòü îáîñíîâàíèå ïîëíîòû
íàáîðà ñóáúåêòîâ óïðàâëåíèÿ è íàáîðîâ ðåæèìîâ óïðàâëåíèÿ.
6. Óòî÷íåíèÿ, êàñàþùèåñÿ ñóáúåêòîâ è ðåæèìîâ óïðàâëåíèÿ. Âíåñòè (åñëè
òðåáóåòñÿ) ñîîòâåòñòâóþùèå óòî÷íåíèÿ. Îáîñíîâàòü è çàôèêñèðîâàòü ïðèíÿòûå
ðåøåíèÿ. Îáíîâèòü îïèñàíèÿ íàáîðîâ ñóáúåêòîâ è ðåæèìîâ óïðàâëåíèÿ ñîãëàñíî
óòî÷íåíèÿì.
7. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 4. Ñðåäñòâà óïðàâëåíèÿ îáúåêòîì óïðàâëåíèÿ è íàáëþäåíèÿ çà íèì.
1. Ñîñòàâ ñðåäñòâ óïðàâëåíèÿ è íàáëþäåíèÿ. Îïðåäåëèòü ñîñòàâ ñðåäñòâ
óïðàâëåíèÿ. ×òî ïðåäñòàâëÿåò ñîáîé êàæäîå èç íèõ? Ýòî êàêèå-ëèáî ñòàíäàðòíûå
ñðåäñòâà (êíîïêè, òóìáëåðû, ïåðåêëþ÷àòåëè è ò.ä.) èëè òðåáóåòñÿ èñêàòü ëèáî
ðàçðàáàòûâàòü íîâûå?
Îïðåäåëèòü ñîñòàâ ñðåäñòâ íàáëþäåíèÿ çà îáúåêòîì óïðàâëåíèÿ. ×òî ïðåä-
ñòàâëÿåò ñîáîé êàæäîå èç íèõ? Ýòî êàêèå-ëèáî äîñòóïíûå ñòàíäàðòíûå ñðåäñòâà
(äàò÷èêè, èçìåðèòåëüíûå ïðèáîðû, èìåþùèåñÿ â íàëè÷èè èëè â ïðîäàæå) èëè
òðåáóåòñÿ ðàçðàáàòûâàòü íîâûå?
Ñëåäóåò âûáðàòü è çàôèêñèðîâàòü, êàêèå ñðåäñòâà óïðàâëåíèÿ è íàáëþäåíèÿ
áóäóò èñïîëüçîâàòüñÿ â ðàçðàáàòûâàåìîé ÑÓ, à òàêæå îáîñíîâàòü èõ âûáîð.
2. Ïîëíîòà íàáîðà ñðåäñòâ óïðàâëåíèÿ è íàáëþäåíèÿ. Äàòü îáîñíîâàíèå.
3. Óïðàâëÿþùèå âîçäåéñòâèÿ è èõ ðåçóëüòàòû. Îïèñàòü, êàêèå ðåçóëüòàòû
äîëæíî îáåñïå÷èòü èñïîëüçîâàíèå êàæäîãî èç ñðåäñòâ óïðàâëåíèÿ.
4. Ñîñòîÿíèÿ ñðåäñòâ óïðàâëåíèÿ. Äëÿ êàæäîãî âèäà ñðåäñòâ óïðàâëåíèÿ
îïðåäåëèòü ìíîæåñòâî ñîñòîÿíèé.
5. Ïîëíîòà ìíîæåñòâ ñîñòîÿíèé. Îáîñíîâàòü ïîëíîòó ïîñòðîåííîãî ìíîæåñ-
òâà ñîñòîÿíèé êàæäîãî âèäà ñðåäñòâ óïðàâëåíèÿ.
6. Óòî÷íåíèÿ, êàñàþùèåñÿ ñðåäñòâ óïðàâëåíèÿ è íàáëþäåíèÿ. Âíåñòè ñîîò-
âåòñòâóþùèå óòî÷íåíèÿ. Îáîñíîâàòü è çàôèêñèðîâàòü ïðèíÿòûå ðåøåíèÿ. Îáíî-
âèòü îïèñàíèÿ ñðåäñòâ óïðàâëåíèÿ.
7. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 5. Ñîñòîÿíèÿ è ïðîöåññû, ñâÿçàííûå ñ îáúåêòîì óïðàâëåíèÿ è åãî ñðåäîé.
1. Ñîñòîÿíèÿ ñîñòàâëÿþùèõ îáúåêòà óïðàâëåíèÿ. Îïðåäåëèòü ìíîæåñòâî ñî-
ñòîÿíèé äëÿ êàæäîé âûäåëåííîé ñîñòàâëÿþùåé îáúåêòà óïðàâëåíèÿ. Â êàêèõ ñè-
òóàöèÿõ íàáëþäàåòñÿ êàæäîå ñîñòîÿíèå? Îáîñíîâàòü ïîëíîòó íàáîðà ñèòóàöèé.
Êàêèå òðåáóþòñÿ èíôîðìàöèîííûå ñðåäñòâà íàáëþäåíèÿ çà ñîñòîÿíèÿìè îáúåêòà
óïðàâëåíèÿ? ×òî ïðåäñòàâëÿåò ñîáîé êàæäîå èç íèõ? Ýòî ñòàíäàðòíûå ñðåäñòâà
(òàáëî, èíäèêàòîðû è ïð.) èëè òðåáóåòñÿ ðàçðàáàòûâàòü íîâûå?
2. Ïîëíîòà ìíîæåñòâ ñîñòîÿíèé. Îáîñíîâàòü ïîëíîòó ìíîæåñòâà ñîñòîÿíèé
êàæäîé ñîñòàâëÿþùåé îáúåêòà óïðàâëåíèÿ.
3. Ïðîöåññû, â êîòîðûõ çàäåéñòâîâàíû ñîñòàâëÿþùèå îáúåêòà óïðàâëåíèÿ.
Ñëåäóåò âûÿâèòü è îïèñàòü ýòè ïðîöåññû. Îáîñíîâàòü ïîëíîòó íàáîðà ïðîöåññîâ
äëÿ êàæäîé ñîñòàâëÿþùåé îáúåêòà óïðàâëåíèÿ. Òðåáóþòñÿ ëè ñðåäñòâà ñèíõðî-
íèçàöèè ïðîöåññîâ? Êàêîâû ñèòóàöèè ïðîòåêàíèÿ ïðîöåññîâ? Îáîñíîâàòü
ïîëíîòó ìíîæåñòâ ñèòóàöèé.
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 27
4. Îïèñàíèå ôàç ïðîòåêàíèÿ ïðîöåññîâ. Âûäåëèòü ôàçû ïðîòåêàíèÿ êàæäîãî
ïðîöåññà è îïèñàòü ñâÿçè ïðîöåññîâ (èõ ôàç) è óïðàâëÿþùèõ âîçäåéñòâèé.
5. Ñöåíàðèè âçàèìîäåéñòâèÿ ïðîöåññîâ. Îïèñàòü ñîîòâåòñòâóþùèå ñöåíàðèè.
6. Óòî÷íåíèÿ, êàñàþùèåñÿ ìíîæåñòâ ñîñòîÿíèé è íàáîðîâ ïðîöåññîâ, ñâÿçà-
ííûõ ñ ñîñòàâëÿþùèìè îáúåêòà óïðàâëåíèÿ. Âíåñòè (åñëè òðåáóåòñÿ) ñîîòâåòñòâóþ-
ùèå óòî÷íåíèÿ. Îáîñíîâàòü è çàôèêñèðîâàòü ïðèíÿòûå ðåøåíèÿ. Îáíîâèòü îïè-
ñàíèÿ ìíîæåñòâ ñîñòîÿíèé è íàáîðîâ ïðîöåññîâ, ñâÿçàííûõ ñ ñîñòàâëÿþùèìè
îáúåêòà óïðàâëåíèÿ.
7. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 6. Ñòðóêòóðíàÿ ìîäåëü ÑÓ.
1. Ñîñòàâëÿþùèå ÑÓ. Âûäåëèòü ñîñòàâëÿþùèå ÑÓ. Ñîñòàâëÿþùàÿ (ïîäñèñ-
òåìà) ÑÓ îïðåäåëÿåòñÿ òðîéêîé �ñóáúåêò óïðàâëåíèÿ, ðåæèì óïðàâëåíèÿ, ñîñòàâ-
ëÿþùàÿ îáúåêòà óïðàâëåíèÿ�.
2. Ñïîñîáû è âèäû ñâÿçè ìåæäó ñîñòàâëÿþùèìè ÑÓ. Âûÿñíèòü, êàêèå ïîä-
ñèñòåìû ÑÓ âçàèìîçàâèñèìû. Äëÿ êàêèõ ñîâîêóïíîñòåé ïîäñèñòåì óïðàâëåíèÿ
òðåáóþòñÿ ñðåäñòâà, êîòîðûå îáåñïå÷èâàþò èõ ñîãëàñîâàííóþ ðàáîòó? Îïðåäå-
ëèòü êàíàëû âõîäîâ è âûõîäîâ ïîäñèñòåì ÑÓ. Êàê «îáùàþòñÿ» ìåæäó ñîáîé
êîìïîíåíòû ÑÓ (ñ ïîìîùüþ ñîîáùåíèé, «êëàññíîé äîñêè» èëè èíûì ñïîñî-
áîì)? (Ýòî íåîáõîäèìî äëÿ óñòàíîâëåíèÿ èíôîðìàöèîííûõ ñâÿçåé ìåæäó
êîìïîíåíòàìè ÑÓ.)
3. Óòî÷íåíèÿ, êàñàþùèåñÿ ñîñòàâëÿþùèõ ÑÓ è âèäîâ ñâÿçè ìåæäó íèìè.
Âíåñòè (åñëè òðåáóåòñÿ) ñîîòâåòñòâóþùèå óòî÷íåíèÿ. Îáîñíîâàòü è çàôèêñèðî-
âàòü ïðèíÿòûå ðåøåíèÿ. Îáíîâèòü îïèñàíèÿ íàáîðîâ ñîñòàâëÿþùèõ ÑÓ è âèäîâ
ñâÿçè ìåæäó íèìè.
4. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 7. Èíôîðìàöèîííàÿ ìîäåëü ÑÓ.
1. Îïðåäåëåíèå àòðèáóòîâ ÑÓ. Îïðåäåëèòü ìíîæåñòâî ãëîáàëüíûõ àòðèáó-
òîâ è ìíîæåñòâî àòðèáóòîâ äëÿ êàæäîé ïîäñèñòåìû óïðàâëåíèÿ (ìíîæåñòâà ëî-
êàëüíûõ àòðèáóòîâ). Îáúÿñíèòü ñìûñë êàæäîãî àòðèáóòà, èñïîëüçîâàâ êðàòêèå
òî÷íûå íåäâóñìûñëåííûå ôðàçû. Ñîâîêóïíîñòü ýòèõ ôðàç îáðàçóåò ðàáî÷óþ
ëåêñèêó.
2. Îáîñíîâàíèå âûáîðà ìíîæåñòâ ãëîáàëüíûõ è ëîêàëüíûõ àòðèáóòîâ.
Îáúÿñíèòü ïðè÷èíû âûáîðà àòðèáóòîâ.
3. Óòî÷íåíèÿ, êàñàþùèåñÿ ìíîæåñòâà ãëîáàëüíûõ àòðèáóòîâ è ìíîæåñòâ ëî-
êàëüíûõ àòðèáóòîâ. Âíåñòè (åñëè òðåáóåòñÿ) ñîîòâåòñòâóþùèå óòî÷íåíèÿ. Îáîñ-
íîâàòü è çàôèêñèðîâàòü ïðèíÿòûå ðåøåíèÿ. Îáíîâèòü îïèñàíèÿ àòðèáóòîâ.
4. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 8. Ìîäåëü ïîâåäåíèÿ.
1. Âèäû ïåðåõîäîâ èç ñîñòîÿíèÿ â ñîñòîÿíèå. Îïèñàòü ñîîòâåòñòâóþùèå
ôóíêöèè ïåðåõîäîâ, ïðè ýòîì èñïîëüçîâàòü ðàáî÷óþ ëåêñèêó.
2. Ïîëíîòà ìíîæåñòâà âèäîâ ïåðåõîäîâ. Äàòü îáîñíîâàíèå.
3. Ñòðàòåãèè óïðàâëåíèÿ. Âûáðàòü è îïèñàòü ñòðàòåãèè óïðàâëåíèÿ äëÿ ÑÓ è
åå ïîäñèñòåì, à òàêæå îáîñíîâàòü ñîîòâåòñòâèå òðåáîâàíèÿì çàêàç÷èêà, ïîëíîòó
è êîððåêòíîñòü êàæäîé ñòðàòåãèè. Âûÿñíèòü, äåòåðìèíèðîâàíî ëè ïîâåäåíèå ÑÓ.
4. Óòî÷íåíèÿ, êàñàþùèåñÿ ïðîöåññîâ, ñèòóàöèé, âèäîâ ïåðåõîäîâ, ñòðàòåãèé
óïðàâëåíèÿ. Âíåñòè (åñëè òðåáóåòñÿ) ñîîòâåòñòâóþùèå óòî÷íåíèÿ. Îáîñíîâàòü è
çàôèêñèðîâàòü ïðèíÿòûå ðåøåíèÿ è îáíîâèòü îïèñàíèÿ.
5. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 9. Èíòåðôåéñ ïîäñèñòåì óïðàâëåíèÿ, à òàêæå ÑÓ è ñóáúåêòîâ óïðàâëåíèÿ.
1. Ñîãëàñîâàíèå ðàáîòû âñåõ ïîäñèñòåì ÑÓ. Ïðîâåðèòü, îáåñïå÷åíû ëè âñå
ñðåäñòâà, êîòîðûå òðåáóþòñÿ äëÿ ñîãëàñîâàííîé ðàáîòû ïîäñèñòåì ÑÓ.
28 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
2. Îáîñíîâàíèå ñîãëàñîâàííîñòè ôóíêöèîíèðîâàíèÿ âñåõ ïîäñèñòåì ÑÓ.
Îáîñíîâàòü, ÷òî âñå ïîäñèñòåìû ÑÓ ðàáîòàþò ñîãëàñîâàííî.
3. Èíòåðôåéñ ÑÓ è ñóáúåêòîâ óïðàâëåíèÿ. Ïðîâåðèòü, îáåñïå÷åíû ëè â äîñòà-
òî÷íîé ìåðå èíôîðìàöèîííûå ñðåäñòâà äëÿ ïîëó÷åíèÿ ñâåäåíèé îá îáúåêòå óïðàâ-
ëåíèÿ, íåîáõîäèìûå ñóáúåêòàì óïðàâëåíèÿ. Ðàçðàáîòêà èíòåðôåéñà ÷àñòè÷íî îñó-
ùåñòâëÿåòñÿ â õîäå ðàçðàáîòêè ìîäåëåé ïîäñèñòåì óïðàâëåíèÿ, òàê êàê òðåáóåòñÿ
ðàññìàòðèâàòü âõîäíûå è âûõîäíûå ñèãíàëû äëÿ êàæäîé èç ïîäñèñòåì óïðàâëåíèÿ.
4. Óòî÷íåíèÿ, êàñàþùèåñÿ èíòåðôåéñà ïîäñèñòåì óïðàâëåíèÿ. Âíåñòè (åñëè
òðåáóåòñÿ) ñîîòâåòñòâóþùèå óòî÷íåíèÿ. Îáîñíîâàòü è çàôèêñèðîâàòü ïðèíÿòûå
ðåøåíèÿ è îáíîâèòü îïèñàíèÿ.
5. Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû.
Ýòàï 10. Çàâåðøåíèå ñòàäèè ïðîåêòèðîâàíèÿ, ïðåäøåñòâóþùåé ôîðìàëèçàöèè.
1. Ñáîð è óïîðÿäî÷åíèå óòî÷íåííûõ, îáîñíîâàííûõ äàííûõ, ïîëó÷åííûõ
â õîäå ïðîåêòèðîâàíèÿ ÑÓ. Ñîáðàòü è óïîðÿäî÷èòü èòîãîâûå äàííûå, âûäåëèâ
ïîñòàíîâêó çàäà÷è, ïðèíÿòûå â õîäå ïðîåêòèðîâàíèÿ ðåøåíèÿ (ñ èõ îáîñíîâàíè-
åì), êîòîðûå ïîâëèÿëè íà îêîí÷àòåëüíûé ðåçóëüòàò. Ñîñòàâèòü îïèñàíèå
ñïðîåêòèðîâàííîé ñèñòåìû.
2. Ïîäãîòîâêà òåêñòà äîêóìåíòàöèè. Ïðåäîñòàâèòü èòîãîâûå ìàòåðèàëû ïî
ñïðîåêòèðîâàííîé ÑÓ â óñòàíîâëåííîé ôîðìå.
Ïðåäñòàâèì êðàòêóþ èëëþñòðàöèþ âûïîëíåíèÿ ýòàïîâ ïðîåêòèðîâàíèÿ ïî
îïèñàííîé ìåòîäèêå. Ïðîñëåäèì íà ïðîñòîì ïðèìåðå, êàê ñâÿçàíû çàäàíèÿ ýòà-
ïîâ ñ ñóùíîñòÿìè è ïîíÿòèÿìè èç ïåðå÷íÿ ðàçä. 1, ïîäðàçä. 1.5.
Ýòàï 1. Óÿñíåíèå çàäà÷è ðàçðàáîòêè.
Ðàçðàáîòàòü ÑÓ ëèôòîì äëÿ ïÿòèýòàæíîãî æèëîãî çäàíèÿ ñ îäíèì ëèôòîì.
Ôóíêöèÿ ÑÓ: îáåñïå÷èòü óïðàâëåíèå ëèôòîì â ñîîòâåòñòâèè ñ åãî íàçíà÷åíèåì.
Îáúåêò óïðàâëåíèÿ (èñõîäèì èç ðàñïðîñòðàíåííîãî ïðåäñòàâëåíèÿ î ëèôòå
â æèëîì çäàíèè): óñòðîéñòâî ñ êàáèíîé äëÿ ïàññàæèðîâ (ãðóçîâ), êîòîðàÿ èìååò
äâåðü è ñ ïîìîùüþ äâèæóùåãî ìåõàíèçìà ïåðåìåùàåòñÿ ìåæäó ýòàæàìè.
Ôóíêöèÿ ëèôòà: äîñòàâêà ïàññàæèðîâ (ãðóçîâ) ñ ýòàæà íà ýòàæ äàííîãî çäàíèÿ.
Âèä ÑÓ: äëÿ îáúåêòîâ îäíîé ñåðèè, ò.å. äëÿ ïÿòèýòàæíîãî çäàíèÿ ñ îäíèì ëèô-
òîì. Ïîëüçîâàòåëè: ëþäè.
Ïðèîðèòåòíûì ïðè ðàçðàáîòêå ÑÓ ñ÷èòàòü áåçîïàñíîñòü ïîëüçîâàòåëåé
ëèôòà è çäàíèÿ, â êîòîðîì îí íàõîäèòñÿ.
Ñöåíàðèè âçàèìîäåéñòâèÿ ïîëüçîâàòåëåé ñ ëèôòîì (ñîãëàñîâûâàþòñÿ ñ çà-
êàç÷èêîì è îðèåíòèðîâàíû íà ïîëüçîâàòåëÿ) ïðèâîäÿòñÿ äàëåå.
Ïîëüçîâàòåëü ìîæåò âûçâàòü ëèôò ñ ëèôòîâîé ïëîùàäêè êàæäîãî èç ýòàæåé
çäàíèÿ. Äëÿ ýòîãî íà êàæäîé ïëîùàäêå èìåþòñÿ äâå êíîïêè: ÂÂÅÐÕ è ÂÍÈÇ. Íà
ñàìîì íèæíåì ýòàæå êíîïêà ÂÍÈÇ çàáëîêèðîâàíà, êàê è êíîïêà ÂÂÅÐÕ íà ñà-
ìîì âåðõíåì ýòàæå. Äëÿ óäîáñòâà ïîëüçîâàòåëåé íà êàæäîé ëèôòîâîé ïëîùàäêå
èìååòñÿ ñâåòîâîé èíäèêàòîð òåêóùåãî ïîëîæåíèÿ êàáèíû, ïîêàçûâàþùèé íà-
ïðàâëåíèå åå äâèæåíèÿ èëè íîìåð ýòàæà, íà êîòîðîì îíà ñòîèò.
Ëþáîé ïîëüçîâàòåëü, íàõîäÿñü â êàáèíå, ìîæåò ñäåëàòü çàÿâêó íà îáñëóæè-
âàíèå (äîñòàâêó åãî íà íóæíûé ýòàæ). Äëÿ ýòîãî â êàáèíå åñòü ïàíåëü ñ ïðîíóìå-
ðîâàííûìè êíîïêàìè äëÿ êàæäîãî èç ýòàæåé çäàíèÿ. Èìååòñÿ òàêæå ñâåòîâîé
èíäèêàòîð ïîëîæåíèÿ êàáèíû.
Êîãäà êàáèíà îñòàíàâëèâàåòñÿ íà ýòàæå ëèáî ïî âûçîâó ïîëüçîâàòåëÿ, ëèáî
äëÿ òîãî, ÷òîáû ïîëüçîâàòåëü âûøåë èç êàáèíû, åå äâåðè àâòîìàòè÷åñêè îòêðû-
âàþòñÿ íà ôèêñèðîâàííîå âðåìÿ è àâòîìàòè÷åñêè çàêðûâàþòñÿ. Åñëè â õîäå çà-
êðûâàíèÿ âñòðå÷àåòñÿ ïîìåõà, äâåðè ñíîâà îòêðûâàþòñÿ. Òàêæå ïîëüçîâàòåëü,
íàõîäÿùèéñÿ â êàáèíå, ìîæåò óñêîðèòü çàêðûâàíèå äâåðè, äëÿ ÷åãî íà ïàíåëè
â êàáèíå åñòü êíîïêà «Çàêðûòü äâåðè».
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 29
Åñëè èìåþòñÿ âûçîâû ëèôòà, êîãäà êàáèíà ñ îäíèì èëè íåñêîëüêèìè ïîëüçîâà-
òåëÿìè íàõîäèòñÿ íà íåêîòîðîì ýòàæå, îíà íå ïåðåãðóæåíà è åå äâåðü çàêðûòà, òî
ëèôò íà÷èíàåò äâèæåíèå ïî âûçîâó. Åñëè êàáèíà ïåðåãðóæåíà, òî ëèôò ñ ïî-
ìîùüþ èíäèêàòîðà ïåðåãðóçêè, èìåþùåãîñÿ â êàáèíå, ñèãíàëèò îá ýòîì è îæè-
äàåò, ïîêà âåñîâàÿ íàãðóçêà íå óìåíüøèòñÿ.
Ïîëüçîâàòåëü ìîæåò ðàññ÷èòûâàòü, ÷òî åãî âûçîâ, ïîñòóïèâøèé âî âðåìÿ îá-
ñëóæèâàíèÿ äðóãîãî, áîëåå ðàííåãî âûçîâà, çàïîìèíàåòñÿ è ñòàâèòñÿ â î÷åðåäü
íà îáñëóæèâàíèå.
Äëÿ óäîáñòâà ïîëüçîâàòåëÿ â êàáèíå åñòü êíîïêà «Âûçîâ äèñïåò÷åðà».
Ðàññìîòðåâ ñöåíàðèè âçàèìîäåéñòâèÿ ïîëüçîâàòåëåé ñ ëèôòîì, îòìåòèì, ÷òî
öåëåñîîáðàçíî äèíàìè÷åñêè ïåðåóïîðÿäî÷èâàòü î÷åðåäü âûçîâîâ òàê, ÷òîáû
óìåíüøèòü ðàñõîäû íà äâèæåíèå êàáèíû. Çàôèêñèðóåì ýòî êàê îòëîæåííîå
çàäàíèå.
Ýòàï 2. Îáúåêò óïðàâëåíèÿ è ñðåäà åãî ôóíêöèîíèðîâàíèÿ.
Ñîñòàâëÿþùèå ëèôòà: êàáèíà ñ äâåðüþ, òðîñû (èëè äðóãèå ñðåäñòâà), ñ ïî-
ìîùüþ êîòîðûõ ïåðåìåùàåòñÿ êàáèíà, ìîòîð, ïðèâîäÿùèé â äâèæåíèå ñðåäñòâà
ïåðåìåùåíèÿ êàáèíû, áëîê ïèòàíèÿ ìîòîðà, îáîðóäîâàíèå, îáåñïå÷èâàþùåå
ñâÿçü ìîòîðà è ñðåäñòâ ïåðåìåùåíèÿ êàáèíû, à òàêæå êàáèíû è ñðåäñòâ åå ïåðå-
ìåùåíèèÿ.
Ïîëíîòà íàáîðà ñîñòàâëÿþùèõ. Âñå ïðèâåäåííûå ñîñòàâëÿþùèå íåîáõî-
äèìû äëÿ ðàáîòû ëèôòà. Î ñîñòàâëÿþùèõ, íå âîøåäøèõ â ïðåäñòàâëåííûé íà-
áîð, ñëåäóåò óçíàòü ó ýêñïåðòà ïî ëèôòàì äàííîãî âèäà.
Ðàññìîòðèì ìîäåëü ñðåäû ôóíêöèîíèðîâàíèÿ îáúåêòà.
Ñîñòàâëÿþùèå ñðåäû: øàõòà ëèôòà â ïÿòèýòàæíîì çäàíèè; ëèôòîâûå ïëî-
ùàäêè (íà êàæäîì ýòàæå îäíà).
Îñíîâîé äëÿ âûäåëåíèÿ ñîñòàâëÿþùèõ ñðåäû ÿâëÿåòñÿ ïðåäíàçíà÷åíèå ëèô-
òà: ïåðåìåùåíèå ãðóçîâ, ïàññàæèðîâ ñ ýòàæà íà ýòàæ. Äëÿ äâèæåíèÿ ëèôòà íåîá-
õîäèìî îáîðóäîâàííîå ñîîòâåòñòâóþùèì îáðàçîì ïðîñòðàíñòâî (øàõòà). Íà
êàæäîì ýòàæå çäàíèÿ äîëæíà áûòü ïëîùàäêà äëÿ âõîäà â êàáèíó è âûõîäà èç íåå.
Íà ëèôòîâîé ïëîùàäêå íà óðîâíå ìåæýòàæíîãî ïåðåêðûòèÿ èìååòñÿ ïðîåì,
ïåðåêðûòûé äâåðüþ. Ïðè íåîáõîäèìîñòè ñëåäóåò îïèñàòü ñòðóêòóðó øàõòû
ëèôòà.
Ýòàï 3. Ñóáúåêòû óïðàâëåíèÿ è ðåæèìû óïðàâëåíèÿ.
Ñóáúåêòû óïðàâëåíèÿ: ïàññàæèðû, îáñëóæèâàþùèé ïåðñîíàë.
Ïàññàæèðîì (ïîëüçîâàòåëåì ëèôòà) áóäåì íàçûâàòü òîãî, êòî íàõîäèòñÿ
â êàáèíå ëèôòà èëè îæèäàåò åãî íà ëèôòîâîé ïëîùàäêå â öåëÿõ ïåðåìåùåíèÿ
ñ ýòàæà íà ýòàæ. Ïðåäñòàâèòåëåì îáñëóæèâàþùåãî ïåðñîíàëà (ñïåöèàëèñòîì) íà-
çîâåì ÷ëåíà ïîäðàçäåëåíèÿ îáñëóæèâàíèÿ ëèôòîâ.
Ïîñêîëüêó åñòü äâà âèäà ñóáúåêòîâ óïðàâëåíèÿ è äâà ñòàíäàðòíûõ ðåæèìà
óïðàâëåíèÿ, çàêëþ÷àåì, ÷òî ÑÓ ëèôòîì äîëæíà îáåñïå÷èâàòü óïðàâëåíèå äâè-
æåíèåì ëèôòà ñïåöèàëèñòîì (ïàññàæèðîì) â íîðìàëüíûõ óñëîâèÿõ è â àâàðèé-
íûõ ñèòóàöèÿõ.
Íîðìàëüíûå óñëîâèÿ ôóíêöèîíèðîâàíèÿ ëèôòà:
— ñðåäà ôóíêöèîíèðîâàíèÿ ëèôòà â íîðìàëüíîì ñîñòîÿíèè;
— ñèñòåìà ïèòàíèÿ è ìîòîð ëèôòà ðàáîòàþò íîðìàëüíî;
— ñðåäñòâà äëÿ ïåðåìåùåíèÿ êàáèíû è ñèñòåìà êðåïëåíèÿ èñïðàâíû;
— êàáèíà èñïðàâíà;
— ëèôò âêëþ÷åí;
— äâåðè êàáèíû è íà ëèôòîâûõ ïëîùàäêàõ èñïðàâíû;
— êàáèíà íå ïåðåãðóæåíà;
30 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
— äâèæåíèå êàáèíû ââåðõ/âíèç îñóùåñòâëÿåòñÿ ñî ñêîðîñòüþ, êîòîðàÿ íà-
õîäèòñÿ â çàäàííûõ ïðåäåëàõ;
— äâèæåíèå êàáèíû ïðîèñõîäèò ñ çàêðûòîé äâåðüþ;
— íà âñåõ ëèôòîâûõ ïëîùàäêàõ âî âðåìÿ äâèæåíèÿ ëèôòà äâåðè çàêðûòû;
— äâåðü íà ëèôòîâîé ïëîùàäêå íåêîòîðîãî ýòàæà îòêðûâàåòñÿ, òîëüêî åñëè
êàáèíà ëèôòà ñòîèò íà óðîâíå ýòîãî ýòàæà;
— ïîêà êàáèíà ëèôòà ñòîèò íà óðîâíå íåêîòîðîãî ýòàæà, äâåðè íà ëèôòîâûõ
ïëîùàäêàõ îñòàëüíûõ ýòàæåé çàêðûòû;
— åñëè êàáèíà ëèôòà ñòîèò íà óðîâíå íåêîòîðîãî ýòàæà è åå äâåðü îòêðûòà,
òî ÷åðåç îïðåäåëåííîå âðåìÿ îíà çàêðûâàåòñÿ.
Íåâûïîëíåíèå õîòÿ áû îäíîãî èç ïåðå÷èñëåííûõ óñëîâèé îçíà÷àåò, ÷òî
ëèôò íàõîäèòñÿ â àâàðèéíîé ñèòóàöèè.
Ïðè ñîñòàâëåíèè ïåðå÷íÿ íîðìàëüíûõ óñëîâèé ðàáîòû ëèôòà ïðèíÿòî âî
âíèìàíèå, ÷òî ïðèîðèòåòíûì òðåáîâàíèåì ÿâëÿåòñÿ áåçîïàñíîñòü ïîëüçîâàòåëåé,
à òàêæå ó÷èòûâàëàñü ðàíåå îïðåäåëåííàÿ ñòðóêòóðà ëèôòà è ñðåäû åãî ôóíêöèî-
íèðîâàíèÿ. Ïðè ýòîì ðàññìàòðèâàëèñü ñðåäà ôóíêöèîíèðîâàíèÿ ëèôòà, åãî
ñîñòàâëÿþùèå, ëèôò â äâèæåíèè è â ïîêîå.
Îòìåòèì, ÷òî äåòàëüíûå îïèñàíèÿ óñëîâèé íîðìàëüíîé ðàáîòû ñîñòàâëÿþ-
ùèõ ëèôòà è íîðìàëüíîãî ñîñòîÿíèÿ ñðåäû ëèáî ñ÷èòàþòñÿ óæå èçâåñòíûìè
(åñòü ñîîòâåòñòâóþùèå íîðìàòèâû), ëèáî áóäóò ðàçðàáàòûâàòüñÿ. Âàæíî, ÷òî
ïðåäëîæåííàÿ ìåòîäèêà «ïîáóæäàåò» çàíèìàòüñÿ ýòèìè âîïðîñàìè.
Ýòàï 4. Ñðåäñòâà óïðàâëåíèÿ îáúåêòîì óïðàâëåíèÿ è íàáëþäåíèÿ çà íèì.
Ñ ó÷åòîì îïðåäåëåííûõ ðàíåå âèäîâ ñóáúåêòîâ óïðàâëåíèÿ è ðåæèìîâ
óïðàâëåíèÿ (ñì. ýòàï 3) ñëåäóåò ðàññìîòðåòü è îïðåäåëèòü ñðåäñòâà óïðàâëåíèÿ
ëèôòîì ïàññàæèðîì (ñïåöèàëèñòîì) â íîðìàëüíûõ óñëîâèÿõ è â àâàðèéíûõ ñè-
òóàöèÿõ.
Ðàññìîòðèì ñðåäñòâà óïðàâëåíèÿ ëèôòîì ïàññàæèðîì â íîðìàëüíûõ óñëîâè-
ÿõ. Ñîñòàâ ýòèõ ñðåäñòâ, à òàêæå èõ óïðàâëÿþùèå âîçäåéñòâèÿ îïðåäåëèì íà
îñíîâàíèè ñöåíàðèåâ âçàèìîäåéñòâèÿ ïîëüçîâàòåëåé ñ ëèôòîì, ñôîðìèðîâàííûõ
íà ýòàïå 1.
Êíîïêà (ñ íîìåðîì ýòàæà â êàáèíå, âûçîâà ëèôòà íà ïëîùàäêå, «Çàêðûòü
äâåðè», «Âûçîâ äèñïåò÷åðà») ìîæåò áûòü: â íåðàáî÷åì ñîñòîÿíèè (çàáëîêèðîâà-
íà); â ðàáî÷åì ñîñòîÿíèè (íå çàáëîêèðîâàíà) è íàæàòà; â ðàáî÷åì ñîñòîÿíèè è íå
íàæàòà. Êíîïêà (èç ïåðå÷èñëåííûõ ðàíåå) ìîæåò íàõîäèòüñÿ â íåðàáî÷åì ñîñòîÿ-
íèè: â ðåçóëüòàòå âíåøíåãî âîçäåéñòâèÿ, íå çàâèñÿùåãî îò ëèôòà; â îïàñíîé ñè-
òóàöèè, êîãäà ëèôòîì ïîëüçîâàòüñÿ íåëüçÿ; ïîñòîÿííî (êíîïêè ÂÍÈÇ íà ïëîùàä-
êå íèæíåãî ýòàæà è ÂÂÅÐÕ íà ïëîùàäêå âåðõíåãî ýòàæà çàáëîêèðîâàíû).
Äëÿ ðåãóëèðîâàíèÿ ðàáîòû äâåðåé êàáèíû è íà ëèôòîâîé ïëîùàäêå èñïîëü-
çóåòñÿ òàéìåð.
Ýòàï 5. Ñîñòîÿíèÿ è ïðîöåññû, ñâÿçàííûå ñ îáúåêòîì óïðàâëåíèÿ è åãî ñðåäîé.
Ëèôò ëèáî èñïðàâåí, ëèáî íå èñïðàâåí. Èñïðàâíûé (íåèñïðàâíûé) ëèôò
ëèáî âêëþ÷åí, ëèáî âûêëþ÷åí.  êàæäîì èç ýòèõ ÷åòûðåõ ñëó÷àåâ íàðóøåíèÿ
â ñîñòîÿíèè ñðåäû ëèáî íàáëþäàþòñÿ, ëèáî íåò. Îòñþäà èìååì âîñåìü
ñîñòîÿíèé ëèôòà.
Äëÿ ïðèìåðà ðàññìîòðèì ñîñòîÿíèÿ êàáèíû ëèôòà è äâåðè â íîðìàëüíûõ
óñëîâèÿõ (ëèôò èñïðàâåí, âêëþ÷åí, ñðåäà â íîðìàëüíîì ñîñòîÿíèè). Êàáèíà ëèô-
òà: äâèæåòñÿ ââåðõ; äâèæåòñÿ âíèç; íàõîäèòñÿ â ïîêîå (â ñîñòîÿíèè íîðìàëüíîé
îñòàíîâêè). Äâåðü: çàêðûòà; íå çàêðûòà, îòêðûâàåòñÿ; íå çàêðûòà, çàêðûâàåòñÿ;
îòêðûòà.
Ïðîöåññû, â êîòîðûõ çàäåéñòâîâàíà êàáèíà ëèôòà: äâèæåíèå (îæèäàíèå)
â íîðìàëüíûõ óñëîâèÿõ ëèáî â àâàðèéíîé ñèòóàöèè.
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 31
Ñóùåñòâóþò äâà âèäà ñèòóàöèé ïðîòåêàíèÿ ïðîöåññîâ: íîðìàëüíûå óñëî-
âèÿ è àâàðèéíàÿ ñèòóàöèÿ.
Åñëè êàáèíà äâèæåòñÿ â íîðìàëüíûõ óñëîâèÿõ äëÿ îáñëóæèâàíèÿ âûçîâà íà
íåêîòîðûé ýòàæ (íàçîâåì åãî è íàïðàâëåíèå äâèæåíèÿ ê íåìó öåëåâûìè), òî ýòî
äâèæåíèå ëèáî íå ïðåðûâàåòñÿ (êàáèíà áåç îñòàíîâîê ïðèáûâàåò íà ýòàæ ñîãëàñ-
íî âûçîâó), ëèáî ïðåðûâàåòñÿ, ÷òîáû îáñëóæèòü «ïîïóòíûé» âûçîâ, ïîñòóïèâ-
øèé â ïðîöåññå äâèæåíèÿ êàáèíû ê ðàíåå íàìå÷åííîìó ýòàæó.
Ðàññìîòðèì ñëó÷àé, êîãäà âî âðåìÿ äâèæåíèÿ êàáèíû ïî âûçîâó ïîñòóïàåò
íîâûé âûçîâ íà ýòàæ, íàõîäÿùèéñÿ íà ïóòè ê öåëåâîìó ýòàæó. Åñëè êàáèíà íå
óñïåâàåò çàòîðìîçèòü íà òðåáóåìîì âî âíîâü ïîñòóïèâøåì âûçîâå ýòàæå, òî âû-
çîâ íå îáñëóæèâàåòñÿ. Ñ ó÷åòîì ýòîãî îáñòîÿòåëüñòâà áóäåì ðàçëè÷àòü ñîñòîÿíèÿ
äâèæóùåéñÿ ìåæäó ýòàæàìè êàáèíû è ôàçû åå äâèæåíèÿ:
— êàáèíà äâèæåòñÿ â çîíå òîðìîæåíèÿ ïåðåä î÷åðåäíûì ýòàæîì (ò.å. íå
óñïåâàåò çàòîðìîçèòü äëÿ îñòàíîâêè íà áëèæàéøåì ïî õîäó äâèæåíèÿ ýòàæå);
— êàáèíà äâèæåòñÿ íå â çîíå òîðìîæåíèÿ ïåðåä î÷åðåäíûì ýòàæîì.
Âîçíèêàåò çàäà÷à: íåîáõîäèìû ñðåäñòâà, êîòîðûå äàþò âîçìîæíîñòü îïðåäå-
ëèòü, â êàêîé çîíå äâèæåíèÿ ìåæäó ýòàæàìè íàõîäèòñÿ êàáèíà.
Ýòàï 6. Ñòðóêòóðíàÿ ìîäåëü ÑÓ.
Ïîäñèñòåìû óïðàâëåíèÿ îïðåäåëÿþòñÿ ñ ó÷åòîì ñîñòàâëÿþùèõ ëèôòà,
óñëîâèé åãî ôóíêöèîíèðîâàíèÿ, ñóáúåêòîâ óïðàâëåíèÿ ëèôòîì.
Íà äàííîì óðîâíå äåòàëèçàöèè ïðîåêòà ïðåäñòàâèì ñîñòàâëÿþùóþ ñèñòåìû
óïðàâëåíèÿ â âèäå óïîðÿäî÷åííîé òðîéêè âèäà:
�cóáúåêò óïðàâëåíèÿ, ðåæèì óïðàâëåíèÿ, ñîñòàâëÿþùàÿ îáúåêòà óïðàâëåíèÿ�.
Ó÷èòûâàÿ, ÷òî ïîëüçîâàòåëü èìååò ñðåäñòâà óïðàâëåíèÿ äâóìÿ ñîñòàâëÿþ-
ùèìè ëèôòà, à ðåæèìîâ óïðàâëåíèÿ äâà, òî èìååì ÷åòûðå òðîéêè, ïåðâûì êîì-
ïîíåíòîì â êîòîðûõ åñòü «ïîëüçîâàòåëü». Äëÿ ñïåöèàëèñòà îãðàíè÷åíèÿ íà âîç-
äåéñòâèÿ íà ñîñòàâëÿþùèå ëèôòà íå ââîäèëèñü. Òàê êàê ñîñòàâëÿþùèõ øåñòü
(ïîñêîëüêó äëÿ äâåðåé êàáèíû è íà ëèôòîâîé ïëîùàäêå åñòü ñðåäñòâî óïðàâëå-
íèÿ, ê òîìó æå îíè äîëæíû ðàáîòàòü ñîãëàñîâàííî, âûäåëÿåòñÿ òàêàÿ ñîñòàâëÿþ-
ùàÿ, êàê äâîéíûå äâåðè), èìååì 12 òðîåê ñ ïåðâûì êîìïîíåíòîì «ñïåöèàëèñò».
Âñåãî 16 ïîäñèñòåì ÑÓ. Â ïðîöåññå ðàçðàáîòêè ïðîåêòà ÑÓ ìîæåò îêàçàòüñÿ, ÷òî
íå âñå ýòè ïîäñèñòåìû ñëåäóåò ðàçðàáàòûâàòü. Îäíàêî äëÿ ïîëíîòû ïîñòðîåíèé
ïîäñ÷èòûâàåì âñå.
Ýòàï 7. Èíôîðìàöèîííàÿ ìîäåëü ÑÓ.
Ïðåäëàãàåòñÿ òàêîé ïîðÿäîê ïîñòðîåíèÿ ìíîæåñòâà àòðèáóòîâ. Äëÿ ââåäåíèÿ
è îïèñàíèÿ àòðèáóòîâ ÑÓ ðàññìàòðèâàåì:
— ñðåäñòâà óïðàâëåíèÿ, âñïîìîãàòåëüíûå è èíôîðìàöèîííûå ñðåäñòâà äëÿ
óäîáñòâà ïàññàæèðîâ;
— ñâÿçè ñðåäñòâ óïðàâëåíèÿ ñ êîìïîíåíòàìè îáúåêòà óïðàâëåíèÿ;
— ñîñòîÿíèÿ ñðåäñòâ óïðàâëåíèÿ, âñïîìîãàòåëüíûõ è èíôîðìàöèîííûõ
ñðåäñòâ;
— ñîñòîÿíèÿ êàæäîé ñîñòàâëÿþùåé îáúåêòà óïðàâëåíèÿ, ñâÿçàííîé ñî ñðåäñòâà-
ìè óïðàâëåíèÿ.
Ââåäåì àòðèáóòû: ñðåäñòâ óïðàâëåíèÿ; âñïîìîãàòåëüíûõ è èíôîðìàöèîí-
íûõ ñðåäñòâ äëÿ óäîáñòâà ïàññàæèðîâ; êîìïîíåíòîâ îáúåêòà óïðàâëåíèÿ, ñâÿçàí-
íûõ ñî ñðåäñòâàìè óïðàâëåíèÿ.
Òàê, íàïðèìåð, ñâÿçàíû êíîïêè âûçîâà ëèôòà è íàïðàâëåíèÿ åãî íà ýòàæè è
êàáèíà, êàáèíà è ñâåòîâûå èíäèêàòîðû.
Ïóñòü äåéñòâèÿ ïîëüçîâàòåëåé (íàæàòèÿ êíîïîê) ìîäåëèðóþòñÿ ñ ïîìîùüþ
ñîîáùåíèé âèäà:
32 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
‘íàæàòà êíîïêà â êàáèíå íàïðàâëåíèÿ ëèôòà íà ýòàæ �íîìåð ýòàæà�’;
‘íàæàòà êíîïêà ÂÂÅÐÕ íà ýòàæå �íîìåð ýòàæà�’;
‘íàæàòà êíîïêà ÂÍÈÇ íà ýòàæå �íîìåð ýòàæà�’.
Çäåñü �íîìåð ýòàæà� — öåëîå ÷èñëî â äèàïàçîíå MD�MU, ãäå MD — íîìåð
ñàìîãî íèæíåãî ýòàæà, MU — íîìåð ñàìîãî âåðõíåãî ýòàæà, MD, MU — öåëûå
íåîòðèöàòåëüíûå ÷èñëà.
Äëÿ êðàòêîãî îáîçíà÷åíèÿ ôðàç (êëèøå) «íàæàòà êíîïêà â êàáèíå íàïðàâëå-
íèÿ ëèôòà íà ýòàæ», «íàæàòà êíîïêà ÂÂÅÐÕ íà ýòàæå», «íàæàòà êíîïêà ÂÍÈÇ íà
ýòàæå» ââåäåì ïîñëåäîâàòåëüíîñòè ñèìâîëîâ bC, bUp, bDn ñîîòâåòñòâåííî.
Äëÿ ñîîáùåíèé ââåäåì ãëîáàëüíûé àòðèáóò ïåðå÷èñëèìîãî òèïà Mes ñî çíà-
÷åíèÿìè:
(bC, �íîìåð ýòàæà�);
(bUp, �íîìåð ýòàæà�);
(bDn, �íîìåð ýòàæà�);
(Å,0) (îçíà÷àåò, ÷òî ñîîáùåíèé íåò).
Ïðè âêëþ÷åíèè ëèôòà ñîîáùåíèé íåò. Ïîñëå ïåðåäà÷è ñîîáùåíèÿ ïîëÿ àò-
ðèáóòà Mes î÷èùàþòñÿ.
Êàæäîé êíîïêå è ñâåòîâîìó èíäèêàòîðó íà ëèôòîâîé ïëîùàäêå ñîîòâåòñòâó-
åò íîìåð ýòàæà i, íà êîòîðîì íàõîäèòñÿ ýòà ïëîùàäêà; i — öåëîå ÷èñëî, ïðèíèìà-
þùåå çíà÷åíèÿ îò MD äî MU.
Äëÿ îïèñàíèÿ ñîñòîÿíèé êíîïîê äëÿ íàïðàâëåíèÿ ëèôòà íà ýòàæè ââåäåì îä-
íîìåðíûé ìàññèâ Pan_Cab ñî çíà÷åíâèÿìè bl , np, nf :
Pan_Cab [ ]i � bl îçíà÷àåò, ÷òî çàáëîêèðîâàíà êíîïêà íàïðàâëåíèÿ ëèôòà íà
ýòàæ i;
Pan_Cab [ ]i � np îçíà÷àåò, ÷òî íå çàáëîêèðîâàíà è íàæàòà êíîïêà íàïðàâëå-
íèÿ ëèôòà íà ýòàæ i;
Pan_Cab [ ]i � nf îçíà÷àåò, ÷òî íå çàáëîêèðîâàíà è íå íàæàòà êíîïêà íàïðàâ-
ëåíèÿ ëèôòà íà ýòàæ i.
Äëÿ õðàíåíèÿ èíôîðìàöèè î öåëåâîì íàïðàâëåíèè äâèæåíèÿ êàáèíû ëèôòà
ââåäåì ãëîáàëüíûé àòðèáóò ïåðå÷èñëèìîãî òèïà DD ñî çíà÷åíèÿìè:
Up îçíà÷àåò, ÷òî öåëåâûì íàïðàâëåíèåì äâèæåíèÿ êàáèíû ëèôòà ÿâëÿåòñÿ
äâèæåíèå ââåðõ;
Down îçíà÷àåò, ÷òî öåëåâûì íàïðàâëåíèåì äâèæåíèÿ êàáèíû ëèôòà ÿâëÿåò-
ñÿ äâèæåíèå âíèç;
Undef îçíà÷àåò, ÷òî öåëåâîå íàïðàâëåíèå äâèæåíèÿ êàáèíû ëèôòà íå îïðåäå-
ëåíî.
Ïðè âêëþ÷åíèè ëèôòà öåëåâîå íàïðàâëåíèå äâèæåíèÿ ëèôòà íå îïðåäåëåíî.
Äëÿ õðàíåíèÿ èíôîðìàöèè î íîìåðå öåëåâîãî ýòàæà ââåäåì ãëîáàëüíûé àò-
ðèáóò DF ïåðå÷èñëèìîãî òèïà ñî çíà÷åíèÿìè:
(�ïðèçíàê�, �íîìåð ýòàæà�), ãäå �ïðèçíàê� ïðèíèìàåò áóëåâû çíà÷åíèÿ;
(1, �íîìåð ýòàæà�) îçíà÷àåò, ÷òî íîìåð öåëåâîãî ýòàæà îïðåäåëåí è ðàâåí
�íîìåð ýòàæà�;
( , )0 0 îçíà÷àåò, ÷òî íîìåð öåëåâîãî ýòàæà íå îïðåäåëåí.
Êíîïêè âûçîâà ëèôòà è íàïðàâëåíèÿ íà ýòàæè ìîãóò íàæèìàòü ðàçíûå ïîëüçîâà-
òåëè (à êàáèíà îäíà). Â ðåçóëüòàòå íàæàòèÿ êíîïîê âûçîâà ëèôòà è íàïðàâëåíèÿ
åãî íà ýòàæè íåçàâèñèìî íåñêîëüêèìè ïîëüçîâàòåëÿìè âîçíèêàåò ñîâîêóïíîñòü
âûçîâîâ, èç êîòîðûõ îáðàçóåòñÿ î÷åðåäü. Ñëåäîâàòåëüíî, íóæíû ñðåäñòâà ïðåä-
ñòàâëåíèÿ è îáñëóæèâàíèÿ ýòîé î÷åðåäè.
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 33
Äëÿ ìîäåëèðîâàíèÿ î÷åðåäè âûçîâîâ ââåäåì àòðèáóò QC òèïà «ñïèñîê». Ïðè
âêëþ÷åíèè ëèôòà î÷åðåäü QC ïóñòà. Åñëè î÷åðåäü QC ïóñòà, òî öåëåâîå íàïðàâ-
ëåíèå äâèæåíèÿ êàáèíû ëèôòà è öåëåâîé ýòàæ íå îïðåäåëåíû.
Êðîìå î÷åðåäè âûçîâîâ, òðåáóåòñÿ áëîê åå îáñëóæèâàíèÿ. Ýòîò áëîê äèíà-
ìè÷åñêè óïîðÿäî÷èâàåò âûçîâû, îïðåäåëÿåò öåëåâîå íàïðàâëåíèå äâèæåíèÿ êà-
áèíû è öåëåâîé ýòàæ. Äëÿ ìîäåëèðîâàíèÿ òàêîãî áëîêà ââåäåì ôóíêöèþ callQC
ñ àðãóìåíòàìè �íîìåð ýòàæà�, �âèä êíîïêè�, DD, DF, QC äëÿ ïîïîëíåíèÿ î÷åðåäè
âûçîâîâ QC âûçîâîì êàáèíû íà ýòàæ �íîìåð ýòàæà� âèäà �âèä êíîïêè� è äëÿ ïå-
ðåîïðåäåëåíèÿ öåëåâîãî íàïðàâëåíèÿ äâèæåíèÿ êàáèíû ëèôòà DD è/èëè öåëåâî-
ãî ýòàæà DF, åñëè ýòî òðåáóåòñÿ. Çäåñü �âèä êíîïêè� — àòðèáóò ïåðå÷èñëèìîãî
òèïà ñ ñèìâîëüíûìè çíà÷åíèÿìè bC, bUp, bDn (èõ ñìûñë ïîÿñíåí ïðè îïèñàíèè
àòðèáóòà Mes), êîòîðûå äàþò âîçìîæíîñòü îïðåäåëèòü, êàêàÿ êíîïêà óïðàâëåíèÿ
äâèæåíèåì êàáèíû ëèôòà íàæàòà.
Äëÿ õðàíåíèÿ èíôîðìàöèè î ñîñòîÿíèè êàáèíû ëèôòà ââåäåì àòðèáóò ïåðå-
÷èñëèìîãî òèïà LiftCab ñî çíà÷åíèÿìè, êîòîðûå ñîîòâåòñòâóþò ñîñòîÿíèÿì êàáè-
íû è óñëîâèÿì, â êîòîðûõ îíà íàõîäèòñÿ. Ïðèâåäåì íåêîòîðûå åãî çíà÷åíèÿ:
(CUp, �íîìåð ýòàæà�) — íîðìàëüíûå óñëîâèÿ, êàáèíà ëèôòà äâèæåòñÿ ââåðõ
îò ýòàæà �íîìåð ýòàæà� (ìèíîâàëà ýòàæ �íîìåð ýòàæà�, íî íå äîåõàëà äî ñëåäóþ-
ùåãî) è íå íàõîäèòñÿ â çîíå òîðìîæåíèÿ ïåðåä î÷åðåäíûì ýòàæîì;
(CUps, �íîìåð ýòàæà�) — íîðìàëüíûå óñëîâèÿ, êàáèíà ëèôòà äâèæåòñÿ ââåðõ
â íîðìàëüíîì ðåæèìå îò ýòàæà �íîìåð ýòàæà� (ìèíîâàëà ýòàæ �íîìåð ýòàæà�, íî
íå äîåõàëà äî ñëåäóþùåãî) è íàõîäèòñÿ â çîíå òîðìîæåíèÿ ïåðåä î÷åðåäíûì ýòàæîì.
Ýòàï 8. Ìîäåëü ïîâåäåíèÿ.
Ìîäåëü ïîâåäåíèÿ ïîäñèñòåìû ÑÓ �ïîëüçîâàòåëü, íîðìàëüíûå óñëîâèÿ, êà-
áèíà� îïèñûâàåò äëÿ êíîïîê ïåðåõîäû èç ñîñòîÿíèÿ íàæàòà â ñîñòîÿíèå íå íà-
æàòà è íàîáîðîò, à òàêæå ðåçóëüòàòû óïðàâëÿþùèõ âîçäåéñòâèé èõ íàæàòèÿ.
Äëÿ ïîñòðîåíèÿ ìîäåëè ïîâåäåíèÿ âûäåëÿþòñÿ âèäû óñëîâèé (ñèòóàöèè) äëÿ
êíîïîê, êîãäà ïðîèñõîäèò ïåðåõîä êíîïêè â ñîñòîÿíèå íàæàòà, à òàêæå ðàññìàò-
ðèâàþòñÿ óñëîâèÿ, êîãäà íàæàòóþ êíîïêó ñëåäóåò ïåðåâåñòè â ñîñòîÿíèå íå íà-
æàòà.
Ñèòóàöèè, â êîòîðûõ íàáëþäàåòñÿ òåêóùåå ñîñòîÿíèå êíîïêè êàæäîãî âèäà,
êîãäà ïîñòóïàåò âûçîâ íà íåêîòîðûé ýòàæ j:
— êàáèíà ëèôòà íàõîäèòñÿ â ñîñòîÿíèè íîðìàëüíîé îñòàíîâêè íà ýòàæå i
( )i j� ;
— êàáèíà ëèôòà íàõîäèòñÿ â ñîñòîÿíèè íîðìàëüíîé îñòàíîâêè íà ýòàæå i
( )i j� ;
— êàáèíà ëèôòà äâèæåòñÿ â íîðìàëüíûõ óñëîâèÿõ.
Ïðèâåäåì ôðàãìåíò ìîäåëè äëÿ óêàçàííîé ïîäñèñòåìû ÑÓ, çàïèñàííûé íà
Åß ñ èñïîëüçîâàíèåì ôðàç ðàáî÷åé ëåêñèêè.
Óïðàâëÿþùåå âîçäåéñòâèå: íàæàòèå êíîïêè ñ íîìåðîì ýòàæà â êàáèíå
ëèôòà.
Ñèòóàöèÿ (ñîñòîÿíèå êàáèíû, ôàçà ïðîöåññà, â êîòîðîì çàäåéñòâîâàíà êàáèíà):
êàáèíà ëèôòà äâèæåòñÿ è íå íàõîäèòñÿ â çîíå òîðìîæåíèÿ ïåðåä ñëåäóþùèì ýòàæîì.
Óñëîâèÿ èçìåíåíèÿ ñîñòîÿíèÿ êíîïêè â çàäàííîé ñèòóàöèè ïðè äàííîì
âîçäåéñòâèè:
— åñëè êàáèíà ëèôòà äâèæåòñÿ ââåðõ îò ýòàæà i è ïðèíÿòî ñîîáùåíèå ‘íàæà-
òà êíîïêà íàïðàâëåíèÿ ëèôòà íà ýòàæ j’, j i� 1, òî ïîïîëíÿåòñÿ î÷åðåäü âûçî-
âîâ QC, îïðåäåëÿåòñÿ öåëåâîå íàïðàâëåíèå è öåëåâîé ýòàæ, íå çàáëîêèðîâàíà è
íàæàòà êíîïêà íàïðàâëåíèÿ ëèôòà íà ýòàæ j;
34 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
— åñëè êàáèíà ëèôòà äâèæåòñÿ ââåðõ îò ýòàæà i, ïðèíÿòî ñîîáùåíèå ‘íàæàòà
êíîïêà íàïðàâëåíèÿ ëèôòà íà ýòàæ j’, j i� 1, òî ïîïîëíÿåòñÿ î÷åðåäü âûçîâîâ
QC, öåëåâûì ýòàæîì ñòàíîâèòñÿ ýòàæ j, íå çàáëîêèðîâàíà è íàæàòà êíîïêà íà-
ïðàâëåíèÿ ëèôòà íà ýòàæ j;
— åñëè êàáèíà ëèôòà äâèæåòñÿ ââåðõ îò ýòàæà i è ïðèíÿòî ñîîáùåíèå ‘íàæà-
òà êíîïêà íàïðàâëåíèÿ ëèôòà íà ýòàæ j’, j i
1, òî íå çàáëîêèðîâàíà è íå íàæàòà
êíîïêà íàïðàâëåíèÿ ëèôòà íà ýòàæ j.
Ýòè òðè óñëîâèÿ ìîæíî ïðåäñòàâèòü â âèäå
�óñëîâèå� ---- > �ïîñòóñëîâèå�
ñîãëàñíî îïèñàíèþ àòðèáóòîâ è óêàçàííîé ôàçå ïðîöåññà ñëåäóþùèì îáðàçîì:
LiftCab( , )CUp i & Mes � ( , )bC j & ( )j i� 1 ---- > callQC( , )j bC, DD, DF,QC ;
Pan_Cab[ ] :j � np; Mes : ( , )� E 0 .
LiftCab( , )CUp i & Mes � ( , )bC j & ( )j i� 1 ---- > callQC( , )j bC, DD, DF,QC ;
DF:� j; Pan_Cab[ ] :j � np; Mes : ( , )� E 0 .
LiftCab( , )CUp i & Mes � ( , )bC j & ( )j i
1 ---- > Pan_Cab[ ]:j � nf ; Mes: ( , )� E 0 .
Ýòàïû 9 è 10 çäåñü íå ðàññìàòðèâàþòñÿ, ïîñêîëüêó ïåðåõîäèòü ê íèì ñëåäó-
åò ïîñëå âûïîëíåíèÿ âñåõ çàäàíèé ïðåäûäóùèõ ýòàïîâ.
ÇÀÊËÞ×ÅÍÈÅ
 äàííîé ðàáîòå ïðåäëîæåí îáùèé ïîäõîä ê ïîñòðîåíèþ ìåòîäèêè ïðîåêòèðî-
âàíèÿ ÑÓ, îñíîâàííûé íà ïðèíöèïàõ, ñðåäè êîòîðûõ ïðèíöèï ëèíãâèñòè÷åñêè
óïðàâëÿåìîãî ïðîåêòèðîâàíèÿ. Â ñîîòâåòñòâèè ñ ýòèì ïðèíöèïîì ïîñòðîåíèå è
äåòàëèçàöèÿ ìîäåëåé, îòðàæàþùèõ ðàçëè÷íûå àñïåêòû ÑÓ, îñóùåñòâëÿåòñÿ íà
îñíîâå ñèñòåìàòè÷åñêîãî èñïîëüçîâàíèÿ ðÿäà ñóùåñòâåííûõ (â îáëàñòè ïðîåêòè-
ðîâàíèÿ ÑÓ) ïîíÿòèé. Ïðèâåäåí ïåðå÷åíü ýòèõ ïîíÿòèé. Îí ïîñòðîåí íà îñíîâå
ÿçûêîâûõ ñìûñëîâûõ ñâÿçåé ñóùíîñòè «ñèñòåìà óïðàâëåíèÿ» ñ äðóãèìè ñóù-
íîñòÿìè, è ýòè ñâÿçè è ñóùíîñòè âûÿâëÿþòñÿ ïîñëåäîâàòåëüíî.
Ýòîò ïåðå÷åíü èñïîëüçîâàí äëÿ ïîñòðîåíèÿ ìåòîäèêè ïðîåêòèðîâàíèÿ ÑÓ. Îí
ÿâëÿåòñÿ ñðåäñòâîì, êîòîðîå «íàïðàâëÿåò» ïðîöåññ ïîñòðîåíèÿ Åß-ñïåöèôèêàöèè
ñèñòåìû óïðàâëåíèÿ îáúåêòîì íà ÿçûêå Ðàçðàáîò÷èêà, «ïîäñêàçûâàåò» Ðàçðàáîò-
÷èêó, êàêèå ýòàïû ðàçðàáîòêè ñëåäóåò ïðîéòè è â êàêîì ïîðÿäêå, «ïîìîãàåò» Ðàç-
ðàáîò÷èêó èçáåæàòü óïóùåíèé, «íàïîìèíàåò» î íåîáõîäèìîñòè îáîñíîâàòü ðåøå-
íèÿ.  ðåçóëüòàòå ïîëó÷èëîñü ñðåäñòâî ðàçðàáîòêè ÑÓ, óïðàâëÿåìîé «òàêîãî ðîäà
ïåðå÷íåì». Åñëè ðàçâèòü ýòîò ïåðå÷åíü, èñïîëüçóÿ åãî â êà÷åñòâå çàäåëà äëÿ êîí-
öåïòóàëèçàöèè, â îíòîëîãèþ (ïðåäìåòíîé îáëàñòè «Ïðîåêòèðîâàíèå ÑÓ»), ïðåäëî-
æåííàÿ ìåòîäèêà ïðîåêòèðîâàíèÿ áóäåò ÷àñòè÷íî àâòîìàòèçèðîâàíà.
Îòìåòèì, ÷òî îïèñàííàÿ ìåòîäèêà ñî÷åòàåòñÿ ñ agile-òåõíîëîãèåé ðàçðàáîò-
êè ñèñòåì [14, 15], ñ òåõíèêîé ñïåöèôèêàöèåé ïðèìåðàìè (SBE) [16], ïîëüçîâà-
òåëüñêèõ èñòîðèé (user stories) [17–19].
 õîäå ïðèìåíåíèÿ ìåòîäèêè òðåáóåòñÿ âåñòè ó÷åò óòî÷íåíèé, îòëîæåííûõ
çàäàíèé. Ýòî òðóäîåìêèé ïðîöåññ, êîòîðîìó óäåëÿþò âíèìàíèå è äðóãèå àâòî-
ðû [20]. Îòìåòèì òàêæå, ÷òî â ñëó÷àå ñîñòàâíîé ÑÓ ïðèõîäèòñÿ ðàñïðåäåëÿòü
âíèìàíèå ìåæäó íåñêîëüêèìè ïîäñèñòåìàìè ïðîåêòèðóåìîé ÑÓ. Ïðèíèìàÿ âî
âíèìàíèå ëèøü ïåðå÷èñëåííûå òðóäíîñòè, ìîæíî ñäåëàòü âûâîä, ÷òî êàê äëÿ îò-
äåëüíîãî ðàçðàáîò÷èêà, òàê è äëÿ ãðóïïû ðàçðàáîò÷èêîâ æåëàòåëüíî èìåòü
èíñòðóìåíòàëüíûå ñðåäñòâà ïîääåðæêè ïðîöåññà ïðîåêòèðîâàíèÿ, êîòîðûå:
— íàïðàâëÿþò ïðîöåññ ïîñòðîåíèÿ Åß-ñïåöèôèêàöèè ñèñòåìû óïðàâëåíèÿ
îáúåêòîì íà ÿçûêå Ðàçðàáîò÷èêà, ïîäñêàçûâàÿ Ðàçðàáîò÷èêó, êàêèå ýòàïû ðàçðà-
áîòêè ñëåäóåò ïðîéòè è â êàêîì ïîðÿäêå;
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 35
— ïîìîãàþò Ðàçðàáîò÷èêó íå óïóñòèòü âñå, ÷òî ñóùåñòâåííî;
— íàïîìèíàþò î íåîáõîäèìîñòè îáîñíîâàòü ðåøåíèÿ;
— âåäóò èñòîðèþ ïðîåêòèðîâàíèÿ, ÷òî îáåñïå÷èâàåò âîçìîæíîñòü âåðíóòüñÿ
è èçìåíèòü ðåøåíèå;
— îáíîâëÿþò îïèñàíèÿ;
— ïîääåðæèâàþò ðàçäåë îïèñàíèé àòðèáóòîâ, â êîòîðîì äëÿ êàæäîãî àòðè-
áóòà åñòü ïîÿñíåíèå åãî ñìûñëà;
— âåäóò ðóáðèêó «Òðåáóåìûå óòî÷íåíèÿ è/èëè îòëîæåííûå ðàáîòû»;
— ïîääåðæèâàþò ïðîöåññ ñîçäàíèÿ äîêóìåíòàöèè ðàçðàáîòàííîé ñèñòåìû
óïðàâëåíèÿ îáúåêòîì.
Îòìåòèì, ÷òî ïðèíöèïû 1.1–1.4, 1.6 (ñì. ðàçä. 1) èìåþò «îðãàíèçàöèîí-
íî-ðåãëàìåíòèðóþùèé» õàðàêòåð (ïðåäïèñûâàþò ðàññìàòðèâàòü ÑÓ è òî, ÷òî
ñ íåé ñâÿçàíî, ñ ðàçëè÷íûõ òî÷åê çðåíèÿ, îáîñíîâûâàòü ïðèíèìàåìûå ðåøåíèÿ,
çàáîòèòüñÿ î òîì, ÷òîáû íè÷åãî íå óïóñòèòü, ôîðìèðîâàòü ðàáî÷óþ ëåêñèêó è
ïîëüçîâàòüñÿ åþ, ÷òîáû îáëåã÷èòü ïåðåõîä îò Åß-ñïåöèôèêàöèé ê ôîðìàëèçî-
âàííîìó ïðåäñòàâëåíèþ, îáåñïå÷èòü öåëîñòíîñòü ïîñòðîåíèÿ ìîäåëè ÑÓ), à ïðè-
íöèï 1.5 «ïîðîæäàþùèé» (èìåííî íà îñíîâå ïåðå÷íÿ ñóùíîñòåé è ñâÿçàííûõ
ñ íèìè ïîíÿòèé, ñêîíñòðóèðîâàííîãî ïî ýòîìó ïðèíöèïó, ðàçðàáàòûâàåòñÿ
ìåòîäèêà ïðîåêòèðîâàíèÿ).
Ïðèìåíåíèå ïðèíöèïîâ 1.1–1.4, 1.6, êàê íåòðóäíî çàìåòèòü, íå îãðàíè÷èâà-
åòñÿ èñêëþ÷èòåëüíî îáëàñòüþ «Ïðîåêòèðîâàíèå ÑÓ». Ïðèíöèï 1.5 èñïîëüçîâàí
â äàííîé ðàáîòå äëÿ ïîñòðîåíèÿ ïåðå÷íÿ ñóùåñòâåííûõ ïîíÿòèé â îáëàñòè «Ïðî-
åêòèðîâàíèå ÑÓ», íî åãî ìîæíî ïðèìåíèòü è äëÿ ïîñòðîåíèÿ àíàëîãè÷íûõ ïåðå-
÷íåé äëÿ äðóãèõ îáëàñòåé ïðîåêòèðîâàíèÿ, à çàòåì ñòðîèòü ìåòîäèêè ïðîåêòèðî-
âàíèÿ â ýòèõ îáëàñòÿõ ïîäîáíî òîìó, êàê ýòî ñäåëàíî â äàííîé ðàáîòå.
ÑÏÈÑÎÊ ËÈÒÅÐÀÒÓÐÛ
1. Lee E.A., Seshia S.A. Introduction to embedded systems: A cyber-physical systems approach. Sec.
Ed. Cambridge, Mass.: MIT Press, 2017. 568 p.
2. Ëåòè÷åâñêèé À.À., Ëåòè÷åâñêèé À.À. ìë., Ñêîáåëåâ Â.Ã., Âîëêîâ Â.À. Êèáåð-ôèçè÷åñêèå ñèñ-
òåìû. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. 2017. Ò. 53, ¹ 6. Ñ. 3–19.
3. Gause D.C., Weinberg G.M. Exploring requirements: Quality before design. Dorset House Pub.,
1989. 299 p.
4. Howard M., LeBlanc D., Viega J. 24 deadly sins of software security. McGraw-Hill, 2009. 432 p.
5. Finkel S. How to write good requirements/user stories in Scrum. URL: https://www.agileaces.net/
write-good-requirements-user-stories-scrum.
6. Alford M.W., Lawson J.T. Software requirements engineering methodology (Development). TRW
Defense and Space Systems Group. 1979.
7. Software Requirements Engineering (2nd ed.). Thayer R.H., Dorfman M. (Eds.). US: IEEE
Computer Society Press, 1997. 552 p.
8. Êîë÷èí À.Â., Ëåòè÷åâñêèé À.À., Ïîòèåíêî Ñ.Â., Ïåñ÷àíåíêî Â.Ñ. Îáçîð ñîâðåìåííûõ ñèñòåì
è ìåòîäîâ âåðèôèêàöèè ôîðìàëüíûõ ìîäåëåé. Ïðîáëåìè ïðîãðàìóâàííÿ. 2012, ¹ 4. Ñ. 75–88.
9. Kolchin A., Potiyenko S., Weigert T. Challenges for automated model-based test scenario
generation. In: Damas
�
evic
�
ius R., Vasiljeviene G. (Eds). Information and Software Technologies –
25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings.
Springer: Communications in Computer and Information Science. 2019. Vol. 1078. P. 182–194.
10. Gotel O., Finkelstein A. An analysis of the requirements traceability problem. In: ICRE IEEE
Computer Society. 1994. Ð. 94–101.
11. Hallerstede S., Jasrtam M., Ladenberger L. A method and tool for tracing requirements into
specifications. Science of Computer Programming. 2014. Vol. 82. P. 2–21.
36 ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6
12. Ãîäëåâñêèé À.Á., Ìèùåíêî Í.Ì., Ìîðîõîâåö Ì.Ê., Ôåëèæàíêî Î.Ä., Ù¸ãîëåâà Í.Í. Ìåòîäè-
êà ðàçðàáîòêè è ñðåäñòâà ôîðìàëèçàöèè ôóíêöèîíàëüíûõ ñïåöèôèêàöèé ñèñòåì è óñòðîéñòâ.
Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. 2016. Ò. 52, ¹ 5. Ñ. 25-42.
13. Ìèùåíêî Í.Ì., Ìîðîõîâåö Ì.Ê., Ôåëèæàíêî Î.Ä., Øòåëèê Å.Â., Ù¸ãîëåâà Í.Í. Íîâûå ôóíê-
öèîíàëüíûå âîçìîæíîñòè ñèñòåìû îáðàáîòêè åñòåñòâåííîÿçûêîâûõ ñïåöèôèêàöèé è ñðåäà å¸
ôóíêöèîíèðîâàíèÿ. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç. 2018. Ò. 54, ¹ 6. Ñ. 37-46.
14. Cockburn A. Agile software development. Boston: Addison-Wesley, 2001. 256 p.
15. Agile Alliance. URL: http://www.agilemanifesto.org.
16. Adzic G. Specification by example. How successful teams deliver the right software. New York:
Manning Publications, 2011. 295 p.
17. Cockburn A. Writing effective use cases. Addison-Wesley, 2000. 304 p.
18. Jeffries R. Essential XP: Card, conversation, and confirmation. URL: https://ronjeffries.com/xprog/
articles/expcardconversationconfirmation/.
19. Ralph P. The sensemaking-coevolution-implementation theory of software desigsn. Science of
Computer Programming. 2015. Vol. 101. P. 21-41.
20. The Scrum product backlog – International Scum Institute. URL: https://www.Scrum-institute.org/
The_Scrum_Product_Backlog.php.
Íàä³éøëà äî ðåäàêö³¿ 04.06.2020
Î.Á. Ãîäëåâñüêèé, Ì.Ê. Ìîðîõîâåöü
ʲÁÅÐÔ²ÇÈ×Ͳ ÑÈÑÒÅÌÈ: ˲ÍòÑÒÈ×ÍÈÉ ÀÑÏÅÊÒ
Àíîòàö³ÿ. Çàïðîïîíîâàíî ï³äõ³ä äî ïðîºêòóâàííÿ ñèñòåì êåðóâàííÿ
òåõí³÷íèìè îá’ºêòàìè, îñîáëèâ³ñòþ ÿêîãî º ë³íãâ³ñòè÷íî êåðîâàíå ïðîºêòó-
âàííÿ. Ïîäàíî ðîçðîáëåíó íà áàç³ öüîãî ï³äõîäó ìåòîäèêó ïðîºêòóâàííÿ
ñèñòåì êåðóâàííÿ, ïðèçíà÷åíó äëÿ çàñòîñóâàííÿ íà ñòà䳿 ïðîºêòóâàííÿ, ùî
ïåðåäóº ïîáóäîâ³ ôîðìàëüíî¿ ìîäåë³.
Êëþ÷îâ³ ñëîâà: ñèñòåìà êåðóâàííÿ, ë³íãâ³ñòè÷íî êåðîâàíå ïðîºêòóâàííÿ,
ìåòîäèêà ïðîºêòóâàííÿ ñèñòåì êåðóâàííÿ, ê³áåðô³çè÷íà ñèñòåìà.
A.B. Godlevsky, M.K. Morokhovets
CYBER-PHYSICAL SYSTEMS: LINGUISTIC ASPECT
Abstract. An approach to the design of control systems for engineering objects
is proposed. Its peculiarity is a linguistically driven design. The methodology for
control systems design developed on the base of this approach is given. It is
intended for use at the design stage preceding the construction of a formal
model.
Keywords: control system, linguistically-driven design, methodology for control
systems design, cyber-physical system.
Ãîäëåâñêèé Àëåêñàíäð Áîãóñëàâîâè÷,
êàíäèäàò ôèç.-ìàò. íàóê, ñòàðøèé íàó÷íûé ñîòðóäíèê Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà
ÍÀÍ Óêðàèíû, Êèåâ, e-mail: a.godl49@gmail.com.
Ìîðîõîâåö Ìàðèíà Êîíñòàíòèíîâíà,
êàíäèäàò ôèç.-ìàò. íàóê, ñòàðøèé íàó÷íûé ñîòðóäíèê Èíñòèòóòà êèáåðíåòèêè èì. Â.Ì. Ãëóøêîâà
ÍÀÍ Óêðàèíû, Êèåâ, e-mail: marina.morokhovets@gmail.com.
ISSN 1019-5262. Êèáåðíåòèêà è ñèñòåìíûé àíàëèç, 2020, òîì 56, ¹ 6 37
|