Освещаются некоторые аспекты применения объектно-ориентированного подхода к разработке системы регрессионного тестирования компиляторов на ВК серий «Эльбрус-3m» и «МЦСТ-R». Излагаются особенности регрессионного контроля качества компиляторов на проекте. Рассматриваются архитектура системы автоматизированного тестирования и специфика моделей основных функциональных компонент, приводятся сведения о программной реализации продукта.
Рассматривается применимость метода model checking и инструмента Spin, в котором реализованы алгоритмы метода, к верификации протоколов когерентности памяти. Анализируются основные процедуры и оптимизации Spin.
Рассматриваются подходы к созданию человеко-машинного интерфейса в среде разработки Beremiz для управления прикладными программами, исполняемыми на программируемых логических контроллерах с отечественными микропроцессорами SPARC и «Эльбрус» в области АСУТП.