• 한국융합학회논문지
• /
• 제8권6호
• /
• pp.17-27
• /
• 2017

최근 사이버공격이 활성화됨에 따라 이러한 많은 공격사례들이 다양한 매체를 통해 접해지고 있다. 사이버공격에 대한 보안공학이나 역공학에 대한 연구는 활발하지만, 이들을 통합하고 비용효과적인 공격공학을 통해 공격시스템을 연계하여 적용시킨 연구는 부족하다. 본 논문에서는, 보안강화형 정보시스템을 보안공학적으로 개발하고, 역공학을 통해 취약점을 식별한다. 이 취약점을 이용하여 공격공학을 통해 공격시스템을 구축하거나 리모델링하는 생명주기모델을 비교 분석하여 각 시스템의 구조 및 행동을 명세화하고, 더욱 실효성 있는 모델링을 제안한다. 또한, 기존의 모델 도구를 확장하여 공격방법 및 시나리오를 기능적, 정적, 동적과 같은 모델의 관점에서 명세하는 도형적 공격명세모델을 제시한다.

• Korean Chemical Engineering Research
• /
• 제44권6호
• /
• pp.579-587
• /
• 2006

최근 지속 가능한 산업 개발을 위한 생태산업단지(eco-industrial park, EIP)의 개발이 각 국가별로 활성화 되고 있다. 생태산업단지(eco-industrial park)는 사업의 특성상 기업 및 정부, 그리고 자치단체가 모두 참여하는 성격을 지니지만 이를 구체적으로 실현하는 데는 공학적인 모델링 과정이 필요하다. 생태산업단지를 위한 주요 기술로는 에너지 교환, 물질흐름분석, 용수 이용 최적화, 전과정 평가를 통한 환경영향평가 등이 있다. 생태산업단지를 공학적으로 설계하는데 있어서 해당 기업들의 물질흐름이 어떻게 진행되고 이것을 어떻게 최적화 하여 모델링 할 것인지가 주요 목적이므로 물질흐름분석(material flow analysis, MFA) 방법론은 생태산업단지 설계에 유용하게 적용될 수 있다. 본 연구에서는 물질흐름분석 방법론 기술과 포항 생태산업 시범단지의 사례연구를 바탕으로 물질흐름 분석방법을 생태산업단지 모델링에 적용하는 방법, 그리고 MFA 모델링을 위한 소프트웨어의 활용을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제26권11호
• /
• pp.11-19
• /
• 2021

본 논문은 충전식 배터리의 단점을 보완하여 급속 충전과 방전이 가능하고 높은 전력 효율 및 반영구적인 충·방전 사이클 수명의 특성을 갖는 수퍼커패시터를 보조 전력 저장장치로 사용하여 전력 관리 시스템에 결합한 프로토타입 플랫폼을 제안한다. 본 논문의 플랫폼을 위해 물리적인 환경 변화에 따른 태양광 패널에서의 공급 전력 차단 혹은 재개 상태를 마이크로컨트롤러에 연결된 인터럽트를 통해 감지할 수 있는 기법을 개발하였다. 연속적인 전원 공급이 보장되지 않는 컴퓨팅 환경에서 데이터의 유실을 방지하기 위해 전원 공급이 차단되는 경우 휘발성 메모리에 있는 프로그램 문맥 및 데이터를 비휘발성 메모리로 이전하는 낮은 수준의 시스템 소프트웨어를 마이크로컨트롤러에 구현하였다. 실험을 통해 슈퍼커패시터가 보조 전력 저장장치로서 일시적 전원 공급에 효과적으로 하는지를 검증하였으며 다양한 벤치마크를 통해 전원 상태 감지 및 휘발성 메모리에서 비휘발성 메모리로의 프로그램 문맥 및 데이터의 이전 기법이 낮은 오버헤드를 갖음을 확인하였다.

• 문화기술의 융합
• /
• 제5권1호
• /
• pp.67-75
• /
• 2019

본 연구는 교과기반 프로그램학습성과 평가를 위한 전산시스템 개발 및 적용 사례를 제시하여 프로그램학습성과 평가의 실효성을 높이기 위한 목적으로 실행되었다. 본 연구는 교과기반 프로그램학습성과 평가를 위한 전산시스템을 개발하고 개발된 전산시스템 적용사례를 제시하는 방법론적 연구이다. 본 연구의 목적을 달성하기 위해 먼저, 시스템 개발 생명주기에 따라 요구도 조사를 실시한 후 그 결과를 전산시스템 개발에 반영 하였다. 다음으로 개발된 전산시스템을 직접 적용해 본 교수들을 대상으로 평가를 실시하였다. 전산시스템 개발을 통해 졸업시점에 이른 학생들의 개인별, 성과별 프로그램학습성과가 달성되었는지에 대한 모니터 및 CQI 수행이 용이하게 되었으며, 미달성 프로그램학습성과 및 학생에 대한 원인분석과 개선방안을 모색하는 것이 가능하게 되었다.

