Acknowledgement
Supported by : 한국연구재단
References
- P. J. Mosterman and Z. Zander, "Cyber-Physical Systems Challenges: a needs analysis for collaborating embedded software systems," Journal: Software and System Modeling, Vol. 15, pp. 5-16, Feb. 2016. https://doi.org/10.1007/s10270-015-0469-x
- J. H. Kim, "Strategic countermeasures against future social change in the era of the 4th Industrial Revolution," KISTEP, Inside and Insight, Vol. 15, pp. 45-58, 2016.
- Adam Pawlak, "Models and Collaboration in Medical CPSs Design," Journal of medical Info. and Tech., Vol. 23, pp. 11-16, 2014.
- Oleg Sokolsky, et. al., "Architecture-Centric Software Development for Cyber-Physical Systems," Proc. of CPSArch Conference, pp. 1-6, 2014.
- Cristina Cristalli, et. al., "A CPS Approach for the Design of a Modular Smart Robotic Cell," proc. of IEEE IECON, pp. 4845-4850, 2016.
- Md. Masudur Rahman, "Requirements Model for Cyber-Physical System," Institute of Information Technology, pp. 1-4, May, 2017.
- S. H. Yoon, I. G. Cheon, W. T. Kim, J. Y. Cho, J. B. Yoo, "An ETRI CPS Modeling Language for Specifying Hybrid Systems," Journal of KIISE: Software and Applications, Vol. 42, No. 7, pp. 823-833, 2015. https://doi.org/10.5626/JOK.2015.42.7.823
- Edward A. Lee, "Cyber Physical Systems: Design Challenges," Proc. of the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, pp. 363-369, 2008.
- Jianhua Shi, "A Survey of Cyber-Physical Systems," Proc. of International Conference on Wireless Communications and Signal Processing, pp. 1-6, 2011.
- Edward A. Lee, "Modeling Cyber-Physical Systems," Proc. of the IEEE, Vol. 100, No. 1, pp. 13-28, Jan. 2012. https://doi.org/10.1109/JPROC.2011.2160929
- Giedre Sabaliauskaite and Aditya P. Mathur, "Aligning Cyber-Physical System Safety and Security," Proc. of the 1st Asia-Pacific Conference on Complex System Design & Management, pp. 41-53, 2014.
- Ivan Ruchkin, "Architectural and Analytic Integration of Cyber-Physical System Models," proc. of 8th International Workshop on Model-based Architecting of Cyber-Physical and Embedded System, pp. 35-40, 2015.
- D. Y. Hwang, J. H. Kim, Y. J. Ahn, I. H. Kang, J. Y. Cjoi, "Statechart/ACSR: Combining ACSR and Statechart for Formal Specification," Journal of KIISE : Computing Practices and Letters, Vol. 18, No. 2, pp. 143-147, 2012.
- Hector Geffner, "A Concise Introduction to Models and Methods for Automated Planning," Synthesis Lectures on Artifical Intelligence and Machine Learning, pp. 87-124, 2013.
- S. C. Botelho, R. Alami, "M+: a scheme for multi-robot cooperation through negotiated task allocation and achievement," Proc. of IEEE International Conference on Robotics & Automation, pp. 1234-1239, 1999.
- ISO 25010: 2011, Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models, ISO/IEC Standard, 2011.
- Johan Bengtsson, "Timed Automata: Semantics, Algorithms and Tools," Lectures on Concurrency and Petri Nets, pp. 87-124, 2004.
- Roberto Barbuti, "Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems," Journal of Computer and System Sciences, Vol. 59, pp. 537-556, 1999. https://doi.org/10.1006/jcss.1999.1660
- Antoine Mine, "A New Numerical Abstract Domain Based on Difference-Bound Matrices," Proc. of the 2nd Symposium on Programs as Data Objects, pp. 333-334, 2001.
- Rajeev Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.