RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем

Модел. и анализ информ. систем, 2019, том 26, номер 4, страницы 475–487 (Mi mais692)

Операционная семантика аннотированных Reflex программ
И. С. Ануреев

Список литературы

1. Programmable Controllers–Part 3: Programming Languages, International Standard IEC 61131-3, Second Edition, International Electrotechnical Commission, 2003-1
2. Basile F., Chiacchio P., Gerbasio D., “On the Implementation of Industrial Automation Systems Based on PLC”, IEEE Transactions on Automation Science and Engineering, 10:4 (2012), 990–1003  crossref
3. Travis J., Kring J., LabVIEW for Everyone: Graphical Programming Made Easy and Fun, Third Edition, Prentice Hall PTR, Upper Saddle River, NJ, USA, 2006
4. Zyubin V., “Using Process-Oriented Programming in LabVIEW”, Proceedings of the Second IASTED International Multi-Conference on "Automation, Control, and Information technology": Control, Diagnostics, and Automation, Novosibirsk, 2010, 35–41
5. Buxton J. N., Randell B., Software Engineering Techniques, Report on a Conference Sponsored by the NATO Science Committee, NATO Science Committee, Brussels; Scientific Affairs Division, NATO, Rome, Italy, 1970
6. Anureev I. S., Garanina N. O., Liakh T. V., Rozov A. S., Zyubin V. E., Gorlatch S., “Two-Step Deductive Verification of Control Software Using Reflex”, Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19) (Novosibirsk, Russia, Akademgorodok, Russia, July 2-5, 2019), 17–30
7. Anureev I. S., Garanina N. O., Liakh T. V., Rozov A. S., Schulte H., Zyubin V. E., “Towards Safe Cyber-Physical Systems: the Reflex Language and its Transformational Semantics”, 14th International Siberian Conference on Control and Communications (SIBCON) (Tomsk State University of Control Systems and Radioelectronics, Tomsk, April 18-20, 2019), 1–6
8. Zyubin V. E., Liakh T. V., Rozov A. S., “Reflex Language: a Practical Notation for Cyber-Physical Systems”, System Informatics, 12 (2018), 85–104
9. Norrish M., C Formalised in HOL, Ph.D. thesis, Technical Report, UCAM-CL-TR-453, University of Cambridge, 1998  mathscinet
10. Gurevich Y., Huggins J., “The Semantics of the C Programming Language”, International Workshop on Computer Science Logic, Lecture Notes in Computer Science, 702, 1992, 274–308  crossref
11. Blazy S., Leroy X., “Mechanized Semantics for the Clight Subset of the C Language”, Journal of Automated Reasoning, 43:3 (2009), 263–288  crossref  mathscinet  zmath
12. Nepomniaschy V. A., Anureev I. S., Mikhailov I. N., Promsky A. V., “Towards Verification of C Programs. C-light Language and its Formal Semantics”, Programming and Computer Science, 28:6 (2002), 314–323  crossref  zmath
13. Ellison C., Rosu G., “An Executable Formal Semantics of C with Applications”, Proc. of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, ACM SIGPLAN Notices, 47, no. 1, 2012, 533–544  crossref


© МИАН, 2025