|
|
|
Список литературы
|
|
|
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 |
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 |
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 |
11. |
Blazy S., Leroy X., “Mechanized Semantics for the Clight Subset of the C Language”, Journal of Automated Reasoning, 43:3 (2009), 263–288 |
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 |
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 |