• Journal of the Institute of Electronics Engineers of Korea TE
• /
• v.39 no.3
• /
• pp.71-82
• /
• 2002

The software pattern is knowledge representation derived from the verified solutions or the experience of the experts. On account of the design varieties of software development, however, it is not the facilitated task to discover the best proper software pattern. This situation requires that software patterns be categorized in terms of their innate concepts. This paper proposes software pattern ontology(SPO) for the systematic categorization of software patterns by means of conceptual properties of patterns after the comparative analysis of association between software pattern and ontology. The SPO presented in this paper can establish the basis for the software pattern management system at the conceptual level. This paper also shows an idea for the application by unifying conceptual properties of software pattern and ontology. 

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.3
• /
• pp.256-265
• /
• 2016

Software based fault tolerance techniques are designed to allow a system to tolerate software faults in the system. Fault tolerance techniques are divided into two groups : software based fault tolerance techniques and hardware based fault tolerance techniques. We need a proper design method according to characteristics of the system. In this paper, the concepts of software based fault tolerance techniques for Dual Flight Control Computer are described. For software based fault tolerance design, we classified software failure, designed a way for failure detection and the way of recovery. Eventually the effectiveness of software based fault tolerance techniques was verified through the Software Test Environment(STE).

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.9
• /
• pp.1880-1889
• /
• 1997

CMS-MX(CDMA Mobile System-Mobile eXchange) software has a large-scale and needs frequency chanbes to adopt new functions. Therefore, an efficient version management is necessary for the software. General-purpose version management system are not suitable for the CMS-MX software, which consists of various types of files and has its own development method. In this paper, we present a version management system for the CMS-MX software. The version management system provides file registration control. version control, and information management on the basis of software configuration and soft ware developer information in accordance with CMS-MX software developement procement process. It has characteristics such as full file storing, file verification, and association with software integration process.

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

Software Defect Prediction (SDP) enhances the efficiency of software development by proactively identifying modules likely to contain errors. A major challenge in SDP is improving prediction performance. Recent research has applied deep learning techniques to the field of SDP, with the SAINT model particularly gaining attention for its outstanding performance in analyzing structured data. This study compares the SAINT model with other leading models (XGBoost, Random Forest, CatBoost) and investigates the latest deep learning techniques applicable to SDP. SAINT consistently demonstrated superior performance, proving effective in improving defect prediction accuracy. These findings highlight the potential of the SAINT model to advance defect prediction methodologies in practical software development scenarios, and were achieved through a rigorous methodology including cross-validation, feature scaling, and comparative analysis.

• The KIPS Transactions:PartC
• /
• v.15C no.1
• /
• pp.9-18
• /
• 2008

Prevention of attacks being made through program modification in sensor nodes is one of the important security issues. The software-based attestation technology that verifies the running code by checking whether it is modified or not in sensor nodes is being used to solve the attack problem. However, the current software-based attestation techniques are not appropriate in sensor networks because not only they are targeting static networks that member nodes does not move, but also they lacks consideration on the environment that the trusted verifier may not exist. This paper proposes a mutual attestation protocol that is suitable for sensor networks by using SWATT(Software-based ATTestation) technique. In the proposed protocol, sensor nodes periodically notify its membership to neighbor nodes and carry out mutual attestation procedure with neighbor nodes by using SWATT technique. With the proposed protocol, verification device detects the sensor nodes compromised by malicious attacks in the sensor network environments without trusted verifier and the sensor networks can be composed of only the verified nodes.

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.59-59
• /
• 2003

여러기능들이 복합적으로 통합되고 있는 단일칩시스템을 설계하는데 있어 소프트웨어와 하드웨어를 가능한 일찍 통합하여 검증하는 것이 무엇보다 중요하다. 이러한 조기 통합검증에 필요한 것이 가상프로토타입(Virtual-Prototype) 이다. 본 고에서는 IP(Intellectual Property) 와 단일칩시스템(SoC : System-on-a-Chip) 설계 및 검증에서 가상프로토타입의 필요성과 역할 그리고 이에 관련된 기술들에 대해 정리하고, 프로세싱 코어가 있는 단일칩시스템을 SystemC로 가상프로토타이핑한 사례를 통해 그 유용성을 설명한다.

