• 대한기계학회논문집A
• /
• 제33권10호
• /
• pp.1151-1157
• /
• 2009

Nuclear power plants applying for the continued operation over design life are required to address the effects of reactor water environment in fatigue design requirement of the ASME Code. Reactor water environmental effects are generally evaluated by calculating fatigue correction factors on fatigue usage. This paper describes the application for pressurizer surge line of environmental fatigue correction factors and the strain rate impact in the application. From this paper, the environmental fatigue correction factors resulted from the assumption of a step change in temperature are especially compared with those calculated from the data measured during plant startup. As a conclusion of this paper, the design transient conditions applied to the fatigue design may be conservative in case of the environmental fatigue evaluation.

• 인터넷정보학회논문지
• /
• 제21권1호
• /
• pp.179-190
• /
• 2020

유닉스 계열 시스템 환경에서 GOT 변조(GOT overwrite) 공격은 소프트웨어 권한 탈취를 위한 전통적인 제어흐름 탈취 기법 중 하나이다. 그 동안 GOT 변조를 방어하기 위한 몇 가지 기법들이 제안되었는데, 그 중 프로그램 로딩 단계에서 GOT 영역을 읽기전용 속성으로 메모리 배치하여 실행 시간에 GOT 변조를 원천적으로 차단하는 Full Relro(Relocation Read only) 기법이 가장 효과적인 방어기법으로 알려져 왔다. 하지만, Full Relro 기법은 로딩 시간의 지연을 가져와 시작 성능에 민감한 프로그램의 적용에는 제약이 있고, 라이브러리에 적용시 의존 라이브러리에 의한 연쇄적인 로딩 지연 문제 등으로 라이브러리에는 현재 적용되지 않고 있다. 또한, LLVM을 포함한 다수의 컴파일러들은 Full Relro 기법을 기본 적용하지 않아 실행환경의 프로그램은 GOT 공격에 여전히 취약하다. 이 논문에서는 현재 코드 재사용 공격 방어를 위해 가장 적합한 기법으로 인식되고 있는 CFI(Control Flow Integrity) 기법을 사용한 GOT 보호 장치를 제안한다. LLVM을 기반으로 본 기법을 구현하고 binutils-gdb 프로그램 그룹에 적용해 보안성, 성능, 호환성 등을 평가하였다. 본 CFI 기반 GOT 보호 장치는 우회하기 어렵고, 빠르며 기존 라이브러리 프로그램과도 호환되어 적용가능성이 높다.

• 소프트웨어공학소사이어티 논문지
• /
• 제28권1호
• /
• pp.1-6
• /
• 2019

Google은 2009년 Bytecode로 구성된 Dex(Dalvik Executable)를 Dalvik Runtime의 Interpreter가 실행하는 형태의 Android를 공개하였다. 이후로 Interpreter 실행 속도 개선을 위해 JIT(Just-in-time) 컴파일 기술을 적용하였고 Lollipop(Android 5.0)부터는 Dalvik Runtime을 대체하여 ART Runtime을 제공하여 AOT(A head-of-time) 컴파일 지원을 통해 앱 설치 이후부터 Bytecode가 아닌 Native code로 동작하도록 함으로써 성능을 높일 수 있게 되었다. 하지만 앱 설치/업데이트 시점에 모든 대상을 컴파일하는 AOT 컴파일은 시간이 오래 걸리고 메모리/CPU 자원을 많이 사용함에 따라 느려지고 발열을 유발하여 사용자 불편함을 초래하였다. 시간이 지날수록 더 복잡하고 큰 코드를 지닌 앱들이 많이 등 장함에 따라 AOT 컴파일로 인해 발생하는 문제들이 더 많이 발생하게 되었고, Nougat(Android 7.0)부터는 이를 개선하여 AOT 컴파일을 앱 설치/업데이트 시점에 모두 수행하지 않고 최적화 시점을 나중으로 미루고 실제 사용자의 사용 기록인 Profile을 사용하는 Profile-guided 컴파일 방법을 통해 문제를 회피하고 있다. 이 연구에서는 앱 실행 속도를 설치 직후부터 개선할 수 있도록 하기 위해 Profile에 따른 앱 실행 속도의 특성을 파악하여 앱 실행 속도를 개선할 수 있는 Profile을 앱 개발 시점에 자동 생성하는 방법과 자동생성한 프로파일을 APK에 포함하고 앱 설치/업데이트 시점에 활용하여 최적화를 할 수 있는 방법을 제안한다. 제안하는 방법을 통해 앱 설치 시점에 Profile에 기반하여 선택적으로 컴파일할 수 있으므로 설치 시점에 발생하는 사용자 불편을 최소화할 수 있으며 앱 설치 이후 Native code 실행을 통해 앱 실행 속도를 최초 실행부터 개선할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제13권1호
• /
• pp.253-260
• /
• 2008

