Journal of KIISE (정보과학회 논문지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지
DOI QR코드

DOI QR Code

Model-based Specification of Non-functional Requirements in the Environment of Real-time Collaboration Among Multiple Cyber Physical Systems

사이버 물리 시스템의 실시간 협업 환경에서 소프트웨어 비기능 요구사항의 모델 기반 명세

  • 남승우 (충북대학교 컴퓨터과학과) ;
  • 홍장의 (충북대학교 컴퓨터과학과)
  • Received : 2017.07.28
  • Accepted : 2017.10.19
  • Published : 2018.01.15
⟨ Previous Next ⟩

Abstract

Due to the advent of the 4th Industrial Revolution, it is imperative that we aggressively continue to develop state-of-the-art, cutting edge ICT technology relative to autonomous vehicles, intelligent robots, and so forth. Especially, systems based on convergence IT are being developed in the form of CPSs (Cyber Physical Systems) that interwork with sensors and actuators. Since conventional CPS specification only expresses behavior of one system, specification for collaboration and diversity of CPS systems with characteristics of hyper-connectivity and hyper-convergence in the 4th Industrial Revolution has been insufficiently presented. Additionally, behavioral modeling of CPSs that considers more collaborative characteristics has been unachieved in real-time application domains. This study defines the non-functional requirements that should be identified in developing embedded software for real-time constrained collaborating CPSs. These requirements are derived from ISO 25010 standard and formally specified based on state-based timed process. Defined non-functional requirements may be reused to develop the requirements for new embedded software for CPS, that may lead to quality improvement of CPS.

4차 산업혁명의 도래로 인하여 자율주행 자동차, 지능 로봇 등을 구현을 위한 ICT 분야의 기술 개발이 시급히 요구되고 있다. 특히 융합 IT를 기반으로 하는 모든 시스템들이 센서나 액추에이터와 연동하는 CPS(Cyber Physical Systems) 형태로 개발되고 있다. 기존의 CPS 명세는 단일 시스템의 행위만을 명세하였기 때문에, 초연결성과 초융합성을 갖는 4차 산업혁명 시대의 CPS 시스템이 갖는 협업 및 다양성 측면에 명세는 충분히 제시되지 못하였다. 특히 실시간적 특성을 갖는 다양한 응용에서는 더욱 협업적 특성을 고려한 행위 모델링이 이루어지지 못하였다. 본 논문에서는 이러한 실시간 협업 환경에서 임무를 수행하는 CPS용 임베디드 소프트웨어를 개발할 때, 어떠한 비기능 요구사항이 식별되어야 하는가를 정의한다. 이러한 요구사항은 ISO 25010 표준에 근거하여 도출하며, 실시간 협업을 위해 상태 기반의 Timed Process를 이용하여 정형적으로 명세한다. 도출된 비기능 요구사항들은 추후 CPS 기반의 새로운 임베디드 소프트웨어에 대한 요구사항을 정의하기 위해 재사용될 수 있을 것이며, 이를 통해 CPS의 품질만족도를 향상시킬 수 있을 것이다.

Keywords

Acknowledgement

Supported by : 한국연구재단

References

  1. 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
  2. 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.
  3. Adam Pawlak, "Models and Collaboration in Medical CPSs Design," Journal of medical Info. and Tech., Vol. 23, pp. 11-16, 2014.
  4. Oleg Sokolsky, et. al., "Architecture-Centric Software Development for Cyber-Physical Systems," Proc. of CPSArch Conference, pp. 1-6, 2014.
  5. Cristina Cristalli, et. al., "A CPS Approach for the Design of a Modular Smart Robotic Cell," proc. of IEEE IECON, pp. 4845-4850, 2016.
  6. Md. Masudur Rahman, "Requirements Model for Cyber-Physical System," Institute of Information Technology, pp. 1-4, May, 2017.
  7. 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
  8. 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.
  9. Jianhua Shi, "A Survey of Cyber-Physical Systems," Proc. of International Conference on Wireless Communications and Signal Processing, pp. 1-6, 2011.
  10. 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
  11. 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.
  12. 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.
  13. 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.
  14. Hector Geffner, "A Concise Introduction to Models and Methods for Automated Planning," Synthesis Lectures on Artifical Intelligence and Machine Learning, pp. 87-124, 2013.
  15. 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.
  16. ISO 25010: 2011, Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models, ISO/IEC Standard, 2011.
  17. Johan Bengtsson, "Timed Automata: Semantics, Algorithms and Tools," Lectures on Concurrency and Petri Nets, pp. 87-124, 2004.
  18. 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
  19. 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.
  20. Rajeev Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.