• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.442-447
• /
• 2005

BPEL4WS와 같은 웹 서비스 프로세스 설계 언어의 사용은 기업으로 하여금 자동 실행되는 비즈니스 프로세스를 설계, 실행할 수 있게 하였으나, 종전의 워크플로우와 자동 실행 프로세스를 동시에 지원하지 못하는 한계를 가진다. 또한 B2B 협업에 있어서 각 기업에서 제공하는 웹 서비스들의 입력과 출력, 행동 단위가 다를 수밖에 없기 때문에 동일한 목적을 지닌 프로세스라 하더라도 파트너에 따라 상이하게 설계될 수밖에 없는 문제를 지니고 있다. 본 연구에서는 위와 같은 문제들을 해결하기 위해, 비즈니스 프로세스를 기업내 워크플로우 프로세스와 자동 실행가능한 프로세스, 기업간 협업 프로세스의 세 가지로 분류하고, 이들을 통합적으로 설계하는 비즈니스 프로세스 모델링 방법론을 제안한다. 본 연구를 통해 비즈니스 프로세스 설계자는 기업내 워크플로우와 자동 실행 가능한 프로세스를 통합적으로 설계할 수 있으며, 각 파트너에 대해 동일하게 사용되는 협업 프로세스를 설계할 수 있게 될것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.359-362
• /
• 2001

본 논문은 순환공학 환경에서의 실시간 시스템 개발 및 검증을 위한 코드 생성기 구현과정에서 실시간 시스템에 대한 ATM(Abstract Timed Machine) 명세로부터 생성된 SRL(Software Representation Language) 중간코드로부터 Ada 실행코드 생성방법을 제시한다. 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법인 ATM은 기존의 정형기법과는 달리 순환공학 환경에서의 실시간 시스템이 갖는 정적 및 동적 속성은 물론 특정 환경에서의 동적행위도 표현이 가능하므로, DoME/ATM 그래픽 명세 표기와 중간코드로부터 실행코드를 자동 생성함으로써 순환공학 환경에서의 실시간 시스템 개발 및 검증을 가능하게 한다. 따라서, 실행코드 자동 생성기를 구현하기 위하여 본 논문에서는 선행연구에 의한 DoME/ATM으로부터 변환된 SRL/ATM 코드로부터 Ada 실행코드를 생성하기 위하여 SRL/ATM과 Ada의 관계를 분석하고 실행코드 생성을 위한 기본 규칙들을 정의하여, Ada 실행코드 생성기를 설계한다. 실행코드 생성기는 SRL 파스트리 생성기를 이용하여 구문분석을 통해 구문노드와 수식노드, 단말노드 둥과 같은 구문적 요소들을 추출하여 어휘분석을 통해 얻어진 정보들과 추출된 구문 정보들을 기반으로 실제 Ada 실행코드를 생성한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.255-259
• /
• 2009

In this paper, we present AGE(Automatic Grid Environments), which is a middleware system in which Grid resources can automatically participate in a Grid environment. While other existing systems need the configuration of each Grid node to deploy a Grid environment, AGE offers automatic installation and execution of necessary middleware for participating in a Grid environment. And Grid applications in AGE do not need to be pre-installed and pre-configured. When an application is to be executed in participating Grid nodes, this system can download, install, and execute the application automatically. Therefore, AGE provides users with convenience such as deploying a Grid environment, executing the application, and releasing nodes or resources from the Grid environment automatically.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.918-921
• /
• 2010

본 연구에서는 Simulink Model(이하 Model)을 C Code 로 변환시켜주는 자동 코드 생성기, SimAutoCodeGenerator 를 제안하였다. Model 의 테스트케이스를 생성하기 위한 작업에서 반복적인 프로그램의 실행을 통한 테스터와의 다양한 피드백이 필요하다. 이때, Simulink는 이런 작업을 하는 데 있어서 적절한 정보를 제공하기 어려울 뿐만 아니라 테스트 케이스를 생성하는데 필요한, 실행 시 특정 시점으로 돌아가는 기능을 수행하기 위해서는 프로그램을 정지한 후 다시 실행해야하는 문제점을 가지고 있다. 본 연구에서는 이와같은 단점을 보완하기 위하여 Model 을 C 코드로 변환하였다. 생성된 C 코드는 Model 과의 일치성을 증명한 후 자동 테스트케이스 생성을 위한 프로그램에 쓰이게 될 것이다. 먼저 C 코드의 생성 메커니즘을 알아보고 생성된 C 코드와 Model 의 일치성을 증명하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.504-506
• /
• 2000

