"justify"> HDD + -жорсткий диск працює;
HDD--жорсткого диску очікує даних для запису;
+5. T-код успішного завершення звукозапису.
T + -звукозапис завершена успішно;
T--звукозапис не завершена.
Ситуації процесу, структуровані за першим способом (вектори ситуацій):
Таблиця № 1
: (DSP +) (V-) (RAM-) (HDD-) (T-)
У DSP є сигнал для обробки, всі інші компоненти неактивні.
S2: (DSP +) (V +) (RAM-) (HDD-) (T-)
У DSP є сигнал для обробки, V містить оцифровані дані, всі інші компоненти неактивні.
S3: (DSP +) (V +) (RAM +) (HDD-) (T-)
У DSP є сигнал для обробки, V містить оцифровані дані, RAM зчитує в себе дані з V, всі інші компоненти неактивні.
S4: (DSP +) (V-) (RAM +) (HDD +) (T-)
У DSP є сигнал для обробки, V вивантажила в RAM оцифровані дані (порожній), RAM обмінюється даними з HDD, HDD працює (записує дані з RAM), звукозапис ще не закінчена (T-), так як в DSP є чергова порція сигналу для обробки.
S5: (DSP +) (V-) (RAM-) (HDD +) (T-)
У DSP є сигнал для обробки, V вивантажила в RAM оцифровані дані (порожній), RAM вивантажила в HDD дані (порожній), HDD працює (записує дані з RAM), звукозапис ще не закінчена (T- ), так як в DSP є чергова порція сигналу для обробки.
S6: (DSP-) (V +) (RAM-) (HDD-) (T-)
У DSP немає сигналу для обробки, V містить оцифровані дані, всі інші компоненти неактивні.
S7: (DSP +) (V +) (RAM +) (HDD-) (T-)
У DSP немає сигналу для обробки, V містить оцифровані дані, RAM зчитує в себе дані з V, всі інші компоненти неактивні.
S8: (DSP-) (V-) (RAM +) (HDD +) (T-)
У DSP немає сигналу для обробки, V вивантажила в RAM оцифровані дані (порожній), RAM обмінюється даними з HDD, HDD працює (записує дані з RAM), звукозапис ще не закінчена (T-), так як в RAM є дані обробки.
S9: (DSP-) (V-) (RAM-) (HDD +) (T +)
У DSP немає сигналу для обробки, V вивантажила в RAM оцифровані дані (порожній), RAM порожня, HDD працює (записує дані), звукозапис закінчена (T +), так як в DSP немає чергової порції сигналу для обробки і всі елементи (крім HDD) закінчили свою роботу.
Ініціатори процесу:
I = {S1, S2, S6, S5, S7, S8}. br/>
В· S1 первинна ініціалізація процесу оцифровки (в DSP є сигнал);
В· S2 ініціалізація оцифровки, коли є черга в DSP (в DSP є сигнал);
В· S6 ініціалізація оцифровки, коли немає черги в DSP (в DSP немає сигналу);
В· S5 перехід в первинний стан (ініціалізація процесу оцифрування), коли є черга в DSP;
В· S7 В«перехід в іншу гілкуВ» станів (рис. 1) з етапу обміну між V і RAM, з появою сигналу в черзі DSP;
В· S8 В«перехід в іншу гілкуВ» станів (рис. 1) з етапу обміну між RAM і HDD, із появою сигналу в черзі DSP;
Результант процесу:
R = {S9} - підсумковий результат будь-якій траєкторії, повернення системних ресурсів, закінчення звукозапису.
Ставлення безпосереднього проходження процесу:
F: представлено графом (рис. 1)
В
(рис. 1)
Можливі траєкторії:
1.S1S6 S7 S8S9 ;//оцифровка звуку при порожній черзі пристрої DSP після прийняття сигналу в S1 з очікуванням сигналу в S7 і S8 ситуаціях, закінчення процесу звукозапису
2.S6 S7 S8S9 ;//міститься в першій
3.S7 S8S9 ;//міститься в першій
4.S8S9 ;//міститься в першій
5.S1S2 S3 S4S5 ;//оцифровка звуку при непорожній черги пристрої DSP після прийняття сигналу в S1, продовження процесу звукозапису
6.S2 S3 S4S5 ;//міститься у п'ятій
. S5 S1 ;//підкачка сигналу з DSP, продовження звукозапису
8.S1S6 S7 S4 ;//поява сигналу в DSP під час руху до завершення процесу запису на стадії обміну між V і RAM, продовження звукозапису
9.S1S6 S7 S8 S5 ;//поява сигналу в DSP під час руху до завершення процесу запису на стадії о...