• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.1016-1019
• /
• 1996

This paper discribes automobile processes and introduction for process monitoring and control system for engine plant, truck automobile industries using the MES(Manufacturing Execution Systems) functions.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2009년도 춘계학술대회 논문집
• /
• pp.637-638
• /
• 2009

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2008년도 춘계학술대회 논문집
• /
• pp.45-46
• /
• 2008

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2009년도 추계학술대회 논문집
• /
• pp.743-744
• /
• 2009

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2009년도 추계학술대회 논문집
• /
• pp.723-724
• /
• 2009

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.708-710
• /
• 2013

네트워크 및 인터넷 서비스의 발달로 초고속 컴퓨팅 자원을 쉽게 활용하여 실세계의 여러 물리적 현상을 분석할 수 있는 웹기반 시뮬레이션 서비스가 활발히 사용되고 있다. 보다 편리한 시뮬레이션 서비스를 제공하기 위하여 수행 데이터 분석을 통해 서비스를 개선할 수 있다. 특히 분석하는 전문가에 따라 필요한 정보가 다르기 때문에 편리한 데이터 검색을 위해 API를 설계한다. 이 논문에서는 열유체 및 화학분야에 사용된 웹 기반 시뮬레이션 수행 데이터를 사용자가 쉽게 분석할 수 있는 검색 API를 설계한다. 설계된 검색 API는 사용자, 시뮬레이션 프로그램, 사이버랩(cyberlab) 정보를 중심으로 사용자, 사용기간, 소속에 따른 시뮬레이션 수행 내역을 손쉽게 검색하는 기능을 제공한다. 그리고 이 API를 활용하여 웹 시뮬레이션 통계 서비스, 시뮬레이션 수행 경향 분석, 자주 발생하는 오류 파악, 등 사용자가 시뮬레이션을 수행하기에 유용한 정보를 제공할 수 있다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.1039-1048
• /
• 2019

프로그램 자동 분석 방법 중 하나인 기호 실행은 지난 몇 해 동안 기술적으로 크게 향상 되었다. 그러나 여전히 기호실행 그 자체만을 이용하여 프로그램을 분석하는 것은 실용적이지 않다. 가장 큰 이유로는 프로그램 분석 중에 발생하는 경로 폭발 문제로 인한 메모리 부족으로, 기호 실행을 이용해 프로그램의 모든 경로의 해를 구할 수 없다. 따라서 분석가는 모든 경로의 해를 구하는 것이 아닌 취약성을 갖는 지점으로 기호 실행 탐색 경로를 구성하는 것이 실용적이다. 본 논문에서는 기호 실행 과정에서 사용될 수 있는 정적분석 기반 바이너리 역방향 제어 흐름 그래프 생성 방법 기술을 제안한다. 역방향 제어 흐름 그래프 생성을 통해 분석가는 바이너리 내의 잠재적인 취약지점을 선정할 수 있고, 해당 지점으로부터 생성된 역추적 경로는 향후 기호 실행을 위해 효율적으로 사용될 수 있다. 우리는 리눅스 바이너리(x86)를 대상으로 실험을 진행하였고, 실제로 잠재적인 취약점 선정 및 역추적 경로 생성이 바이너리의 다양한 상황에서 가능함을 보였다.

• 정보처리학회논문지C
• /
• 제11C권4호
• /
• pp.471-484
• /
• 2004

현재 차세대 인터넷 IPv6 네트워크의 보안을 위한 IPsec(IP Security)의 구현에 대한 연구가 매우 활성화 되고 있는 추세이다. 그러나 현재 IPv6 네트워크 계층의 보안성을 평가하기 위한 자동화된 도구나 평가 방법론 등에 관한 연구는 매우 미진한 상황이다 본 논문에서는 IPv6 기반 IPsec이 적용된 보안 시스템의 보안성을 평가하기 위해, 보안성 평가 항목을 정의할 수 있는 평가규칙표기언어를 설계하고 평가규칙표기언어를 이용하여 정의된 평가규칙을 해석하고 실행하기 위한 평가규칙 처리 도구를 제안한다. 평가규칙 처리도구는 사용자 인터페이스 부, 평가규칙 모듈 부, DBMS부로 구성되며 평가 대상 시스템에 탑재된 에이전트와의 협력을 통해 평가를 수행하는 구조를 갖는다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권9호
• /
• pp.3885-3906
• /
• 2020

Hybrid fuzzing which combines fuzzing and concolic execution, has proved its ability to achieve higher code coverage and therefore find more bugs. However, current hybrid fuzzers usually suffer from inefficiency and poor scalability when applied to complex, real-world program testing. We observed that the performance bottleneck is the inefficient cooperation between the fuzzer and concolic executor and the slow symbolic emulation. In this paper, we propose a novel solution named EPfuzzer to improve hybrid fuzzing. EPfuzzer implements two key ideas: 1) only the hardest-to-reach branch will be prioritized for concolic execution to avoid generating uninteresting inputs; and 2) only input bytes relevant to the target branch to be flipped will be symbolized to reduce the overhead of the symbolic emulation. With these optimizations, EPfuzzer can be efficiently targeted to the hardest-to-reach branch. We evaluated EPfuzzer with three sets of programs: five real-world applications and two popular benchmarks (LAVA-M and the Google Fuzzer Test Suite). The evaluation results showed that EPfuzzer was much more efficient and scalable than the state-of-the-art concolic execution engine (QSYM). EPfuzzer was able to find more bugs and achieve better code coverage. In addition, we discovered seven previously unknown security bugs in five real-world programs and reported them to the vendors.

• 디지털융복합연구
• /
• 제12권1호
• /
• pp.305-311
• /
• 2014

제조업에서는 경쟁우위 확보를 위해 일찍이 설계, 생산 과정의 자동화와 정보시스템을 도입하였다. 대표적인 정보시스템 중 하나가 제조실행시스템(Manufacturing Execution System)인데, 이러한 제조실행시스템은 진화를 거듭해 왔다. 최근 빅데이터가 등장하면서 MES도 빅데이터 적용 방안이 모색되고 있다. 이에 본 연구는 먼저 제조 분야에서의 빅데이터 활용에 대한 선행 연구 및 사례 분석을 토대로 MES에의 빅데이터 적용모델을 제안할 것이다.