본 논문은 유비쿼터스 네트워크의 텔레매틱스 기술을 기반으로 자동차에 장착된 블랙박스에 IPv6에 의한 고유한 주소를 부여한다. 블랙박스는 시동 시에 운전자의 인증을 받아 작동하며 자동차의 주행기록을 영상신호 처리부와 센서신호 처리부회 분석하여 실시간으로 기록한다. 기록된 자료는 유비쿼터스 네트워크를 통하여 암호화되어 전송되며 도로변의 기지국 센서들을 통해 끊김 없는 위치 추적과 이동성 자료를 생성한다. 이 자료는 교통운영관리센터의 교통기록 데이터베이스에 IPv6 고유주소로 저장된다. 블랙박스를 장착한 자동차가 교통사고나 범죄에 사용된 경우에, 자동차용 블랙박스에서 회수된 코드와 IPv6주소, 교통기록 데이터베이스에 저장된 자료를 비교하여 검증과 인증을 통해 무결성을 확보한다. 이 포렌식 자료는 법정에서 책임소재와 판단의 증거자료로 인정받아 고도지식정보화사회에 편리하고 안전한 인간생활에 기여하게 될 것이다.

• 한국컴퓨터정보학회논문지
• /
• 제12권5호
• /
• pp.103-112
• /
• 2007

본 논문은 uC/OS-II 실시간 커널이 관리하는 주 자원인 마이크로프로세서와 메모리를 가상화하여 하나의 마이크로프로세서 상에서 다수의 uC/OS-II 실시간 커널을 수행시키는 하이퍼바이저를 구현하였다. 마이크로프로세서는 uC/OS-II 실시간 커널이 처리하는 인터럽트들을 제어하는 알고리즘을 적용하여 가상화하고 메모리는 물리적 메모리를 파티션하는 방식을 사용하여 가상화한다. 개발된 하이퍼바이저 프로그램은 타이머 인터럽트와 소프트웨어 인터럽트를 가상화하는 인터럽트 제어 루틴들, 하이퍼바이저와 각 커널을 정상 수행 상태까지 유도하는 코드, 그리고 가상화된 두 커널 사이에 데이터 전달을 제공하는 API로 구성되어 있다. 기존의 uC/OS-II 실시간 커널은 개발한 하이퍼바이저 상에서 수행되기 위하여 소스 코드 레벨에서 수정이 필요하다. 구현된 하이퍼바이저는 Jupiter 32비트 EISC 마이크로프로세서 상에서 실시간 동작 시험 및 독립 수행 환경 시험을 거친 결과 가상화 커널이 정상적으로 수행되는 것을 확인하였다. 본 연구 결과는 다수의 내장형 마이크로프로세서가 요구되는 응용 분야에 활용될 경우 하드웨어 가격 절감효과를 얻을 수 있으며 내장형 시스템의 부피, 무게 및 전력 소비량을 줄이는 효과가 있음을 확인하였다.

• 벤처창업연구
• /
• 제18권1호
• /
• pp.31-46
• /
• 2023

본 연구는 액셀러레이터 보육 프로그램의 학습방식에 관하여 글로벌 지향 ICT 분야 액셀러레이터를 중심으로 스타트업에 제공하는 학습방식을 분류 및 확인하였다. 액셀러레이터 보육 프로그램 운영을 담당하는 액셀러레이터 실무자 8개 사의 인터뷰를 진행하고, 인터뷰 결과를 질적 분석하여 액셀러레이터가 보육 프로그램을 통해 스타트업에 제공하는 다양한 학습방식을 도출하여 시사점을 제공하였다. 학습방식을 확인 및 분류하기 위해 연구자가 다양한 선행문헌을 검토하여 사용이 적절하다고 판단한 경험축적, 관찰, 실험, 시행착오, 임기응변의 학습방식을 질적 분석의 a priori code로 활용하였고, 인터뷰 결과는 주제분석을 통해 분석하였다. 연구결과 액셀러레이터의 보육 프로그램이 스타트업에 제공하는 학습방식은 경험축적, 관찰, 시행착오, 실험, 임기응변 등 5개의 범주 별 각 2개, 총 10개의 하위범주를 도출하여 확인하였다. 본 연구는 액셀러레이터의 주요 기능인 보육 프로그램에 관한 연구가 부족한 상황에서 학습에 대한 관점에서 액셀러레이터의 보육 프로그램이 보육 스타트업에 어떤 학습방식을 제공하고 있는지에 대한 결과를 도출하였다. 이는 학문적 및 실무적으로 액셀러레이터의 보육 프로그램이 스타트업에 제공하는 학습방식에 대한 이해도를 높이고, 조직학습에 대한 관점에서 액셀러레이터의 보육 프로그램이 보육 스타트업에 어떤 학습방식을 제공하고 있는지에 대한 관점을 확대했다는 점에서 의의가 있다. 액셀러레이터는 보육 스타트업에 충분한 학 습방식을 제공할 수 있는 보육 프로그램 개선에 활용할 수 있으며, 보육 프로그램 참여를 고민하는 스타트업이라면 보육 프로그램 참여를 결정하는 데도 도움이 될 수 있다.