Keywords
How to Cite
Abstract
Ushbu maqolada dasturiy modulni ishlab chiqish tartibiga doir ayrim mulohaza va fikrlar yuritilgan. Unda dasturlash tilini tanlash, berilgan tuzilmani aniqlash, modulni dasturlash, modul matnini silliqlash, tekshirish va kompilyatsiyalash borasida tahlillar asosida ma’lumotlar berilgan.
References
Закревский А. Д. Параллельные алгоритмы логического управления. М.: Эдиториал УРСС, 2003. 200 с.
Wagner F., Schmuki R., Wagner T., Wolstenholme P. Modeling software with finite state machines: a practical approach // Auerbach Publications. 2006. 390 p.
Harel D. Statecharts: A visual formalism for complex systems // Science of computer programming. 1987. Vol. 8.3. P. 231–274.
Зюбин В. Е. Программирование ПЛК: языки МЭК 61131-3 и возможные альтернативы // Промышленные АСУ и контроллеры. 2005. № 11. С. 31–35.
Лях Т. В., Зюбин В. Е., Сизов М. М. Опыт применения языка Reflex при автоматизации Большого солнечного вакуумного телескопа // Промышленные АСУ и контроллеры. 2016. № 7. С. 37–43.
Зюбин В. Е. К пятилетию стандарта IEC 1131-3. Итоги и прогнозы // Приборы и системы.
Гаранина Н. О., Зюбин В. Е., Лях Т. В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации программных систем. // Системная информатика. 2017. № 9. С. 111–132.
Shilov N. V., Garanina N. O. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. Knowledge Processing and Data Analysis // Lecture Notes in Computer Science. 2011. Iss. 6581. P. 48–58.
Шелехов В. И. Верификация и синтез программ сложения на базе правил корректности операторов // Моделирование и анализ информационных систем. 2010. Т. 17, № 4. С. 101–110.
Clarke E. M., Gao S. Model checking hybrid systems // International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Lecture Notes in Computer Science. 2014. Iss. 8803. Р. 385–386.
Clarke E. M., Grumberg O., Peled D. Model checking. MIT Press, 1999. 314 p.
Clarke E. M., Emerson A., Sistla P. Automatic verification of finite-state concurrent systems using temporal logic specifications // ACM Transactions on Programming Languages and Systems. Vol. 8. Iss. 2. 1986. P. 244–263.