Submit Search
Upload
On Modelling of Coordinated Behavior of PLC Sensors
•
0 likes
•
356 views
Iosif Itkin
Follow
Egor Kuzmin, Dmitriy Ryabukhin and Valery Sokolov, Yaroslavl State University, Yaroslavl
Read less
Read more
Science
Report
Share
Report
Share
1 of 15
Download now
Download to read offline
Recommended
미프진정보
미프진정보
ssuser840fbf
2 2010
2 2010
xLAZERx
Гид по парковкам
Гид по парковкам
Victor_Abramtsev
а
а
cz27
Презентация рекламной студии "Галактика"
Презентация рекламной студии "Галактика"
Businesscracy
Как Яндекс работает с отзывами на сервисы компании в социальных медиа
Как Яндекс работает с отзывами на сервисы компании в социальных медиа
Марина Герваси
Правила перекрытия объектов в памяти
Правила перекрытия объектов в памяти
Alex Markin
Инвестиционное предложение Prosument Ltd
Инвестиционное предложение Prosument Ltd
Prosument Ltd
Recommended
미프진정보
미프진정보
ssuser840fbf
2 2010
2 2010
xLAZERx
Гид по парковкам
Гид по парковкам
Victor_Abramtsev
а
а
cz27
Презентация рекламной студии "Галактика"
Презентация рекламной студии "Галактика"
Businesscracy
Как Яндекс работает с отзывами на сервисы компании в социальных медиа
Как Яндекс работает с отзывами на сервисы компании в социальных медиа
Марина Герваси
Правила перекрытия объектов в памяти
Правила перекрытия объектов в памяти
Alex Markin
Инвестиционное предложение Prosument Ltd
Инвестиционное предложение Prosument Ltd
Prosument Ltd
Журнал "Вестник "Коммеск-Омiр", №2-3, 2016
Журнал "Вестник "Коммеск-Омiр", №2-3, 2016
Коммеск-Омир
Foto all
Foto all
Jacek Galazka
9 f s_2017_ru
9 f s_2017_ru
4book9kl
Informatika 7-klass-rivkind-2015-ros
Informatika 7-klass-rivkind-2015-ros
kreidaros1
8 b m 2016_ros
8 b m 2016_ros
8new
Мониторинг блогов в Яндексе
Мониторинг блогов в Яндексе
Elnara Petrova
развитие артистических способностей у детей дошкольного возраста
развитие артистических способностей у детей дошкольного возраста
Natasha Pushkarnaya
Рестайлинг этикетки игристого Фанагории. Fanagoria sparkling wine label resty...
Рестайлинг этикетки игристого Фанагории. Fanagoria sparkling wine label resty...
Wineholidays
9
9
9klas
Схемы экономии в компании часть ІІ. Минимальная зарплата.
Схемы экономии в компании часть ІІ. Минимальная зарплата.
Александр Туголуков
8 i r 2016_ros
8 i r 2016_ros
8new
Optimization of Automata-Based Programs by means of Requirements Transformati...
Optimization of Automata-Based Programs by means of Requirements Transformati...
Iosif Itkin
Verification of 800 Automata-Based Programs Built by means of Genetic Program...
Verification of 800 Automata-Based Programs Built by means of Genetic Program...
Iosif Itkin
Software Development for Market Surveillance systems
Software Development for Market Surveillance systems
Iosif Itkin
A Methodology of Reproducible Research of Simulation Test Models and Communic...
A Methodology of Reproducible Research of Simulation Test Models and Communic...
Iosif Itkin
A System of Deductive Verification of Predicate Programs
A System of Deductive Verification of Predicate Programs
Iosif Itkin
Introduction into Fault-tolerant Distributed Algorithms and their Modeling (P...
Introduction into Fault-tolerant Distributed Algorithms and their Modeling (P...
Iosif Itkin
TMPA-2014: Exactpro Pep Talk
TMPA-2014: Exactpro Pep Talk
Iosif Itkin
Static Analysis of Transactions Management in Applications for Java EE Platform
Static Analysis of Transactions Management in Applications for Java EE Platform
Iosif Itkin
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
Iosif Itkin
Verification of Financial Models
Verification of Financial Models
Iosif Itkin
TMPA-2015: FPGA-Based Low Latency Sponsored Access
TMPA-2015: FPGA-Based Low Latency Sponsored Access
Iosif Itkin
More Related Content
What's hot
Журнал "Вестник "Коммеск-Омiр", №2-3, 2016
Журнал "Вестник "Коммеск-Омiр", №2-3, 2016
Коммеск-Омир
Foto all
Foto all
Jacek Galazka
9 f s_2017_ru
9 f s_2017_ru
4book9kl
Informatika 7-klass-rivkind-2015-ros
Informatika 7-klass-rivkind-2015-ros
kreidaros1
8 b m 2016_ros
8 b m 2016_ros
8new
Мониторинг блогов в Яндексе
Мониторинг блогов в Яндексе
Elnara Petrova
развитие артистических способностей у детей дошкольного возраста
развитие артистических способностей у детей дошкольного возраста
Natasha Pushkarnaya
Рестайлинг этикетки игристого Фанагории. Fanagoria sparkling wine label resty...
Рестайлинг этикетки игристого Фанагории. Fanagoria sparkling wine label resty...
Wineholidays
9
9
9klas
Схемы экономии в компании часть ІІ. Минимальная зарплата.
Схемы экономии в компании часть ІІ. Минимальная зарплата.
Александр Туголуков
8 i r 2016_ros
8 i r 2016_ros
8new
What's hot
(11)
Журнал "Вестник "Коммеск-Омiр", №2-3, 2016
Журнал "Вестник "Коммеск-Омiр", №2-3, 2016
Foto all
Foto all
9 f s_2017_ru
9 f s_2017_ru
Informatika 7-klass-rivkind-2015-ros
Informatika 7-klass-rivkind-2015-ros
8 b m 2016_ros
8 b m 2016_ros
Мониторинг блогов в Яндексе
Мониторинг блогов в Яндексе
развитие артистических способностей у детей дошкольного возраста
развитие артистических способностей у детей дошкольного возраста
Рестайлинг этикетки игристого Фанагории. Fanagoria sparkling wine label resty...
Рестайлинг этикетки игристого Фанагории. Fanagoria sparkling wine label resty...
9
9
Схемы экономии в компании часть ІІ. Минимальная зарплата.
Схемы экономии в компании часть ІІ. Минимальная зарплата.
8 i r 2016_ros
8 i r 2016_ros
Viewers also liked
Optimization of Automata-Based Programs by means of Requirements Transformati...
Optimization of Automata-Based Programs by means of Requirements Transformati...
Iosif Itkin
Verification of 800 Automata-Based Programs Built by means of Genetic Program...
Verification of 800 Automata-Based Programs Built by means of Genetic Program...
Iosif Itkin
Software Development for Market Surveillance systems
Software Development for Market Surveillance systems
Iosif Itkin
A Methodology of Reproducible Research of Simulation Test Models and Communic...
A Methodology of Reproducible Research of Simulation Test Models and Communic...
Iosif Itkin
A System of Deductive Verification of Predicate Programs
A System of Deductive Verification of Predicate Programs
Iosif Itkin
Introduction into Fault-tolerant Distributed Algorithms and their Modeling (P...
Introduction into Fault-tolerant Distributed Algorithms and their Modeling (P...
Iosif Itkin
TMPA-2014: Exactpro Pep Talk
TMPA-2014: Exactpro Pep Talk
Iosif Itkin
Static Analysis of Transactions Management in Applications for Java EE Platform
Static Analysis of Transactions Management in Applications for Java EE Platform
Iosif Itkin
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
Iosif Itkin
Verification of Financial Models
Verification of Financial Models
Iosif Itkin
TMPA-2015: FPGA-Based Low Latency Sponsored Access
TMPA-2015: FPGA-Based Low Latency Sponsored Access
Iosif Itkin
New Client Facing Roadmap
New Client Facing Roadmap
Iosif Itkin
EXTENT-2015: Prognoz Market Surveillance
EXTENT-2015: Prognoz Market Surveillance
Iosif Itkin
Exactpro Systems for KSTU Students in Kostroma
Exactpro Systems for KSTU Students in Kostroma
Iosif Itkin
Innovation in Quality Assurance – What is the Impact on Trading technology?
Innovation in Quality Assurance – What is the Impact on Trading technology?
Iosif Itkin
EXTENT-2015: Hyper-Fast Trading
EXTENT-2015: Hyper-Fast Trading
Iosif Itkin
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
Iosif Itkin
O Polo Naval de Rio Grande (1)
O Polo Naval de Rio Grande (1)
Sebastião Ribeiro
КГТУ Лаб 1: Stocks / FIX / FAST
КГТУ Лаб 1: Stocks / FIX / FAST
Iosif Itkin
Plan de Estudios
Plan de Estudios
guestd88d12
Viewers also liked
(20)
Optimization of Automata-Based Programs by means of Requirements Transformati...
Optimization of Automata-Based Programs by means of Requirements Transformati...
Verification of 800 Automata-Based Programs Built by means of Genetic Program...
Verification of 800 Automata-Based Programs Built by means of Genetic Program...
Software Development for Market Surveillance systems
Software Development for Market Surveillance systems
A Methodology of Reproducible Research of Simulation Test Models and Communic...
A Methodology of Reproducible Research of Simulation Test Models and Communic...
A System of Deductive Verification of Predicate Programs
A System of Deductive Verification of Predicate Programs
Introduction into Fault-tolerant Distributed Algorithms and their Modeling (P...
Introduction into Fault-tolerant Distributed Algorithms and their Modeling (P...
TMPA-2014: Exactpro Pep Talk
TMPA-2014: Exactpro Pep Talk
Static Analysis of Transactions Management in Applications for Java EE Platform
Static Analysis of Transactions Management in Applications for Java EE Platform
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
Verification of Financial Models
Verification of Financial Models
TMPA-2015: FPGA-Based Low Latency Sponsored Access
TMPA-2015: FPGA-Based Low Latency Sponsored Access
New Client Facing Roadmap
New Client Facing Roadmap
EXTENT-2015: Prognoz Market Surveillance
EXTENT-2015: Prognoz Market Surveillance
Exactpro Systems for KSTU Students in Kostroma
Exactpro Systems for KSTU Students in Kostroma
Innovation in Quality Assurance – What is the Impact on Trading technology?
Innovation in Quality Assurance – What is the Impact on Trading technology?
EXTENT-2015: Hyper-Fast Trading
EXTENT-2015: Hyper-Fast Trading
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
TMPA-2015: Standards and Standartization in Program Engineering. Why Would Yo...
O Polo Naval de Rio Grande (1)
O Polo Naval de Rio Grande (1)
КГТУ Лаб 1: Stocks / FIX / FAST
КГТУ Лаб 1: Stocks / FIX / FAST
Plan de Estudios
Plan de Estudios
Similar to On Modelling of Coordinated Behavior of PLC Sensors
508.православное богослужение в переводе с греческого и церковнославянского ...
508.православное богослужение в переводе с греческого и церковнославянского ...
ivanov15548
8 i r_2016_ru
8 i r_2016_ru
Svinka Pepa
8 klas informatika_rivkind_2016_ros
8 klas informatika_rivkind_2016_ros
UA7009
8 i r_2016_ru
8 i r_2016_ru
4book
Informatika 8-klass-rivkind-2016
Informatika 8-klass-rivkind-2016
kreidaros1
ривкинд инфо у_8.рус_(057-16)_s
ривкинд инфо у_8.рус_(057-16)_s
Ngb Djd
8 klas informatika_rivkind_2016_ros
8 klas informatika_rivkind_2016_ros
NEW8
информатика ривкинд рус.
информатика ривкинд рус.
della street
Гид по парковкам
Гид по парковкам
Mitino_district
Fizika 9-klass-syrotjuk-2017-ros
Fizika 9-klass-syrotjuk-2017-ros
kreidaros1
9
9
9klas
Проект водоснабжения
Проект водоснабжения
ssusera0095a
407. православное богослужение в переводе с греческого и церковнославянского...
407. православное богослужение в переводе с греческого и церковнославянского...
ivanov15548
Rosijska mova-9-klas-samonova-2017-5-rik-navch
Rosijska mova-9-klas-samonova-2017-5-rik-navch
kreidaros1
9 klas rosijska_mova_samonova_2017_5
9 klas rosijska_mova_samonova_2017_5
Svinka Pepa
Fordrazborka.zu8.ru правила работы на сто форд
Fordrazborka.zu8.ru правила работы на сто форд
7gsxr
Кто готовит бизнес-чемпионов? О подготовке внутренних тренеров в Компании
Кто готовит бизнес-чемпионов? О подготовке внутренних тренеров в Компании
Natalia Eremeeva
Yarm14 12
Yarm14 12
inet1032
Ilovepdf merged bo
Ilovepdf merged bo
Дарья Глобаж
Украина центр
Украина центр
Александр Павлов
Similar to On Modelling of Coordinated Behavior of PLC Sensors
(20)
508.православное богослужение в переводе с греческого и церковнославянского ...
508.православное богослужение в переводе с греческого и церковнославянского ...
8 i r_2016_ru
8 i r_2016_ru
8 klas informatika_rivkind_2016_ros
8 klas informatika_rivkind_2016_ros
8 i r_2016_ru
8 i r_2016_ru
Informatika 8-klass-rivkind-2016
Informatika 8-klass-rivkind-2016
ривкинд инфо у_8.рус_(057-16)_s
ривкинд инфо у_8.рус_(057-16)_s
8 klas informatika_rivkind_2016_ros
8 klas informatika_rivkind_2016_ros
информатика ривкинд рус.
информатика ривкинд рус.
Гид по парковкам
Гид по парковкам
Fizika 9-klass-syrotjuk-2017-ros
Fizika 9-klass-syrotjuk-2017-ros
9
9
Проект водоснабжения
Проект водоснабжения
407. православное богослужение в переводе с греческого и церковнославянского...
407. православное богослужение в переводе с греческого и церковнославянского...
Rosijska mova-9-klas-samonova-2017-5-rik-navch
Rosijska mova-9-klas-samonova-2017-5-rik-navch
9 klas rosijska_mova_samonova_2017_5
9 klas rosijska_mova_samonova_2017_5
Fordrazborka.zu8.ru правила работы на сто форд
Fordrazborka.zu8.ru правила работы на сто форд
Кто готовит бизнес-чемпионов? О подготовке внутренних тренеров в Компании
Кто готовит бизнес-чемпионов? О подготовке внутренних тренеров в Компании
Yarm14 12
Yarm14 12
Ilovepdf merged bo
Ilovepdf merged bo
Украина центр
Украина центр
More from Iosif Itkin
Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
Iosif Itkin
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Iosif Itkin
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Iosif Itkin
Operational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market Infrastructures
Iosif Itkin
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Iosif Itkin
Testing the Intelligence of your AI
Testing the Intelligence of your AI
Iosif Itkin
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
Iosif Itkin
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
Iosif Itkin
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
Iosif Itkin
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
Iosif Itkin
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
Iosif Itkin
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
Iosif Itkin
QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)
Iosif Itkin
Machine Learning and RoboCop Testing
Machine Learning and RoboCop Testing
Iosif Itkin
Behaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibile
Iosif Itkin
2018 - Exactpro Year in Review
2018 - Exactpro Year in Review
Iosif Itkin
Exactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and Strategy
Iosif Itkin
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
Iosif Itkin
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
Iosif Itkin
More from Iosif Itkin
(20)
Foundations of Software Testing Lecture 4
Foundations of Software Testing Lecture 4
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges Test Oracles
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Exactpro FinTech Webinar - Global Exchanges FIX Protocol
Operational Resilience in Financial Market Infrastructures
Operational Resilience in Financial Market Infrastructures
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
20 Simple Questions from Exactpro for Your Enjoyment This Holiday Season
Testing the Intelligence of your AI
Testing the Intelligence of your AI
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
EXTENT 2019: Exactpro Quality Assurance for Financial Market Infrastructures
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan Shamrai
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference Open
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QAFF Chicago 2019 - Complex Post-Trade Systems, Requirements Traceability and...
QA Community Saratov: Past, Present, Future (2019-02-08)
QA Community Saratov: Past, Present, Future (2019-02-08)
Machine Learning and RoboCop Testing
Machine Learning and RoboCop Testing
Behaviour Driven Development: Oltre i limiti del possibile
Behaviour Driven Development: Oltre i limiti del possibile
2018 - Exactpro Year in Review
2018 - Exactpro Year in Review
Exactpro Discussion about Joy and Strategy
Exactpro Discussion about Joy and Strategy
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
FIX EMEA Conference 2018 - Post Trade Software Testing Challenges
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)
On Modelling of Coordinated Behavior of PLC Sensors
1.
Î ìîäåëèðîâàíèè ñîãëàñîâàííîãî
ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. ßðÃÓ èì. Ï.Ã. Äåìèäîâà ßðîñëàâëü, 2014 Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
2.
Ïðîãðàììèðóåìûé ëîãè÷åñêèé êîíòðîëëåð
(ÏËÊ) 2/15 Îñîáåííîñòè ÏËÊ. Âõîäû: äàò÷èêè, êîíöåâûå âûêëþ÷àòåëè, êíîïêè, òåðìîìåòðû . . . . Âûõîäû: ýëåêòðîìàã. ðåëå, ïðèâîäû, ñâåòîâûå ñèãíàëèçàòîðû . . . . Ðàáî÷èé öèêë: ñ÷èòûâàíèå âõîäîâ, âûïîëíåíèå ïðîãðàììû, âûñòàâëåíèå âûõîäîâ. Ïðèìåíåíèå: áûòîâûå ïðèáîðû ïðîìûøëåííîå ïðîèçâîäñòâî. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
3.
Ïðîãðàììû ÏËÊ è
îñîáåííîñòè âåðèôèêàöèè 3/15 Äâà òèïà çàäà÷. 1 Àíàëîãîâûå. Îáåñïå÷åíèå óñòîé÷èâîñòè. Ïðîãðàììèðîâàíèå ôîðìóë. Äåäóêòèâíûé àíàëèç. 2 Äèñêðåòíûå. Ëîãè÷åñêîå óïðàâëåíèå. Êîíå÷íîå ïðîñòðàíñòâî ñîñòîÿíèé. Ìåòîä ïðîâåðêè ìîäåëè. Îòñóòñòâèå öèêëîâ (êðîìå ðàáî÷åãî). Ïîíèìàíèå øèðîêèì êðóãîì ñïåöèàëèñòîâ. Âûñîêàÿ öåíà ïðîãðàììíîé îøèáêè. ßçûêè ïðîãðàììèðîâàíèÿ ñòàíäàðòà ÌÝÊ 61131-3. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
4.
Ïîäõîäû ê ïîñòðîåíèþ
è âåðèôèêàöèè ÏËÊ-ïðîãðàìì 4/15 Öåëü ðàáîòû: îïèñàíèå òåõíîëîãèè ïðîãðàììèðîâàíèÿ ÏËÊ äëÿ çàäà÷ ëîãè÷åñêîãî óïðàâëåíèÿ. Äâà ïîäõîäà ê àíàëèçó ïðîãðàìì ÏËÊ: Ïðÿìàÿ òðàíñëÿöèÿ ñ ÿçûêîâ ñòàíäàðòà ÌÝÊ â èíòåðôåéñíûå ÿçûêè âåðèôèêàòîðîâ (SMV, SPIN, CPNTools...) Ïðîãðàììèðîâàíèå è âåðèôèêàöèÿ ïî ñïåöèôèêàöèè. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
5.
Ìîäåëü ïðîãðàììû ÏËÊ
5/15 Ñîñòîÿíèå ìîäåëè: âåêòîð çíà÷åíèé âõîäîâ + âåêòîð çíà÷åíèé âûõîäîâ è âíóòðåííèõ ïåðåìåííûõ. Ïåðåõîäû ïî ñîñòîÿíèÿì: îäèí ïðîõîä ðàáî÷åãî öèêëà. Óñëîâèÿ äëÿ ïðîãðàììíûõ ïåðåìåííûõ: 1 Íå áîëåå îäíîãî èçìåíåíèÿ çíà÷åíèÿ êàæäîé ïåðåìåííîé çà îäèí ïðîõîä ðàáî÷åãî öèêëà ÏËÊ. 2 Çíà÷åíèå ïåðåìåííîé èçìåíÿåòñÿ â îäíîì ìåñòå. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
6.
Òðàíñëÿöèÿ 6/15 LTL-ñïåöèôèêàöèÿ:
GX( V_V ) OldValCond ^ FiringCond ^ V=NewValExpr ) GX( V_V ) OldValCond0 ^FiringCond0 ^V=NewValExpr 0) ST-êîä: IF OldValCond AND FiringCond THEN V := NewValExpr ; ELSIF OldValCond0 AND FiringCond0 THEN V := NewValExpr 0; END_IF. SMV-ìîäåëü: case{ next(OldValCond ) next(FiringCond ) : next(V) := next(NewValExpr ); next(OldValCond0) next(FiringCond0) : next(V) := next(NewValExpr 0); default : next(V) := V; }. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
7.
Òðàíñëÿöèÿ 7/15 LTL-ñïåöèôèêàöèÿ:
GX(:_V ^ V ) FiringCond ) GX(_V ^ :V ) FiringCond0 ) ST-êîä: IF NOT _V AND FiringCond THEN V := 1 ; ELSIF _V AND FiringCond0 THEN V := 0; END_IF. SMV-ìîäåëü: case{ V next(FiringCond ) : next(V) := 1; V next(FiringCond0) : next(V) := 0; default : next(V) := V; }. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
8.
Ñîãëàñîâàííîå ïîâåäåíèå äàò÷èêîâ
8/15 1 Ñîñòîÿíèå äðóãèõ äàò÷èêîâ, åñëè äàò÷èê S ãîðèò (ìîë÷èò). G( X( S) ) Cond1 ) G( X(:S) ) Cond10 ) 2 Ïðè÷èíû òîãî, ÷òî äàò÷èê S ñðàáîòàë (ïîãàñ). G( :S ^ X( S) ) Cond2 ) G( S ^ X(:S) ) Cond20 ) 3 Çàëèïàíèå äàò÷èêà. G( G( S) ) Cond3 ) G( G(:S) ) Cond30 ) Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
9.
Óñòàíîâêà äëÿ ïðèãîòîâëåíèÿ
ñìåñåé 9/15 Кл0 Кл1 ДУ2 ДУ1 ДУ0 ПМ Бак 1 Бак 2 Кл2 Смесь Компоненты в резервуаре Бак 1 пуст Бак 2 пуст ДРП Кл3 Вкл Аварийный клапан Разливной клапан ДБ1 ДБ2 Резервуар Уровень 2 Уровень 1 Уровень 0 Приготовл. Правильн. Испорчена Компонент 1 Компонент 2 Кл. 1 Мешалка Включена Работает Кл. 2 Привод Ошибка Клапаны Кл1 Кл2 Кл0 Кл. 0 Ав. клап. Схема установки Панель управления Входы ПЛК Выходы Переключатели Приводы / лампы Кл. 0 SBPVlv открыть клапан 0 открыть клапан 0 Кл0 PVlv открыть клапан 1 1 1 2 Кл1 Vlv1 Кл. 1 SBVlv1 открыть клапан 1 2 Кл. 2 SBVlv2 открыть клапан 2 3 Привод SBMtr запустить мешалку 5 Датчики ДУ0 LS0 датчик уровня 0 8 ДУ1 LS1 датчик уровня 1 9 ДУ2 LS2 датчик уровня 2 10 открыть клапан 2 3 Кл2 Vlv2 запустить мешалку 5 Вкл ПМ Mtr ДРП MS датчик работы привода 11 открыть клапан 3 4 Кл3 EVlv Ав. клап. SBEVlv открыть клапан 3 4 ДБ1 TS1 датчик уровня бака 1 6 ДБ2 TS2 датчик уровня бака 2 7 Состояния / лампы смесь приготовлена Смесь MxIsFin MxIsPrp MxIsBad смесь правильная 6 7 смесь испорчена 8 в смеси есть компон. 2 10 в смеси есть компон. 1 9 Комп. 1 C1InMx Ошибка MtrErr сигнал ошибки 11 Комп. 2 C2InMx Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
10.
Ïðèìåðû îáùåïðîãðàììíûõ ñâîéñòâ
10/15 Âñåãäà, êîãäà îòêðûò ðàçëèâíîé êëàïàí, ñìåñü ÿâëÿåòñÿ ïðèãîòîâëåííîé. G(PVlv ) MxIsFin) Åñëü ñìåñü èñïîð÷åíà, òî êëàïàíû 1, 2 è ðàçëèâíîé êëàïàí äîëæíû áûòü çàêðûòû. G(MxIsBad ) :PVlv ^ :Vlv1 ^ :Vlv2) Åñëè ñìåñü ïåðåøëà â ñîñòîÿíèå èñïîð÷åíà, çíà÷èò áûë îòêðûò àâàðèéíûé êëàïàí. G(:MxIsBad ^ X(MxIsBad) ) EVlv) Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
11.
Ïðèìåð LTL-òðåáîâàíèé ê
ñîãëàñîâàííîìó ïîâåäåíèþ äàò÷èêîâ 11/15 LTL-òðåáîâàíèÿ äëÿ äàò÷èêà ïåðâîãî óðîâíÿ LS1: 1-ÿ ãðóïïà G( X(LS1) ) X(LS0)) G(:X(LS1) ) :X(LS2)) 2-ÿ ãðóïïà G(:LS1 ^ X(LS1) ) LS0 ^ X(LS0) ^ :LS2 ^ :X(LS2) ^ (Vlv1 ^TS1 _ Vlv2 ^TS2) ) G( LS1 ^ :X(LS1) ) LS0 ^X(LS0) ^:LS2 ^ :X(LS2) ^ (EVlv _ PVlv) ) Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
12.
Ïðèìåð LTL-òðåáîâàíèé ê
ñîãëàñîâàííîìó ïîâåäåíèþ äàò÷èêîâ 12/15 LTL-òðåáîâàíèÿ äëÿ äàò÷èêà ïåðâîãî óðîâíÿ LS1: 3-ÿ ãðóïïà G(G( LS1) ) F(G:(EVlv _ PVlv))_ G((EVlv _ PVlv) ) F(Vlv1 ^ TS1 _ Vlv2 ^ TS2))) G(G(:LS1) ) F(G:(Vlv1 ^ TS1 _ Vlv2 ^ TS2))_ G((Vlv1 ^ TS1 _ Vlv2 ^ TS2) ) F(EVlv _ PVlv))) Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
13.
Îñîáåííîñòè ïîäõîäà 13/15
Ñòàäèÿ íàïèñàíèÿ êîäà ïðîãðàììû çàêàí÷èâàåòñÿ, êàê òîëüêî äëÿ êàæäîé ïåðåìåííîé, ÿâëÿþùåéñÿ âûõîäîì èëè âñïîìîãàòåëüíîé âíóòðåííåé ïåðåìåííîé, ñîçäàíà ñïåöèôèêàöèÿ. Âîçìîæíîñòü ïðèìåíåíèÿ ìåòîäà ïðîâåðêè ìîäåëè (Model Checking) äëÿ àíàëèçà êîððåêòíîñòè ïðîãðàìì. LTL-ïðåäñòàâëåíèå ñîãëàñîâàííîãî ïîâåäåíèÿ äàò÷èêîâ. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
14.
Çàêëþ÷åíèå 14/15 Àïðîáàöèÿ:
12 òèïè÷íûõ çàäà÷ ëîãè÷åñêîãî óïðàâëåíèÿ (äëÿ ÏËÊ ñ 30 âõîäàìè è âûõîäàìè â ñðåäíåì). Âðåìÿ âåðèôèêàöèè: íåñêîëüêî ñåêóíä íà ïåðñîíàëüíîì êîìïüþòåðå. Îãðàíè÷åíèÿ íà âåðèôèêàöèþ: SMV ïîääåðæèâàåò äî 59 áèíàðíûõ ïåðåìåííûõ. Òèïè÷íûå ñâîéñòâà: âûïîëíåíèå êîìàíä, ñîáëþäåíèå òåõíîëîãè÷åñêîãî ïðîöåññà, áåñïåðåáîéíàÿ ðàáîòà ñèñòåìû. Äàëüíåéøåå ðàçâèòèå: ðàçðàáîòêà êîìïëåêñà ïîñòðîåíèÿ è âåðèôèêàöèè ÏËÊ-ïðîãðàìì. Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
15.
Áëàãîäàðèì çà âíèìàíèå!
Êóçüìèí Å. Â., Ðÿáóõèí Ä. À., Ñîêîëîâ Â. À. Ìîäåëèðîâàíèå ñîãëàñîâàííîãî ïîâåäåíèÿ ÏËÊ-äàò÷èêîâ
Download now