• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.11
• /
• pp.94-103
• /
• 2017

As automatic hacking tools and techniques have been improved, the number of new vulnerabilities has increased. The CVE registered from 2010 to 2015 numbered about 80,000, and it is expected that more vulnerabilities will be reported. In most cases, patching a vulnerability depends on the developers' capability, and most patching techniques are based on manual analysis, which requires nine months, on average. The techniques are composed of finding the vulnerability, conducting the analysis based on the source code, and writing new code for the patch. Zero-day is critical because the time gap between the first discovery and taking action is too long, as mentioned. To solve the problem, techniques for automatically detecting and analyzing software (SW) vulnerabilities have been proposed recently. Cyber Grand Challenge (CGC) held in 2016 was the first competition to create automatic defensive systems capable of reasoning over flaws in binary and formulating patches without experts' direct analysis. Darktrace and Cylance are similar projects for managing SW automatically with artificial intelligence and machine learning. Though many foreign commercial institutions and academies run their projects for automatic binary analysis, the domestic level of technology is much lower. This paper is to study developing automatic detection of SW vulnerabilities and defenses against them. We analyzed and compared relative works and tools as additional elements, and optimal techniques for automatic analysis are suggested.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.5
• /
• pp.545-550
• /
• 2004

The study of available genotypes (biodiversity analysis) in bacterial communities is of growing importance in several fields such as ecology, environmental technology, clinical diagnostics, etc. These culture-independent genotyping techniques, especially amplifying 16S rRNA genes, attempt to overcome some shortcomings of conventional cultivation method. Biodiversity analysis based on molecular technique were laborious for base-calling chromatogram, trimming primer sites, correcting strand directions, electing representative operation taxonomic units (OTU), etc. Also, biologists wanted intuitively to confirm results of the above processes. For making up these demands, we developed the web application based on Folder-Process-Filter (FPF) modeling with correspondence to classical Model-View-Controller model. The model of web application leads to keep virtues of simplicity and directness for development and management of the stepwise web interfaces. The web application was developed in Perl and CGI on Linux workstation. It can be freely accessed from http://home.pusan.ac.kr/～genome/tools/rat.htm.

• Journal of the Korean Society for Precision Engineering
• /
• v.10 no.3
• /
• pp.21-24
• /
• 1993

인간을 학술용어로는 호모 사피엔스(Homo Sapiens:지성인) 또는 호모 파베르(Homo Faber:공작인)로 표현하는 것에서도 알 수 있듯이 우리 인간은 그 이유야 어쨌든 본질적으로 도구를 사용하고 물건을 만드는 능력을 가지고 있다. 그리고 물건만들기(생산) 기술은 수렵사회, 농경사회, 공업사회, 정보화사회로 사회가 바뀌는 동안 끈임없이 변화 발전해 왔다. 특히 40년대말 50년대 초에 걸쳐 개발된 컴퓨터, NC(수치제어)기 술과 70년대에 개발된 마이크로프로세서 기술은 그후의 생산기술을 획기적으로 변화시키고 말았다. 즉 설계, 가공, 조립, 검사, 보관 등 생산에 필요한 요소가능을 자동화시키고, 나아가 이들을 연결 통합하여 CAC/CAM, FMC, FMS와 같은 고도의 자동화 생산시스템이 가능하게 하였다. 그 결과 인간은 재이없고 지루한 단순 반복 작업에서 해방되어, 자동화 시스템을 프로그래밍 또는 관리. 통제하는 지적작업에 전념하게 되었고, 고품질에 싼 제품이 생산되게 되었다. 더나아서 최근에는 생산 시스템에 지능을 부여한 IMS(Intelligent Manufacturing System:지능형 생산 시스템)를 실현하고자 하는 국제 공동연구가 추진되기에 이르렀다. 이 글에서는 IMS의 모습을 잠시 살펴본 뒤 그 핵심기술의 하나인 지능형 CAM의 모습과 실현방법에 대해서 알아 보도록 한다.

