Test environment for verification of multi-processor memory subsystem unit

Συγγραφείς: D.A. Lebedev, M.V. Petrochenkov

Πηγή: Труды Института системного программирования РАН, Vol 31, Iss 3, Pp 67-76 (2019)

Θεματικοί όροι: многоядерные микропроцессоры, Electronic computers. Computer science, протоколы когерентности, 0202 electrical engineering, electronic engineering, information engineering, тестовая система, кэш память, автономная верификация, QA75.5-76.95, 02 engineering and technology, верификация на основе моделей

Σύνδεσμος πρόσβασης: https://ispranproceedings.elpub.ru/jour/article/download/1180/938
https://doaj.org/article/b41b9ad177b24aebb9b6de5ceb976d61

Checking Parameterized Promela Models of Cache Coherence Protocols

Συγγραφείς: BURENKOV V.S., KAMKIN A.S.

Πηγή: Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 57-76 (2018)

Θεματικοί όροι: Electronic computers. Computer science, MULTICORE MICROPROCESSORS,SHARED MEMORY MULTIPROCESSORS,CACHE COHERENCE PROTOCOLS,MODEL CHECKING,SPIN,PROMELA,МНОГОЯДЕРНЫЕ МИКРОПРОЦЕССОРЫ,МУЛЬТИПРОЦЕССОРЫ С РАЗДЕЛЯЕМОЙ ПАМЯТЬЮ,ПРОТОКОЛЫ КОГЕРЕНТНОСТИ ПАМЯТИ,ПРОВЕРКА МОДЕЛЕЙ, QA75.5-76.95, многоядерные микропроцессоры, мультипроцессоры с разделяемой памятью, протоколы когерентности памяти, проверка моделей, spin, promela

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

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2016/28/4/isp_28_2016_4_57.pdf
https://doaj.org/article/07be596aa44c46e9b29bfc5c9403b61e
https://cyberleninka.ru/article/n/checking-parameterized-promela-models-of-cache-coherence-protocols
https://ispranproceedings.elpub.ru/jour/article/view/139
http://cyberleninka.ru/article/n/checking-parameterized-promela-models-of-cache-coherence-protocols
http://cyberleninka.ru/article_covers/16937637.png

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors

Συγγραφείς: Alexander Kamkin, Mikhail Petrochenkov

Πηγή: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 149-160 (2018)

Θεματικοί όροι: многоядерные микропроцессоры, кэш-память, консистентность памяти, протоколы когерентности, функциональная верификация, тестирование на основе моделей, автоматизация разработки тестов, тестовый оракул, «эльбрус-8c», Electronic computers. Computer science, QA75.5-76.95

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

Relation: https://ispranproceedings.elpub.ru/jour/article/view/643; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

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

A Technique for Parameterized Verification of Cache Coherence Protocols

Συγγραφείς: V. S. Burenkov

Πηγή: Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 231-246 (2018)

Θεματικοί όροι: многоядерные микропроцессоры, мультипроцессоры с разделяемой памятью, протоколы когерентности памяти, проверка моделей, spin, promela, Electronic computers. Computer science, QA75.5-76.95

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

Relation: https://ispranproceedings.elpub.ru/jour/article/view/324; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

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

A MODEL-BASED APPROACH TO DESIGN TEST ORACLES FOR MEMORY SUBSYSTEMS OF MULTICORE MICROPROCESSORS

Συγγραφείς: KAMKIN ALEXANDER, PETROCHENKOV MIKHAIL

Θεματικοί όροι: МНОГОЯДЕРНЫЕ МИКРОПРОЦЕССОРЫ, КЭШ-ПАМЯТЬ, КОНСИСТЕНТНОСТЬ ПАМЯТИ, ПРОТОКОЛЫ КОГЕРЕНТНОСТИ, ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ РАЗРАБОТКИ ТЕСТОВ, ТЕСТОВЫЙ ОРАКУЛ, "ЭЛЬБРУС-8C"

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

Διαθεσιμότητα: http://cyberleninka.ru/article/n/a-model-based-approach-to-design-test-oracles-for-memory-subsystems-of-multicore-microprocessors
http://cyberleninka.ru/article_covers/15899113.png