• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Journal of Computational Design and Engineering
• /
• 제1권1호
• /
• pp.67-77
• /
• 2014

Most engineering software tools use typical menu-based user interfaces, and they may not be suitable for learning tools because the solution processes are hidden and students can only see the results. An educational tool for simple beam analyses is developed using a pen-based user interface with a computer so students can write and sketch by hand. The geometry of beam sections is sketched, and a shape matching technique is used to recognize the sketch. Various beam loads are added by sketching gestures or writing singularity functions. Students sketch the distributions of the loadings by sketching the graphs, and they are automatically checked and the system provides aids in grading the graphs. Students receive interactive graphical feedback for better learning experiences while they are working on solving the problems.

• 한국산학기술학회논문지
• /
• 제11권2호
• /
• pp.550-558
• /
• 2010

정간보는 우리나라 전통 음악을 기보하는 기법을 말한다. 한자를 사용해야하기 때문에 표기기법이 복잡하고 또한 모든 것을 수작업을 하기 때문에 전문가가 아니면 사용하기가 어렵다. 본 연구를 통해 설계 및 구현한 정간보 저작도구는 컴퓨터를 통하여 누구나 손쉽게 국악보를 작성할 수 있도록 도와주는 소프트웨어이다. 손으로 작업했을 때 각 개인의 필체나 취향에 따라 차이가 나는 부분을 이 프로그램을 통해 표준화 시켜서 편리하게 사용할 수 있다. 개발된 저작도구는 널리 사용되는 한글이나 워드 등과 환경이 비슷하기 때문에 누구나 쉽게 사용할 수가 있다. 또한 파일 형식으로 악보를 관리 할 수 있으며 편집과 인쇄 등도 자유롭고 사용법이 간편하기 때문에 초보자도 조금만 배우면 익힐 수 있다. 또한 전문가는 자신의 사용 용도에 맞게 원하는 작업을 모두 수행 할 수 있다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.629-638
• /
• 2002

소프트웨어의 사용 영역이 확대되고 소프트웨어의 품질이 중요성을 더해가면서, 소프트웨어의 품질을 평가하는 방법에 대한 관심도 고조되고 있다. 소프트웨어의 품질평가를 위해서는 객관적이고 구체적인 평가지침의 확립이 중요하기 때문에 국제표준을 기준으로 자국의 실정에 맞는 표준을 제정하여 사용하는 것이 일반적이다. 소프트웨어의 품질평가는 여러가지 측면에서 이루어 질 수 있다. 소프트웨어 제품의 구성요소 중 패키지 소프트웨어 문서는 소프트웨어 제품과 관련된 정보 제공을 통해 사용자들의 편리를 도모하고, 소프트웨어 품질 평가에 있어서 중요한 평가 수단으로 활용된다. 지금까지 패키지 소프트웨어 문서에 대한 요구사항과 문서 작성 프로세스에 관한 국제표준이 제정되고 관련 연구들이 수행되어 왔으나, 국제 표준들이 추상적으로 기술되어 있기 때문에 패키지 문서개발 및 평가에 적용하는데 어려움이 있다. 이에 본 논문에서는 ISO/IEC12119의 패키지 소프트웨어 문서 요구사항을 중심으로 ISO 9127과 기타 소프트웨어 사용자 문서 관련 표준 및 기존 연구 내용 분석을 통해 소프트웨어의 패키지 문서 요구사항 및 평가를 위한 체크리스트를 개발하고, 적용 사례를 통해 그 유용성을 보였다.

• 한국정보과학회논문지:정보통신
• /
• 제31권3호
• /
• pp.259-268
• /
• 2004

분산 컴퓨팅 환경에 적용해야할 응용 소프트웨어의 비중이 증가함에 따라, 이를 지원하기 위한 다양한 형태의 분산 프로그래밍 도구들이 제안되어 있다. 그러나, 이러한 도구를 이용하여 분산처리 소프트웨어를 작성하기 위해서는 분산 프로그래밍 도구가 요구하는 부가적인 프로그래밍 지식을 숙지하여야 한다. 부가적인 지식 없이 분산처리를 수행하는 소프트웨어를 개발할 수 있다면, 분산처리에 대한 개발자의 부담을 줄여서, 개발하고자 하는 소프트웨어의 자체 기능에 더욱 집중할 수 있다. 본 논문에서는 새로운 분산 프로그래밍 도구를 제안하고, 이름을 TORB(Transparent Object Request Broker)라고 명명하였다. TORB를 이용하면, 프로그래밍 투명성의 지원을 통하여, 자바로 작성하는 분산처리 소프트웨어를 상대적으로 쉽게 개발할 수 있고, 후처리를 통하여 TORB가 제공하는 분산처리 환경에서 수행될 수 있다.

• 스마트미디어저널
• /
• 제8권3호
• /
• pp.17-22
• /
• 2019

