본문바로가기

자료 카테고리

소장자료소장자료 공공정책정보공공정책정보 외부기관 자료외부기관 자료
전체 1
도서자료 0
학위논문 0
연속간행물·학술기사 1
멀티미디어 0
동영상 0
국회자료 0
특화자료 0

도서 앰블럼

전체 (0)
일반도서 (0)
E-BOOK (0)
고서 (0)
세미나자료 (0)
웹자료 (0)
전체 (0)
학위논문 (0)
전체 (1)
국내기사 (1)
국외기사 (0)
학술지·잡지 (0)
신문 (0)
전자저널 (0)
전체 (0)
오디오자료 (0)
전자매체 (0)
마이크로폼자료 (0)
지도/기타자료 (0)
전체 (0)
동영상자료 (0)
전체 (0)
외국법률번역DB (0)
국회회의록 (0)
국회의안정보 (0)
전체 (0)
표·그림DB (0)
지식공유 (0)

도서 앰블럼

전체 1
국내공공정책정보
국외공공정책정보
국회자료
전체 ()
정부기관 ()
지방자치단체 ()
공공기관 ()
싱크탱크 ()
국제기구 ()
전체 ()
정부기관 ()
의회기관 ()
싱크탱크 ()
국제기구 ()
전체 ()
국회의원정책자료 ()
입법기관자료 ()

검색결과

검색결과 (전체 1건)

검색결과제한

열기
내서재담기 야간이용신청목록담기(서울관) 한자 한글변환 목록으로 알림톡 발송 우편복사 목록담기 프린트
이 자료 추천하기 오류신고
MARC
기사명/저자명
다중 CPS 개발에서 추적성 제공을 위한 안전성 분석기법 간의 의미적 관계 = Semantic relationship between safety analysis techniques to support traceability in developing multiple CPSs / 남승우, 혼다네스, 홍장의 인기도
발행사항
서울 : 한국정보과학회, 2019.01.15
수록지명
정보과학회논문지 = Journal of KIISE. 제46권 제1호 (2019년 1월), p.50-64
자료실
[서울관] 정기간행물실(524호)  도서위치안내(서울관)
외부기관 원문
외부기관 원문
제어번호
KINX2019047964
주기사항
한국연구재단에서 제공한 KCI 등재학술(후보)지임
원문

초록보기 더보기

항공, 의료, 산업 분야 등에서 융합 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. 미소장
내서재담기 야간이용신청목록담기(서울관) 한자 한글변환 목록으로 알림톡 발송 우편복사 목록담기 프린트

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차
연속간행물 팝업 열기 연속간행물 팝업 열기