본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색
결과 내 검색 동의어 포함
결과 내 검색 동의어 포함

-

초록보기

항공, 의료, 산업 분야 등에서 융합 IT를 기반으로 하는 시스템들이 센서 및 액추에이터 기반의 물리세계와 연동하는 CPS(Cyber Physical System) 형태로 개발되고 있다. 이러한 CPS들은 주어진 임무를 수행하기 위해 협업을 통한 기능의 공유가 이루어질 수 있기 때문에, 상호작용 및 환경적 요인에서 발생할 수 있는 위협 요소를 운용 전에 분석하여 대비하는 것이 필요하다. 본 논문에서는 다중 CPS의 기능에 대한 안전성 분석을 위해 기존 분석 기법의 확장 및 IEC 61508 표준의 분석활동과 연계하여 확장된 안전성 분석 기법을 제안한다. 또한 CPS 시스템들의 기능 안전 추적을 위하여 제안한 기법들 간의 의미적 관계를 식별, 정의하고, 이를 자율주행 사고탐지 시스템(Automatic Incident Detection System)에 적용함으로써, 기법간의 관계 정의에 대한 유용성을 확인하였다.

Many systems based on convergence IT are being developed in the form of CPS(Cyber Physical System), in which sensors and actuators interwork in aviation, medical, and industrial manufacturing. It is necessary to analyze and prepare for possible hazards from interaction and environmental factors before system operation in real environment, because the collaboration and common functions may appear to achieve the given mission. This paper proposes three extensions of existing safety analysis techniques, for multiple CPSs in relation to analysis activities of IEC 61508 standard. We also identify and define semantic relationships between our extended techniques, to provide the traceability of functional safety in CPSs, and show the usefulness of relationships, by applying to AIDS(Automatic Incident Detection System) of autonomous vehicles.

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
웹 페이지 스케치기반 HTML코드 자동생성 = Automatic generation of HTML code based on web page sketch 김바다, 박상민, 원태연, 허준영 p.9-14
사물 인터넷 미들웨어에서 날씨 온톨로지 시스템 = Weather ontology system in IoT middleware 김유진, 전수빈, 정인범 p.97-108

Parallel Stacked Bidirectional LSTM 모델을 이용한 한국어 영화리뷰 감성 분석 = Korean movie-review sentiment analysis using parallel stacked bidirectional LSTM model 오영택, 김민태, 김우주 p.45-49
두개악안면 CBCT 영상에서 밝기값 비용함수 최적화 기반의 치아 분리선 및 평면 탐색을 통한 자동 치아 분리 = Automatic teeth separation through searching teeth separation lines and planes based on intensity cost function optimization in maxillofacial CBCT images 이소영, 이민진, 홍헬렌 p.65-70

증강현실을 위한 GPU 기반 실시간 광원 추정 기법 = GPU-based real-time light source estimation for augmented reality 박소영, 조성훈, 이성길 p.1-8

해안 물놀이객 검출을 위한 외곽선 특징맵과 CNN의 결합 모델 = A combined model of outline feature map and CNN for detection of people at the beach 문귀성, 김윤 p.31-38
관심 영역 기반 이미지 자리 표시자 생성 = Saliency-based SVG image placeholder generation 김수지, 최성희 p.39-44

Self-Attention 지배소 인식 모델을 이용한 어절 단위 한국어 의존 구문분석 = Korean dependency parsing using the self-attention head recognition model 임준호, 김현기 p.22-30
IoT 환경에서의 시공간 조인의 효율적 처리 기법 = An efficient method of processing spatio-temporal joins in IoT (internet of things) environments 이기용, 서민지, 이용, 박민우, 이상환 p.86-96
도로 교통망에 대한 사용자의 선호도 변화를 반영한 경로 추천 = Route recommendation based on dynamic user preference on road networks 정주원, 박석 p.77-85

다중 CPS 개발에서 추적성 제공을 위한 안전성 분석기법 간의 의미적 관계 = Semantic relationship between safety analysis techniques to support traceability in developing multiple CPSs 남승우, 혼다네스, 홍장의 p.50-64

Automatic transformation of Korean fonts using unbalanced U-Net and generative adversarial networks = Unbalanced U-Net과 GAN(Generative Adversarial Networks)을 이용한 한국어 폰트 자동 변환 Pangjia, Seunghyun Ko, Yang Fang, Geun-sik Jo p.15-21
멀티 모달 데이터를 이용한 한국형 주요 우울 장애 진단 및 치료 모델 = Diagnostic and therapeutic model for Korean major depressive disorder using multi-modal data 최용화, 김아람, 전민지, 김선규, 한규만, 원은수, 함병주, 강재우 p.71-76

