Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/21031| Title: | Верификация моделей автоматизированного проектирования и программирования систем железнодорожной автоматики |
| Authors: | Каменев, Александр Юрьевич Лапко, Антон Александрович Щеблыкина, Елена Викторовна Каменева, Нина Васильевна |
| Issue Date: | 2020 |
| Publisher: | Белорусский государственный университет транспорта |
| Citation: | Каменев А. Ю. Верификация моделей автоматизированного проектирования и программирования систем железнодорожной автоматики / А. Ю. Каменев, А. А. Лапко, Е. В. Щеблыкина, Н. В. Каменева // Проблемы безопасности на транспорте : материалы X Междунар. науч.-практ. конф. (Гомель, 26–27 ноября, 2020 г.). – Гомель : БелГУТ, 2020. – С. 22-24. |
| Abstract: | Расширение объёмов и сфер внедрения микропроцессорных систем железнодорожной автоматики (ЖА) на магистральном и промышленном транспорте предопределяет развитие методов и средств автоматизированного проектирования и программирования заложенных в них программноаппаратных устройств. Классические системы автоматизированного проектирования (САПР) и автоматизации инженерных расчётов (САЕ) в своих стандартных библиотеках, как правило, не содержат необходимых символов, функций и методов, с помощью которых возможно проектирование и программирование (в том числе конфигурирование) систем управления различных производителей. В соответствии с этим необходима разработка отдельных методов и моделей выполнения этих задач, которые могут быть интегрированы с существующими САПР- и САЕ-системами. |
| URI: | http://lib.kart.edu.ua/handle/123456789/21031 |
| ISBN: | 978-985-554-942-1 |
| Appears in Collections: | 2020 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Каменев.pdf | 3.03 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.