• 한국컴퓨터정보학회논문지
• /
• 제26권4호
• /
• pp.239-245
• /
• 2021

4차 산업혁명과 코로나19 사태로 인하여, 키오스크와 같은 디지털기기 사용가능 여부는 디지털 격차를 가진 노인에게 생존과 직결되는 문제이다. 본 논문은 고령자 대상 기존 정보화교육의 문제점을 분석하여 고령자의 신체·인지 노화와 라이프 사이클에 맞춤화된 정보화교육 전략을 제안한다. 본 연구에서 제안하는 고령자 맞춤형 정보화교육은 시간과 장소에 구애받지 않고 반복 학습을 지원하는 교육용 애플리케이션 기반 IT교육 방법으로서, 키오스크 기능을 기능성게임 형식의 교육용 애플리케이션으로 개발하고 교육 후의 효과성을 실험하였다. 연구방법은 첫째 문헌분석과 FGI를 통하여 고령자 맞춤형 교육용 애플리케이션 UI 사용성 평가 프레임을 제안하고, 둘째 제안한 평가 프레임에 의거한 교육용 애플리케이션 개발, 셋째 키오스크 교육에 교육용 애플리케이션을 활용하여 교육 효과성을 실험하였다. 실험결과, 교육용 애플리케이션 사용한 후의 미션 성공률은 80.6%로 사용 전(25.5%)과 비교하여 55.1%P의 향상과 함께 미션성공 소요시간도 단축하였다. 본 연구는 비대면 상황에서 제안한 정보화교육이 기존 교육의 한계를 극복할 수 있음을 확인하였다.

• International Journal of Computer Science & Network Security
• /
• 제21권4호
• /
• pp.103-114
• /
• 2021

A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an understanding of the high-level nature of the representation of entities and processes. In this context, models can have distinct architectural characteristics. This paper discusses model multiplicity (e.g., unified modeling language [UML]), model singularity (e.g., object-process methodology [OPM], thinging machine [TM]), and a heterogeneous model that involves multiplicity and singularity. The basic idea of model multiplicity is that it is not possible to present all views in a single representation, so a number of models are used, with each model representing a different view. The model singularity approach uses only a single unified model that assimilates its subsystems into one system. This paper is concerned with current approaches, especially in software engineering texts, where multimodal UML is introduced as the general-purpose modeling language (i.e., UML is modeling). In such a situation, we suggest raising the issue of multiplicity versus singularity in modeling. This would foster a basic appreciation of the UML advantages and difficulties that may be faced during modeling, especially in the educational setting. Furthermore, we advocate the claim that a multiplicity of views does not necessitate a multiplicity of models. The model singularity approach can represent multiple views (static, behavior) without resorting to a collection of multiple models with various notations. We present an example of such a model where the static representation is developed first. Then, the dynamic view and behavioral representations are built by incorporating a decomposition strategy interleaved with the notion of time.

• 산업경영시스템학회지
• /
• 제44권1호
• /
• pp.60-70
• /
• 2021

Recently, with the development of technologies for the fourth industrial revolution, convergence and complex technology are being applied to aircraft, electronic home appliances and mobile devices, and the number of parts used is increasing. Increasing the number of parts and the application of convergence technologies such as HW (hardware) and SW (software) are increasing the No Defect Found (NDF) phenomenon in which the defect is not reproduced or the cause of the defect cannot be identified in the subsequent investigation systems after the discovery of the defect in the product. The NDF phenomenon is a major problem when dealing with complex technical systems, and its consequences may be manifested in decreased safety and dependability and increased life cycle costs. Until now, NDF-related prior studies have been mainly focused on the NDF cost estimation, the cause and impact analysis of NDF in qualitative terms. And there have been no specific methodologies or examples of a working-level perspective to reduce NDF. The purpose of this study is to present a practical methodology for reducing NDF phenomena through data mining methods using quantitative data accumulated in the enterprise. In this study, we performed a cluster analysis using market defects and design-related variables of mobile devices. And then, by analyzing the characteristics of groups with high NDF ratios, we presented improvement directions in terms of design and after service policies. This is significant in solving NDF problems from a practical perspective in the company.

• 대한간호학회지
• /
• 제52권5호
• /
• pp.535-549
• /
• 2022