참고문헌 (22건) : 자료제공( 네이버학술정보 )

참고문헌 목록에 대한 테이블로 번호, 참고문헌, 국회도서관 소장유무로 구성되어 있습니다.
번호 참고문헌 국회도서관 소장유무
1 J. Shi, J. Wan, H. Yan, H. Suo, "A survey of cyber-physical systems," Proc. of Wireless Communications and Signal Processing Conference, Nov. 2011. 미소장
2 Review of hazard analysis methods and their basic characteristics 네이버 미소장
3 S. Oveisi and R. Ravanmehr, "Analysis of software safety and reliability methods in cyber physical systems," Int. J. Critical Infrastructures, Vol. 13, No. 1, pp. 1-15, Jan. 2017. 미소장
4 E. A. Lee, "Cyber Physical Systems: Design Challenges,"Proc. of the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing, pp. 363-369, Jan. 2008. 미소장
5 J. Lee, B. Bagheri, and H. A. Kao, "A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems," Journal of Manufacturing Letters, Vol. 3, pp. 18-23, Jan. 2015. 미소장
6 M. Tuo, X. Zhou, G. Yang, N. Fu, "An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation," 2016 IEEE International Conference on Internet of Things (iThings)and IEEE Green Computing and Communications(GreenCom) and IEEE Cyber, Physical and Social Computing(CPSCom) and IEEE Smart Data (SmartData), pp. 636-639, 2016. 미소장
7 HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems 네이버 미소장
8 G. Howard, M. Butler, J. Colley, V. Sassone, "Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology," 2017 IEEE European Symposium on Security and Privacy Workshops(EuroS&PW), pp. 174-180, Apr. 2017. 미소장
9 F. Redmill, "IEC 61508-principles and use in the management of safety," Manufacturing Letters, Vol. 9, No. 5, pp. 205-213, Oct. 1998. 미소장
10 S. W. Nam, D. Horn, J. E. Hong, "Identifying Semantic Relationship between Safety Analysis Techniques to Support Traceability in multiple CPS development," Korea Computer Congress 2018, pp. 476-478, Jun. 2018. (in Korean) 미소장
11 Y. Peng, T. Lu, etc., "Cyber-Physical System Risk Assessment," 2013 Ninth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, pp. 442-447, Oct. 2013. 미소장
12 A Survey of Safety Analysis Techniques for Safety Critical Systems 네이버 미소장
13 W. M. P. van der Aalst, A. H. M. ter Hofstede, M. Weske, "Business Process Management: A Survey,"International Conference on Business Process Management, pp. 1-12, May, 2003. 미소장
14 M. Towhidnejad, D. R. Wallace, A. M. Gallo, "Fault tree analysis for software design," 27th Annual NASA Goddard/IEEE Software Engineering Workshop, pp. 1-6, Dec. 2003. 미소장
15 S. K. Kim and Y. S. Kim, "Evaluation Process for the Hardware Safety Integrity Level," International Journal of Mechanical, Aerospace, Industrial, Mechatronic and Manufacturing Engineering, Vol. 7, No. 4, pp. 547-551, Apr. 2013. 미소장
16 J. P. Notander, M. Host, P. Runeson, "Challenges in Flexible Safety-Critical Software Development -An Industrial Qualitative Survey," International Conference on Product Focused Software Process Improvement, pp. 283-297, Jun. 2013. 미소장
17 Wikipedia. (2014, Sep 22). IEC61508 [Online]. Available:http://ko.wikipedia.org/wiki/IEC_61508 (downloaded 2018, Jul. 25) 미소장
18 Software Safety and Security Risk Mitigation in Cyber-physical Systems 네이버 미소장
19 A. Chevallier, Strategic Thinking in Complex Problem Solving, pp. 78, Oxford University Press, Oxford, 2016. 미소장
20 K. H. Kim, Standard for Automatic Incident Detection System - Part 1. Basic requirements, pp. 1-9, Intelligent Transport Society of Korea, 2015. 미소장
21 K. H. Kim, Standard for Automatic Incident Detection System - Part 2. Information exchange, pp. 1-19, Intelligent Transport Society of Korea, 2015. 미소장
22 K. H. Kim, Standard for Automatic Incident Detection System - Part 3. System specification, pp. 1-8, Intelligent Transport Society of Korea, 2015. 미소장

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차