• Journal of the Korea Society of Computer and Information
• /
• v.14 no.10
• /
• pp.271-281
• /
• 2009

In this paper, we propose the enhanced Assessment Model of the Embedded Software Process(MND-ESPAM) which is suitable for the development work of weapons in Korea. In 2008. We developed the MND-ESPAM which is the assessment criteria of software process, but this model is inefficient to apply to Korean military area. Therefore, we elicit and analyze the problems of MND-ESPAM through tow methods. One is to research on the actual condition of the domestic defense industry about software process management. And the other is to apply MND-ESPAM to the defense companies acquiring CMMI level. In order to overcome these problems elicited above, we provide solutions to make MND-ESPAM linked with Software Development Process Guide of Defense Acquisition Program Administration(DAPA) and to systematically strengthen testing activities and to reduce the number of process areas. The proposed model was proved by two objective methods such as checking the coverage with CMMI and whether it is satisfied or not by modified requirements ISO/IEC 14598-3. At last, experts in the field of software process confirmed the effect of MND-ESPAM through applying MND-ESPAM to the defense industry company.

• The Journal of the Korea Contents Association
• /
• v.10 no.6
• /
• pp.144-155
• /
• 2010

In recent years, there has been a rapid and wide spread of robot system in our lives and with the ever increasing the requirement of user for robot functionality, the software component is increasingly sophisticated and complicated. Accordingly it is inevitable to employ a standardized software platform. The OPRoS is open standard software platform based on component for robot system. When the software components were developed, it has got to validate the conformity of robot software components which comply with the OPRoS standard specification. In this paper, we deal with the design and implementation of the structural conformance test suite to verify and validate the conformance of components to be developed by user. As the results of some experiments, we could verify it from this test suite whether the components satisfied standard requirement or not.

• Journal of Korea Multimedia Society
• /
• v.13 no.7
• /
• pp.1076-1087
• /
• 2010

Together with a new advent of embedded processor developed to support specific application area and it evolution, a new research of software development to support the embedded processor and its commercial challenge has been revitalized. Retargetability is typically achieved by providing target machine information, ADL, as input. The ADLs are used to specify processor and memory architectures and generate software toolkit including compiler, simulator, assembler, profiler, and debugger. The EXPRESSION ADL follows a mixed level approach-it can capture both the structure and behavior supporting a natural specification of the programmable architectures consisting of processor cores, coprocessors, and memories. And it was originally designed to capture processor/memory architectures and generate software toolkit to enable compiler-in-the-loop exploration of SoC architecture. In this paper, we designed the class-based ADL based on the EXPRESSION ADL to promote the write-ability, extensibility and verified the validation of grammar. For this works, we defined 6 core classes and generated the EXPRESSION's compiler and simulator through the MIPS R4000 description.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.985-996
• /
• 2019

This paper analyzes the source code of FIPS-OpenSSL cryptographic module approved as FIPS cryptographic module in USA and shows how the selftest requirements are implemented as software cryptographic library with respect to pre-operational test and conditional tests. Even though FIPS-OpenSSL follows FIPS 140-2 standard, lots of security requirements are similar between FIPS 140-2 and Korean cryptographic module validation standards. Therefore, analysis from this paper contributes to help Korean cryptographic module vendors develop correct and secure selftest functions on their own cryptographic modules, which results in reducing the test period.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.21.4-22
• /
• 2011

IVS (International VLBI Service for Geodesy and Astrometry) 통합분석센터는 개별 IVS 분석센터의 산출물을 통합하고 그 결과물을 IERS (International Earth Rotation and Reference Systems Service)에 제공하여 국제 지구기준좌표계를 구축하고 지구회전파라미터를 결정하는데 핵심적인 역할을 한다. 한국천문연구원(KASI)은 2008년 10월 IVS 통합분석센터로 선정되어 현재 통합 분석 시스템을 구축하고 있다. 정규운영에 앞서 통합용 분석 소프트웨어를 정비하고, KASI 통합분석센터의 통합해를 타 IVS 통합분석센터 통합해와 비교 검증하는 것은 필수적이다. 이 연구에서는 통합분석처리를 위해서 GPS 자료처리 소프트웨어인 Bernese 5.0을 IVS 산출물 형식에 맞추어 수정 보완한 후 활용한다. 이 발표에서는 1984년부터 현재까지의 IVS 분석센터의 장기간 산출물을 수집하고 Bernese 5.0을 이용하여 지구회전파라미터(X-극, Y-극, UT1-UTC와 각각의 시간변화율)의 통합해를 산출한 결과를 소개한다. 또한, 타 IVS 통합분석센터의 통합해와 비교 검증결과를 논한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06d
• /
• pp.421-423
• /
• 2012

새로운 네트워크 아이디어를 검증하기 위해서는 실질적인 대규모 트래픽 상황에서 실험을 거쳐야 한다. 하지만 기존의 네트워크 구조는 네트워크 벤더들에 의해서 제어부분이 개방되지 않은 장치들로 구성 되어 있기 때문에 검증과정에 있어서 어려움을 겪는다. 이러한 문제점을 해결하기 위해 최근 소프트웨어 정의 네트워킹(Software Defined Networking: SDN) 연구가 활발히 진행되고 있다. 그러나 기존의 SDN 연구들은 플로우 테이블에 국한한 제한된 인터페이스만을 정의하고 있고 이러한 이유로 여러 SDN간이나 일반적인 네트워크들까지 통합하여 제어할 수 있는 슈퍼 컨트롤러에 대한 연구가 요구된다. 본 논문에서는 최근 SDN 분야에서 활발히 연구되고 있는 오픈플로우(OpenFlow)를 바탕으로 소프트웨어 정의 네트워킹의 기능 확장을 위한 슈퍼 컨트롤러 설계를 제안한다.

• The Journal of Society for e-Business Studies
• /
• v.8 no.2
• /
• pp.113-129
• /
• 2003

Component-based software development (CBSD) has been recognized effective reuse techniques for software development by many of researchers and companies. The purpose of CBSD is to produce a high quality software system quickly through using verified software component which is contained fine-grained business logics. This paper suggests the metrics and techniques for to extract component and its interface from legacy object oriented application. For extract component, we apply metrics to measure complexity, cohesion and coupling to the legacy system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.175-177
• /
• 2012

본 논문은 스마트 테스트 도구(Smart Test Tool)를 이용해 식기세척기 소프트웨어를 검증하는 기법에 대해 제안한다. 가전제품의 동작을 기술하기 위해 통상 스펙시트(spec. sheet: 동작명세서)를 이용하는데, 스펙시트를 이용하면 식기세척기 소프트웨어를 개발자 수준에서 블랙박스 테스트 방법으로 검사해 볼 수 있다. 스펙시트는 식기세척기 행정의 기준이 되며 식기세척기를 실제로 동작시키며 얻은 덤프데이터(dump data)는 비교 대상이 된다. 스마트 테스트 도구는 스펙시트 값의 기준대로 덤프데이터 값이 출력되었는지 확인함으로써 각 행정이 제대로 진행되었는지 파악할 수 있다. 이 논문에서는 스마트 테스트 도구의 구조와 오류 검출 메커니즘에 대해 기술한다.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.22 no.3
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.