Purpose: The study aimed to design and develop an automated personalized self-care (APSC) program for patients with type 2 diabetes mellitus. The secondary aim was to present a clinical protocol as a mixed-method research to test the program effects. Methods: The APSC program was developed in the order of analysis, design, implementation, and evaluation according to the software development life cycle, and was guided by the self-regulatory theory. The content validity, heuristics, and usability of the program were verified by experts and patients with type 2 diabetes mellitus. Results: The APSC program was developed based on goal setting, education, monitoring, and feedback components corresponding to the phases of forethought, performance/volitional control, and self-reflection of self-regulatory theory. Using the mobile application, the participants are able to learn from educational materials, monitor their health behaviors, receive weekly-automated personalized goals and feedback messages, and use an automated conversation system to solve the problems related to self-care. The ongoing two-year study utilizes a mixed method design, with 180 patients having type 2 diabetes mellitus randomized to receive either the intervention or usual care. The participants will be reviewed for self-care self-efficacy, health behaviors, and health outcomes at 6, 12, 18, and 24 months. Participants in the intervention group will be interviewed about their experiences. Conclusion: The APSC program can serve as an effective tool for facilitating diabetes health behaviors by improving patients' self-care self-efficacy and self-regulation for self-care. However, the clinical effectiveness of this program requires further investigation.

• 정보보호학회논문지
• /
• 제30권5호
• /
• pp.909-928
• /
• 2020

미국 정부는 1970년대 초반부터 모의해킹만으로는 제품의 보안 품질을 향상시킬 수 없다는 것을 인지하기 시작하였다. 모의해킹팀의 역량에 따라 찾을 수 있는 취약점이 달라지며, 취약점이 발견되지 않았다고 해서 해당 제품에 취약점이 없는 것은 아니기 때문이다. 제품의 보안 품질을 향상시키기 위해서는 결국 개발 프로세스 자체가 체계적이고 엄격하게 관리되어야 함을 깨달은 미국 정부는 1980년대부터 보안내재화(Security by Design) 개발 방법론 및 평가 조달 체계와 관련한 각종 표준을 발표하기 시작한다. 보안내재화란 제품의 요구사항 분석 및 설계 단계에서부터 일찍 보안을 고려함으로써 제품의 복잡도(complexity)를 감소시키고, 궁극적으로는 제품의 신뢰성(trustworthy)을 달성하는 것을 의미한다. 이후 이러한 보안내재화 철학은 Microsoft 및 IBM에 의해 Secure SDLC라는 이름으로 2002년부터 민간에 본격적으로 전파되기 시작하였으며, 현재는 자동차 및 첨단 무기 체계 등 다양한 분야에서 활용되고 있다. 하지만 문제는 현재 공개되어 있는 Secure SDLC 관련 표준이나 가이드라인들이 매우 일반적이고 선언적인 내용들만을 담고 있기 때문에 이를 실제 현장에서 구현하기란 쉽지 않다는 것이다. 따라서 본 논문에서 우리는 Secure SDLC를 기업체가 원하는 수준에 맞게 구체화시키는 방법론에 대해 제시한다. 우리가 제안하는 CIA(functional Correctness, safety Integrity, security Assurance)-Level 기반 보안내재화 프레임워크는 기존 Secure SDLC에 증거 기반 보안 방법론(evidence-based security approach)을 접목한 것으로, 우리의 방법론을 이용할 경우 첫째 경쟁사와 자사간의 Secure SDLC 프로세스의 수준 차이를 정량적으로 분석할 수 있으며, 둘째 원하는 수준의 Secure SDLC를 구축하는데 필요한 상세한 세부 활동 및 산출해야 할 문서 등을 쉽게 도출할 수 있으므로 실제 현장에서 Secure SDLC를 구축하고자 할 때 매우 유용하다.

• 대한공간정보학회지
• /
• 제23권1호
• /
• pp.73-79
• /
• 2015

최근, BIM이 급속도로 확산되면서 여러 공사에서 BIM을 활용한 설계가 시도되고 있지만 설계 및 시공 단계에서 상이한 소프트웨어를 사용할 경우 상호 호환성의 문제가 생길 수 있다. 또한 도입 후 BIM이 위치정보와 연계된 다양한 공간정보 서비스에 활용되기보다 단순히 성과품 제출이나 시각화에 국한되어 있다. 이에 본 연구에서는 결과위주의 BIM성과제출은 무의미하며 활용성이 미비하다고 판단되어 지형공간정보체계와 BIM의 기술 접목을 해결책으로 생각하여, BIM 관련 선행연구들의 고찰을 통해 BIM의 동향 및 문제점을 파악하고자 한다. 또한 토목분야에서의 BIM 특히, 지형공간정보기술 기반의 토목-BIM구축을 위한 DB구축 방안을 제시하였다. 본 연구를 통하여 전 과정에서 발생하는 BIM의 대용량 DB가 향후 지형공간정보기술과 토목-BIM의 연계구축 시스템의 성능저하를 가져올 수 있다고 판단하였다. 이에 최적의 전생애주기 관리를 위한 DB만을 선별하였으며, 각 단계별로 필요한 공간분석기술에 대해 서술하였다.