• The Magazine of the IEIE
• /
• v.18 no.12
• /
• pp.12-19
• /
• 1991

최근 정보 관련 산업의 국제화 시대에 발맞추어 그 근간이 되는 소프트웨어 공학의 발전이 중요시 되는 바 본고에서는 현재 국내 소프트웨어 공학 분야의 문제점과 해결 방안을 제시하고, 국외에서 최근 연구되고 있는 새로운 분야의 국내 소프트웨어 산업에의 연결 방안 및 국내 실정에 맞는 개발 방향을 제시 하고자 한다. 특히 최근 미국 등 선진 각국에서 연구 제시되고 있는 객체지향 소프트웨어 개발 방식(object oriented S.W. development method), 소프트웨어 재사용(S.W. reusability), 시스템 가능성 검증용인 프로토타이핑(prototyping)기술 등에 대해 설명하고 이러한 기술들을 국내 S.W.개발업체 및 산업체에서 효과적으로 이용할 수 있는 방안에 대해 의견을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.511-513
• /
• 2004

위성의 부분체 또는 탑재컴퓨터 및 탑재소프트웨어에 대한 검증시험을 수행하기 위해서는 위성개발에 사용하며 그 기능이 검증된 상용프로그램을 사용하는 것이 일반적이다. 그러나 위성 영령의 전송 및 텔레메트리 데이터의 전송과 분석을 위한 프로그램은 위성에 사용되는 종류 및 포맷에 따라 다양한 형태로 수정되어야 하기 때문에 자체 제작한 프로그램을 사용하게 된다. 99년에 발사되어 성공적으로 임무를 수행하고 있는 다목적실용위성 1호 및 현재 개발이 진행 중인 다목적실용위성 2호의 개발과정에서는 LEX와 YACC이라는 구문분석기를 이용한 VTSP(Verification Test Script Parser) 프로그램이 탑재소프트웨어의 검증시험에 사용되었다. VT5P는 실시간 데이터 전송 및 분석이 가능하지만 UNIX 환경에서만 실행되므로 윈도우 환경에서 작업하던 일반 사용자들에게는 익숙하지 않은 시험환경을 제공하여 텍스트 기반의 작업이 필요하므로 시험 수행에 여러 어려움들이 발생한다. 이러한 단점들을 보완하기 위하여 윈도우 기반의 검증시험 프로그램인 SATS(Spacecraft Automatic Test Script)를 개발하였다. 본 논문에서는 대부분의 사용자들에게 익숙한 윈도우 환경을 제공하며 이더넷을 통하여 장소에 상관없이 다중의 개발자가 시험을 수행할 수 있는 SATS의 개발현황과 수행환경에 대하며 소개한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.16 no.4
• /
• pp.416-422
• /
• 2006

Most of the existing statistical models of software manpower profile are based on the assumptions of the usage and development process. Therefore, there is no universally applicable estimation and prediction model. To develop a prediction model, this paper suggests the predictive filter as a prediction model for software manpower profile. Firs of all, we investigate the software manpower profile and we suggest the input-output of predictive filter and method for parameter determination. Then, its usefulness is empirically verified by analyzing the actual data obtained from the software projects. Based on the average relative prediction error and Pred(0.25), the suggested predictive filter is compared with other well-known statistical estimation models. As a result, the predictive filter generally has a simple structure and on the other hand, it adapts the software manpower profile very well.

• Proceedings of the KIEE Conference
• /
• 2002.11c
• /
• pp.357-360
• /
• 2002

본 논문에서는 제어기의 운영체제와 검증 프로그램에 대하여 논한다. 전체 시스템은 loop detector, loop sensor, controller 그리고 프로그램의 debugging을 위한 PC로 구성된다. 일반적으로, Embedded System에 sequential 프로그램을 사용해왔다. 하지만, 시스템의 하드웨어가 복잡해짐에 따라 운영체제를 사용하게 되었다. 이에 본 논문에서는 운영체제를 포팅하여 사용하였다. 마지막으로, 검증 프로그램은 시스템의 하드웨어 상태 및 소프트웨어의 검증을 위한 소프트웨어를 구성하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.427-430
• /
• 2006

본 논문에서는 일반적인 항법 확인 뿐만 아니라 간섭신호 제거용 필터의 성능 검증을 위한 고성능 GNSS SDR 플랫폼을 개발하였다. 개발된 수신기 플랫폼은 간섭 신호 제거 필터 응용까지 고려한 RF부와 16비트의 분해능을 갖는 고속의 USB 데이터 수집장치, PC 및 GNSS 소프트웨어 수신기 프로그램으로 구성된다. 개발된 플랫폼은 스펙트럼 분석기로 RF부를 검증하였으며, 상용의 GNSS 시뮬레이터를 사용하여 PC에서 데이터를 확인함으로써 신호 수집장치의 동작을 검증하였다. 실제 GPS 신호를 PC에 저장하고, 소프트웨어 수신기에서 항법 결과와 신호 획득시간, 신호 대 잡음 전력비를 확인하여 전체 플랫폼 기능 및 성능을 확인하였다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.1
• /
• pp.263-271
• /
• 2016

Software requirement analysis is necessary for successful software development project. Specially, incomplete requirement is the most influential causes of software project failure. Incomplete requirement can bring late delay and over budget because of the misunderstanding and ambiguous criteria for project validation. Software requirement patterns can help writing more complete requirement. These can be a reference model and standards when author writing or validating software requirement. Furthermore, when a novice writes the software scenario, the requirement patterns can be one of the guideline. In this paper proposes an automatic approach to identifying software scenario patterns from various software scenarios. In this paper, we gathered 83 scenarios from eight industrial systems, and show how to extract 54 scenario patterns and how to find omitted action of the scenario using extracted patterns for the feasibility of the approach.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.9
• /
• pp.880-886
• /
• 2014

Many railway signalling functions have increasingly depended on computer software with recent development in computing technology, leading to evolution into more flexible and intelligent railway signalling system. Meanwhile, software programs are likely to have many errors and the cost incurred by such errors has increased. Especially, if fatal software error occurs during railway operation, it may result in loss of lives. So the software verification and validation have become more important. It is needed for software functional safety tool to support these, but most commercial tools depend on direct access to the system's memory, resulting in many difficulties in application. Owing to such difficulties and complexity, they are rarely used in railway signalling system software validation. In this study, a new testing tool for software functional testing through an external interface that can be easily used in functional testing of software was developed. Such testing tool allows development and analysis of test cases for black-box testing through analysis of actually used interface protocols, leading to increased user convenience.

• Korea Information Processing Society Review
• /
• v.21 no.4
• /
• pp.48-55
• /
• 2014