대표적 분산 미들웨어인 OMG CORBA 는 이질적인 하드웨어와 소프트웨어가 다양한 매체를 통해 네트워크로 연결된 분산 컴퓨팅 환경에서 객체 지향적 시스템을 통합 기반 환경을 제공한다. 그러나 CORBA를 구현한 상용이나 연구용 제품은 CORBA 규격을 정의된 대로 지원하지 않아 OMG에서 CORBA를 통해 성취하려고 하는 중요한 목표인 상호운용성과 이식성 보장되지 못하는 결과를 야기하고 있다. 이러한 문제의 해결은 CORBA 규격 준수 여부를 시험하는 시험 도구를 필요로 한다. CORBA 규격 시험 도구는 규격에 정의된 API 등을 시험하기 위한 많은 분산 시험사례와 이들의 실행을 자동으로 제어해 줄 수 있는 실행제어기가 기본적으로 필요하다. 본 논문은 CORBA 규격 시험을 위한 분산 시험사례를 자동으로 실행시키는 분산 시험사례 제어기의 설계와 구현에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.853-855
• /
• 2004

ML프로그램에 메모리 재사용 명령어를 자동으로 삽입하는 변환기의 효과에 대한 실험 결과를 보인다. 분석 및 변환에 드는 비용은 초당 1,582 줄～29,000 줄이었다. 총 생성 메모리의 3.8%～88.6%를 재사용 하도록 변환함으로써 메모리 최고점(memory peak)을 0.0%～71.9% 감소시켰다. 재사용에 의한 프로그램 실행 속도는 25.4% 단축되거나 42.9% 느려졌다. 프로그램 실행 시간 중에 메모리 수거(garbage collection)의 비중이 높을 경우에만 수행 속도가 단축되었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.10a
• /
• pp.98-101
• /
• 2010

RFID (Radio Frequency IDentification)는 리더와 태그를 사용하여 대상 물체에 직접 접촉하지 않고도 해당 개체의 정보를 판독하거나 기록할 수 있는 자동식별 기술이다. 본 논문에서는 사용자가 일상생활에서 반복적인 패턴으로 이용하는 각각의 단순서비스들을 자신의 성향에 맞도록 재구성하여 이를 하나의 새로운 복합서비스로 만들어 사용할 수 있도록 해 주는 RFID 기반 복합서비스 구성 및 실행기를 개발한다. 본 시스템은 RFID-driven Services Register (RSR)과 RFID-driven Services Execution Engine (RSEE)로 구성된다. RSR은 사용자가 원하는 서비스를 조합하여 이를 하나의 패턴으로 만들어 RFID 태그에 등록하는 기능을 가진다. RSEE는 RFID 태그를 인식하여 등록된 단순 서비스들을 자동적으로 차례로 실행하게 하는 기능을 가진다. 즉, 사용자는 등록된 RFID 태그로부터 자동화된 복합서비스를 이용 할 수 있게 된다. 본 시스템은 스마트 홈에서 뿐만 아니라 오피스, 빌딩 등 다양한 분야에 확장 적용될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.423-425
• /
• 2016

콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행 (Syrnbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생생한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.187-190
• /
• 2006

텍스트위주의 자료와 영상회의 자료를 결합하여 통합하고 이를 웹을 통해 서비스 하도록 구현하였다. 멀티미디어 회의정보 등록시 사용자는 DAM실행 파일을 자신의 PC에서 실행하고 프로그램에 내장된 윈도우 탐색기를 통해 등록하고자 하는 회의파일을 선택하면 XML 자동 피싱모듈이 실행되면서 자료 저장을 위한 핵심정보와 검색을 위한 단어색인 및 인덱스를 수행하여 오류시에는 에러메세지를 보여주고 성공시에는 분석된 핵심정보를 제공해준다. 서버로 전송된 멀티미디어 회의자료는 종류/시간/등으로 구분되어 윈도우 탐색기 형태의 트리구조와 사용자가 직접 단어를 입력하여 원하는 회의 정보를 검색하는 2가지 형태의 검색서비스를 제공하게 된다. 사용자는 본인의 서비스 환경에 따라 영상+문서, 문서 등을 자유롭게 선택하여 볼 수 있다. DAM의 경제적인 효과에 대하여 정확한 통계 자료가 국내에 아직 발표되지 않아 유사분야인 WCM시장 분석을 근거로 예상하였으며 시스템이 다양하고 복잡해질수록 투자대비 경제적인 효과가 높아 동기화 기술분야 시장이 확대될 것으로 기대된다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.4
• /
• pp.807-819
• /
• 2019

Greybox fuzzing is known as an effective method to discover unknown security flaws reside in software and has been actively researched today. However, most of greybox fuzzing tools require an executable file. Because of this, a library, which cannot be executed by itself requires an additional executable file for greybox fuzzing. Generating such an executable file is challengeable because it requires both understanding of the library and fuzzing. In this research, we suggest the approach to generate an executable file automatically for a library and implement this approach as a tool based on the LLVM framework. This tool shows that executable files and seed files can be generated automatically by static/dynamic analysis of a unit test in the target project. A generated executable file is compatible with various greybox fuzzers like AFL because it has a common interface for greybox fuzzers. We show the performance of this tool as code coverage and discovered unknown security bugs using generated executable files and seed files from open source projects through this tool.