과제정보
연구 과제 주관 기관 : 한국연구재단
참고문헌
- T. Ovatman, A. Aral, D. Polat, and A. O. Ünver, “An overview of model checking practices on verification of PLC software,” Software & Systems Modeling, Vol. 15, No. 4, pp. 937-960, Oct. 2016. https://doi.org/10.1007/s10270-014-0448-7
- D. Darvas, E. B. Viñuela, and I. Majzik, "PLC code generation based on a formal specification language," Proc. of the IEEE 14th International Conference on Industrial Informatics (INDIN), pp. 389-396, Jul. 2016.
- K. Lee, I. Kim, and T. Kim, "Formal Model based Automatic Native Code Translation Tool for Industrial Control Application," Proc. of the KIISE Korea Computer Congress (KCC), pp. 1457-1459, Jun. 2017. (in Korean)
- UPPAAL. [Online] Available: http://uppaal.org
- J. Choi, E. Jee, and D. H. Bae, “Systematic Generation of VxWorks-based Code from Timed Automata Models,” Journal of KIISE: Computing Practices and Letters, Vol. 19, No. 2, pp. 90-94, Feb. 2013. (in Korean)
- B. Kim, L. T. Phan, O. Sokolsky, and I. Lee, "Platform-dependent code generation for embedded realtime software," Proc. of the IEEE International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), pp. 1-10, Sep. 2013.
- K. Sacha, "Automatic Code Generation for PLC Controllers," Proc. of the 24th International Conference on Computer Safety, Reliability, and Security, pp. 303-316, Sep. 2005.
- SOEM(Simple Open EtherCAT Master), [Online] Available: https://openethercatsociety.github.io