The development of technology related to the Fourth Industrial Revolution and the growth of the online market due to pandemic are continuing the growth of the logistics market for product delivery. If it is difficult to deliver the product directly to the customer during delivery, storage and delivery using the unmanned courier box are being carried out. However, existing storage boxes are not actively used due to lack of usability even though they have the advantage of storing goods and delivering non-face-to-face. In addition, existing courier boxes are not prepared for cold chain transportation. The unmanned delivery storage device with ICT cold chain technology should be developed to prepare for the transition to non-face-to-face society, to improve logistics efficiency and meet user's requirements. Also, it is necessary to consider the measures to reduce the safety problems that may occur during the use and maintenance of the automatic system.This study conducted a model-based analysis for the development of unmanned delivery storage devices with ICT cold chain technology, and conducted a study to derive the system development specifications that meet the requirements and secure safety and apply them to the development process.

Abstract
1. 서 론
2. 문제의 정의
    2.1 ICT 콜드체인 기반 무인 택배물품보관장치
    2.2 모델 기반 시스템 분석
    2.3 시스템 안전성 향상을 위한 연구
    2.4 연구의 범위 및 접근 방법
3. 모델 기반 시스템 분석 및 안전성 분석
    3.1 무인 택배물품 보관장치 프로세스 분석
    3.2 모델 기반 관점의 시스템 분석
    3.3 모델 기반 시스템 안전성 분석
    3.4 안전성 분석 결과를 통한 시스템 개발
4. 결 론
5. References

• 박재민(아주대학교 시스템공학과) | Jae-Min Park (Department of Systems Engineering, AJOU University)
• 김영민(아주대학교 시스템공학과) | Young-Min Kim (Department of Systems Engineering, AJOU University) Corresponding author