Deductive Verification of Telecommunication Systems Written in C

Συγγραφείς: Igor S. Anureev

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 34-44 (2012)
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 34-44 (2015)

Θεματικοί όροι: Information technology, 02 engineering and technology, телекоммуникационные системы, T58.5-58.64, 16. Peace & justice, telecommunication systems, верификация, telecommunication protocols, трансформационная семантика, specification, axiomatic semantics, transformational semantics, operational semantics, аксиоматическая семантика, спецификация, 0202 electrical engineering, electronic engineering, information engineering, телекоммуникационные протоколы, операционная семантика, verification

Σύνδεσμος πρόσβασης: https://www.mais-journal.ru/jour/article/download/137/135
https://doaj.org/article/97165d259937457ca94f6a6a6085de98
https://doaj.org/article/919a428bcad9458bb8884c55cbafb345
https://link.springer.com/article/10.3103/S0146411613070183
https://dblp.uni-trier.de/db/journals/accs/accs47.html#Anureev13

Deductive Verification of Telecommunication Systems Written in C

Συγγραφείς: I. S. Anureev

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 34-44 (2012)

Θεματικοί όροι: верификация, спецификация, операционная семантика, аксиоматическая семантика, трансформационная семантика, телекоммуникационные системы, телекоммуникационные протоколы, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

Relation: http://mais-journal.ru/jour/article/view/137; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Σύνδεσμος πρόσβασης: https://doaj.org/article/97165d259937457ca94f6a6a6085de98

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets ; Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри

Συγγραφείς: S. A. Chernenok, V. A. Nepomniaschy, Сергей Анатольевич Черненок, Валерий Александрович Непомнящий

Συνεισφορές: РФФИ

Πηγή: Modeling and Analysis of Information Systems; Том 21, № 6 (2014); 94-106 ; Моделирование и анализ информационных систем; Том 21, № 6 (2014); 94-106 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: раскрашенные сети Петри, translation, verification, distributed systems, communication protocols, MSC diagrams, Coloured Petri Nets, трансляция, верификация, распределённые системы, телекоммуникационные протоколы, MSC-диаграммы

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/74/72; Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // СПИИРАН. 2013. Вып. 3(26). С. 349–383 (English transl.: Anureev I., Baranov S., Beloglazov D., Bodin E., Drobintsev P., Kolchin A., Kotlyarov V., Letichevsky A., Letichevsky A. Jr., Nepomniaschy V., Nikiforov I., Potienko S., Pryma L., Tyutin B. Tools for Supporting Integrated Technology of Analysis and Verification of Specifications for Telecommunication Applications // SPIIRAS. Proc. 2013. V. 3. P. 349–383.); Стененко А.А., Непомнящий В.А. Верификация раскрашенных сетей Петри методом проверки моделей / Институт систем информатики СО РАН. Препринт 172. Новосибирск, 2014. http://www.iis.nsk.su/files/preprints/172.pdf (English transl.: Stenenko A.A., Nepomniaschy V.A. Verification of Coloured Petri Nets by model checking method / Institute of Informatics Systems SB RAS. Preprint 172. Novosibirsk, 2014.); Черненок С.А., Непомнящий В.А. Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри / Институт систем информатики СО РАН. Препринт 171. Новосибирск, 2013. http://www.iis.nsk.su/files/preprints/171.pdf (English transl.: Chernenok S.A., Nepomniaschy V.A. Analysis of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets / Institute of Informatics Systems SB RAS. Preprint 171. Novosibirsk, 2013.); Abdallah R., Gotlieb A., Helouet L., Jard C. Scenario Realizability with Constraint Optimization // FASE 2013, LNCS 7793. 2013. P. 194–209.; Chernenok S.A., Nepomniaschy V.A. Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets // Proc. of 5th Workshop "PSSV: Theory and Applications". Moscow, 2014. P. 38–49.; Chernenok S.A. Analysis and Verification of Message Sequence Charts of Distributed Systems Using Coloured Petri Nets. Appendix. http://bitbucket.org/chernenok/msc-verification; Eichner C., Fleischhack H., Meyer R., Schrimpf U., Stehno S. Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets // SDL-Forum 2005, LNCS 3530. P. 133–148.; Genest B., Muscholl A., Peled D. Message Sequence Charts // Lectures on Concurrency and Petri Nets, LNCS 3098. 2003. P. 537–558.; ITU-T Recommendation Z.120 (02/2011): Message Sequence Chart (MSC). 2011.; Jensen K., Kristensen L.M. Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer, 2009.; Kryvyi S., Matvyeyeva L. Algorithm of Translation of MSC-specified System into Petri Net // Fundamenta Informaticae, 2007. V. 79. № 3–4. P. 431–445.; Letichevsky A., Kapitonova J., Letichevsky A. Jr., Volkov V., Baranov S., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Computer Networks: The International Journal of Computer and Telecommunications Networking. 2005. V. 49. № 5. P. 661–675.; Liang H., Dingel J., Diskin Z. A Comparative Survey of Scenario-Based to State-Based Model Synthesis Approaches // SCESM 2006, ACM. NY, 2006. P. 5–12.; Muccini H. Detecting Implied Scenarios Analyzing Non-local Branching Choices // FASE 2013, LNCS 2621. P. 372–386.; Ribeiro O.R., Fernandes J.M. Some Rules to Transform Sequence Diagrams into Coloured Petri Nets // 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2006). Aarhus, Denmark, 2006. P. 237–256.; Tanenbaum A. Computers Networks (4th Edition). Prentice Hall PTR, 2002.; Yang N., Yu H., Sun H., Qian Z. Modeling UML sequence diagrams using extended Petri nets // Telecommunication Systems. Springer, 2012. V. 51. № 2–3. P. 147–158.

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/74
https://doi.org/10.18255/1818-1015-2014-6-94-106

Стандарты беспроводных коммуникаций в АСУ

Συγγραφείς: Страшун, Ю.

Θεματικοί όροι: БЕСПРОВОДНЫЕ КОММУНИКАЦИИ, АСУ, ТЕЛЕКОММУНИКАЦИОННЫЕ ПРОТОКОЛЫ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/standarty-besprovodnyh-kommunikatsiy-v-asu
http://cyberleninka.ru/article_covers/14973668.png

Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106

Θεματικοί όροι: тестирование безопасности, синтез тестов, телекоммуникационные протоколы

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745

Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов

Συνεισφορές: Томский государственный университет Научное управление Лаборатории НУ

Πηγή: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 67-76

Θεματικοί όροι: синтез тестов, телекоммуникационные протоколы, древовидные автоматы, TCP, протокол

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505205

Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов

Συγγραφείς: Сухоплюев, Максим Николаевич, Кушик, Наталья Геннадьевна

Συνεισφορές: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур, Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 103-106

Θεματικοί όροι: телекоммуникационные протоколы, синтез тестов, тестирование безопасности

Περιγραφή αρχείου: application/pdf

Relation: vtls:000524745; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000524745

Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов

Συγγραφείς: Форостьянова, Мария Сергеевна

Συνεισφορές: Томский государственный университет Научное управление Лаборатории НУ

Πηγή: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 67-76

Θεματικοί όροι: синтез тестов, древовидные автоматы, TCP, протокол, телекоммуникационные протоколы

Περιγραφή αρχείου: application/pdf

Relation: vtls:000505205; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505205

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505205