• The Magazine of the IEIE
• /
• v.30 no.9
• /
• pp.965-975
• /
• 2003

여러기능들이 복합적으로 통합되고 있는 단일칩시스템을 설계하는데 있어 소프트웨어와 하드웨어를 가능한 일찍 통합하여 검증하는 것이 무엇보다 중요하다. 이러한 조기 통합검증에 필요한 것이 가상프로토타입(Virtual-Prototype) 이다. 본 고에서는 IP(Intellectual Property) 와 단일칩시스템(SoC : System-on-a-Chip) 설계 및 검증에서 가상프로토타입의 필요성과 역할 그리고 이에 관련된 기술들에 대해 정리하고, 프로세싱 코어가 있는 단일칩시스템을 SystemC로 가상프로토타이핑한 사례를 통해 그 유용성을 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.337-339
• /
• 2003

코드검증은 소프트웨어공학에서 제안한 개발 프로세스 상의 여러 절차 중 비용 대 효과 측면에서 가장 효과적이라고 알려져 있다. 그러나 코드검증 절차 도입 초기에는 적용에 따른 기대 수준이 낮으며, 추가 작업에 대한 개발자와 관리자의 부담이 높기 때문에 투입시간, 자원할당 등의 계획은 설득력 있는 근거를 바탕으로 체계적으로 수립되어야 한다. 본 논문에서는 기존 제품 개발 시 발생되었던 결함의 원인 분석과 결함 제거에 투입된 공수 산출을 바탕으로 코드검증 절차를 개발 프로세스 상에 도입, 계획할 수 있는 방안을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.32.4-33
• /
• 2011

관제시뮬레이터는 위성운용의 준비 및 위성운용 기간 동안의 운용절차의 검증, 지상관제 시스템의 시험, 운영자의 교육 및 훈련 등을 목적으로 활용될 수 있다. 시뮬레이터는 보통 운영체제, 미들웨어, 시뮬레이션 기반소프트웨어, 에뮬레이터 및 위성과 외부 환경의 모델링 부분으로 구성된다. 에뮬레이터는 위성의 비행소프트웨어의 이미지를 어떤 수정없이 실제적으로 실행할 수 있게 한다. 위성의 모델링 부분은 시뮬레이터의 운용목적에 맞는 각종 하드웨어와 기능들에 대해서 수학적 방정식 등을 이용하여 위성 및 외부환경을 실제적으로 모델링하는 부분으로 구성된다. 이외에 시뮬레이션의 제어 및 관리와 사용자 접속부분을 관리할 수 있는 모듈들이 추가적으로 구성된다. 시뮬레이션 기반소프트웨어는 이러한 시뮬레이션 구성요소(Component)들을 사용자 환경설정 파일에 기반하여 통합하여 구현 및 운용할 수 있는 환경을 제공한다. 구현되는 시뮬레이터의 틀(Framework)로써 모듈간 각종 데이터의 표준 입출력, 일반적인 모델 등을 제공한다. 운용되고 있는 세계 각국의 위성 시뮬레이터에서 SIMSAT, SIMWARE 등의 시뮬레이션 기반소프트웨어가 활용되고 있으며, 관제시뮬레이터가 개발될 경우 기반소프트웨어의 자체개발 또는 기존 상용제품 활용의 여부가 우선적으로 결정되어야 할 것이며, 또한 기존 상용제품 활용 시 각 기반소프트웨어의 특성을 분석하여 적절한 기반소프트웨어의 선택이 결정되어야 할 것이다. 이 논문에서는 시뮬레이션 기반소프트웨어의 기능 및 현재 활용되고 있는 상용제품의 특성에 대해서 분석비교를 기술한다.