• Proceedings of the KIEE Conference
• /
• 2005.11b
• /
• pp.12-16
• /
• 2005

본 논문에서는 활동 다이어그램을 이용하여 전력계통 운영의 자동화에 대한 연구 수행 내용을 다루고 있다. 자동화를 가능케 하는 도구인 Smartflow의 기본 개념을 발전시키고 설계를 거적 사례연구를 수행한 결과 충분한 가능성을 확인할 수 있었으며, 현존하는 상용 프로그램과의 비교를 통해 비교 우위에 있다는 것도 알게 되었다. 전력계통에서의 활용 뿐 만 아니라 다른 시스템에도 적용이 가능함을 알 수 있었다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2050-2060
• /
• 1998

Weighting strategy is one of the necessary control strategies in automated reasoning to solve problecs within allowable time and computer memory. But, the strategy still consumes too much time since it depends soly on the user's experience and needs much of the user's manual work at each stage. This research suggests a tool which automates the weighting system to generate the weighting thesaurus and merges it to the mechanical theorem prover.

• KSCI Review
• /
• v.2 no.1
• /
• pp.109-120
• /
• 1995

The purposes of this paper are to construct the author tools that have influence on system package in EXSYS professional, to design the objects and the roles of development members on the phases of development life cycle, to study on the increase of efficiency in the main phases that have much influence on the efficiency of authoring tool development. The major factors which affect authoring tool are as follow : the size of the product, the individual capability of project personnel, the project period, the complexity of the product, the required level of reliability and the level of technologies utilized.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.435-436
• /
• 2021

본 논문에서는 RPA(Robotic Process Automation) Tool 개발 과정 중 OCR기법을 활용한 영수증 인식 후 가계부 생성에 관한 자동화 처리 과정을 기술한다. 개발된 RPA 툴은 AI분야에 사용될 데이터의 데이터 전처리 기능을 제공하고 그 외에 반복적으로 사용되는 기능들의 자동화를 제공한다. 그 중 영수증을 이용하여 가계부 작성을 자동으로 처리해주는 기능은 반복적이고 시간이 많이 소요되는 작업으로 이 기능을 활용하면 작업의 수행시간을 단축하고 효율적인 관리가 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.292-294
• /
• 1999

최근에 데이터베이스 기술에 이은 차세대 사무업무 전산화의 핵심 기술일 뿐만 아니라 CALS/EC의 핵심기술인 워크플로우 기술에 많은 관심이 집중되고 있다. 워크플로우 기술은 사무업무의 흐름을 자동화하기 위한 일종의 운영체계 역할을 수행하는 워크플로우 관리 시스템분야와 그 워크플로우 관리 시스템의 이론적 기반일 뿐만 아니라 사무업무의 흐름 자체를 정의하고 분석하는 워크플로우 모델 분야로 나뉘어 진다. 본 논문에서는 대표적인 워크플로우 모델중의 하나인 ICN (Information Control Nets) 모델을 기반으로 하는 모델링 도구의 설계 및 구혀에 관하여 기술하였다. 본 워크플로우 모델링 도구는 자바 기반의 워크플로우 정의 및 분석 환경을 제공함으로서 컴퓨터 시스템에 의존적인 기존의 모델링 도구가 갖는 단점을 개선하였으며, 또한 ICN으로 정의된 사무업무 워크플로우를 국제표준의 워크플로우 정의 언어인 WPDL(Workflow Procedure Description Language)로 변환시킴으로써 워크플로우 관리 시스템에 독립적인 워크플로우 모델링 환경을 제공하는 것을 특징으로 한다. 결론적으로, 본 ICN 모델링 도구는 사무업무 흐름과 리엔지니어링을 위한 분석 도구로서 확장될 수 있을 뿐만 아니라 분석된 결과인 사무업무 프로세스를 다른 워크플로우 관리 시스템에 직접 적용할 수 있게 하는 Streamlining 워크플로우 정의 업무의 기반이 된다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.5
• /
• pp.227-235
• /
• 2024

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.