Signature-based intrusion systems use intrusion detection rules for detecting intrusion. However, writing intrusion detection rules is difficult and requires considerable knowledge of various fields. Attackers may modify previous attempts to escape intrusion detection rules. In this paper, we deal with the problem of detecting modified attacks based on previous intrusion detection rules. We show a simple method of reporting approximate occurrences of at least one of the network intrusion detection rules, based on q-grams and the longest increasing subsequences. Experimental results showed that our approach could detect modified attacks, modeled with edit operations.

• 융합보안논문지
• /
• 제13권6호
• /
• pp.35-41
• /
• 2013

의료정보 보안에 대한 대안은 무엇보다 의료정보의 안전한 보존과 각종의 보안 위협으로부터 안전성을 강구하는 소프트웨어 설계로부터 시작되어야 한다. 의료정보시스템은 산재된 의료정보를 실시간으로 통합할 수 있어야 하고 의료정보의 교환은 신뢰할 수 있는 데이터 통신이어야 한다. 의료정보시스템의 소프트웨어 아키텍처 설계는 의료정보 공유상 보안 문제를 파악하고 의사소통을 통해 사용자 요구사항을 파악하여 소프트웨어 설계에 반영한다. 소프트웨어 프레임워크 설계, 메시지 표준 설계, 웹기반 프로세스간 통신절차 설계, 접근제어 알고리즘 설계, 아키텍처 기술서 작성, 아키텍처 평가의 제반 절차를 정립한다. 소프트웨어 아키텍처 초기 결정은 설계, 개발, 테스트, 유지보수에 지속적인 영향을 미친다. 또한 프로젝트상의 세부적 의사결정 근거가 된다. 의료정보보안 기반 소프트웨어 아키텍처 설계방법은 오늘날 중요한 과제가 되고 있는 의료정보 보안의 기본틀을 제공할 수 있을 것이다.

• 한국멀티미디어학회논문지
• /
• 제18권2호
• /
• pp.97-105
• /
• 2015

When people go to travel, sometimes one writes many articles about the destination. Existing travel information services such as Blog, Internet Cafe, and SNS are difficult to provide realistic information since the provided information may not be a place directly on the road. This paper presents a travel information system including recommended courses, theme courses, and travel map. In addition, the proposed system can provide the functions of writing, reading, and deleting a message note that stores the travel information based on the augmented reality if a defined marker among the community members is recognized in a smartphone App. Therefore, this paper can present an implementation method for new community system using augmented reality and image processing as well as providing the conventional travel information services, and allows the user to take advantage of the realistic and accurate information.

• 한국산학기술학회논문지
• /
• 제15권7호
• /
• pp.4536-4544
• /
• 2014

본 논문에서는 센서 네트워크에서 다양한 운영체제 플랫폼을 위한 노드 소프트웨어를 효율적으로 개발하기 위한 개발 도구를 제안한다. 제안하는 도구는 그래픽 모델 다이어그램 작성, PIM 및 PSM 설계, 코드 자동 생성, 배포 파일 자동 생성 등을 위한 모듈로 구성된다. 제안하는 도구를 통하여 사용자들이 전체적인 센서 네트워크 모델을 작성하고, 속성값을 설정함으로써 각 노드 소프트웨어에 대한 PIM과 타겟 플랫폼에 대한 PSM을 설계하면, PSM에 대한 정보와 타겟 플랫폼에 대한 코드 템플릿을 바탕으로 소스코드가 자동으로 생성된다. 그리고, 응용 소프트웨어 코드를 바탕으로 각 노드에 설치할 수 있는 배포파일을 자동으로 생성할 수 있다. 제안하는 도구는 사용자들이 센서 네트워크에 대한 low-level의 정보를 상세히 알지 못하더라도 손쉽게 다양한 플랫폼에 대한 노드 소프트웨어를 생성할 수 있도록 해준다.

• 한국컴퓨터정보학회논문지
• /
• 제24권8호
• /
• pp.9-17
• /
• 2019

In this paper, we propose a block mapping technique applicable to NAND flash memory. In order to use the NAND flash memory with the operating system and the file system developed on the basis of the hard disk which is mainly used in the general PC field, it is necessary to use the system software known as the FTL (Flash Translation Layer). FTL overcomes the disadvantage of not being able to overwrite data by using the address mapping table and solves the additional features caused by the physical structure of NAND flash memory. In this paper, we propose a new mapping method based on the block mapping method for efficient use of the NAND flash memory. In the case of the proposed technique, the data modification operation is processed by using a blank page in the existing block without using an additional block for the data modification operation, thereby minimizing the block unit deletion operation in the merging operation. Also, the frequency of occurrence of the sequential write request and random write request Accordingly, by optimally adjusting the ratio of pages for recording data in a block and pages for recording data requested for modification, it is possible to optimize sequential writing and random writing by maximizing the utilization of pages in a block.