• 한국군사과학기술학회지
• /
• 제14권6호
• /
• pp.1058-1066
• /
• 2011

This research paper on Tac-ELINT SW development method using M&S system describes the validation and verification methods of Tac-ELINT ground operating software development each stages, and the method of improving reusability of software using SBD(Simulation Based Design/Development) concept. In this project, We obtain the EW software SBD technologies and improved Tac-ELINT ground operating software through software crisis mitigation. This method and technology will expect to support a future EW system and any other various weapon software development.

• 인터넷정보학회논문지
• /
• 제7권4호
• /
• pp.11-22
• /
• 2006

소프트웨어 프러덕트 라인 개발 방법론이란, 개발 초기에 시스템의 공통적인 부분과 가변적인 부분을 명확히 하여 소프트웨어 자산을 구축한 후 요구 사항에 따라 가변적인 부분을 커스터마이징하여 목표 시스템을 생성하는 소프트웨어 개발 패러다임이다. 일반적인 소프트웨어 프러덕트 라인에 대한 연구는 활발히 진행되고 있지만, 컴포넌트 기반의 실시간 임베디드 소프트웨어 프러덕트 라인에 대한 연구는 상대적으로 미약하다. 본 논문에서는 실시간 임베디드 소프트웨어 프러덕트 라인구축의 생산성 향상을 위해, 특성 모델을 통해 기능적 가변성을 지원하고 상태 모델을 통해 동기화 지원 코드를 생성하는 코드 생성 시스템을 제안한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1061-1065
• /
• 2010

최근 세계 자동차 업계는 AUTOSAR 소프트웨어 플랫폼 표준을 제정하여 소프트웨어의 신뢰성과 재사용성을 향상키고 있다. 그러나 테스트 시스템 및 테스트 프로세스의 신뢰성 확보와 테스트에 소요되는 기간 단축을 위하여 테스트의 표준화 및 자동화가 절실하다. 특히 RTE 및 베이직 소프트웨어 모듈은 표준화를 만족하는 설계 도구를 사용함으로써 최소한의 신뢰성이 보장되지만, 여전히 응용 소프트웨어 컴포넌트에 대해서는 철저한 테스트가 필요하다. 본 논문에서는 표준화된 AUTOSAR 설계 정보를 이용하여 소프트웨어 컴포넌트의 유닛 테스트를 위한 테스트 시스템의 생성 및 테스트 케이스 생성 자동화 방법을 제안하였으며, 테스트 시스템은 TTCN-3 테스트 표준을 적용하였다. 본 논문에서 제안한 방법을 적용함으로써 차량 소프트웨어의 개발 기간 단축 및 신뢰성을 향상시킬 수 있었다.

• 한국항공우주학회지
• /
• 제44권3호
• /
• pp.256-265
• /
• 2016

소프트웨어 기반의 고장허용이란 장비의 일부분에 소프트웨어 고장이 발생하더라도 허용할 수 있도록 장비를 설계하는 것을 의미힌다. 고장허용을 위한 설계 방법은 크게 하드웨어 기반 고장허용 설계 방법과 소프트웨어 기반 고장허용 설계 방법이 있으며, 시스템의 특징에 따라 적절한 방법의 고장허용 설계 방법 선택이 필요하다. 본 논문에서는 하드웨어적으로 이중화로 구성된 비행조종컴퓨터의 소프트웨어 기반 고장허용 설계 기법에 대하여 기술하였다. 소프트웨어 기반의 고장허용 설계를 위하여 소프트웨어 고장을 분류하고, 고장에 대한 검출 방법을 설계한 후, 고장발생시 복구 방법을 설계하였다. 설계된 방법의 유효성을 확인하기 위하여 전용 소프트웨어 시험 환경을 통해 설계된 소프트웨어 기반 고장허용 설계의 타당성을 검증하였다.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• pp.114-119
• /
• 2004

Software verification and validation(V&V) is a means to develop high-quality software and assure safety and reliability for software. Also, we can achieve the desired software quality through systematic V&V activities. The software to be applied safety critical system like nuclear power plants is required to setup the V&V methodology that comply with licensing requirements for nuclear power plants and should be performed V&V activities according to it. In this paper, we classified safety-critical, safety-related and non-safety for software according to safety function to be peformed and define V&V activities to be applied software grade. Also, we defined V&V activities, procedures and documentation for each phase of software development life cycle and showed techniques and management to perform V&V. Finally, we propose the V&V framework to be applied software development of SMART(System-integrated Modular Advanced ReacTor) MMIS (Man-Machine Interface System) and to comply with domestic licensing requirements.

• 한국산업정보학회논문지
• /
• 제5권3호
• /
• pp.87-93
• /
• 2000

근래의 소프트웨어 관련업계에서는 소프트웨어 개발 및 관리에 있어 소프트웨어 아키텍처를 중심으로 생산성 및 품질의 극대화를 추구하고 있다. 또한 소프트웨어 컴포넌트 관련 기술 및 컴포넌트 기반 소프트웨어 개발 방법론에 대한 연구도 활발히 진행중이며, 많은 응용기술들이 나오고 있다. 소프트웨어 아키텍처는 소프트웨어를 컴포넌트로 구성하고 그 사이의 상호작용을 커넥터를 이용해 기술함으로서 전체적인 구조를 분석하고 유지하는데 필수적인 요소로 고려된다. 본 연구에서 제안하는 소프트웨어 모델링 기법은 Happy Work라는 모델링 도구를 사용하여 소프트웨어 구조를 기술하는 Happy Work Language를 생성한다. 그 과정에서 System Context Diagram, Component Diagram, Component Sequence Diagram과 같이 세 가지 다이어그램이 사용되며, User, System, Component, Connector와 같은 네 가지 Elements로 구성된다.

• 품질경영학회지
• /
• 제20권2호
• /
• pp.94-108
• /
• 1992

This study involves an experiment for the cognitive experiment design and the human reliability in software engineering. Its overall objectives are to analyze common-cause human domain error and reliability in human-software interaction. A laboratory study was performed to analyze software engineers' task behavior in software production and to identify software design factors contributing to the effects in common cause failure redundancy. Common-cause model and its function were developed, then the main experiment using programming experts was conducted in order to define a new cognitive paradigm, in the aspects of identification, pattern recognition, and behavior domain for human reliability and quality control in software development. The results and analytical procedures developed in this research can be applied to reliability improvement and cost reduction in software development for many applications. Results are also expected to provide guidelines for software engineering quality control and for more effective design of human-software interface system.

• Journal of Information Processing Systems
• /
• 제6권1호
• /
• pp.91-106
• /
• 2010

The rapid growth of communication and globalization has changed the software engineering process. Security has become a crucial component of any software system. However, software developers often lack the knowledge and skills needed to develop secure software. Clearly, the creation of secure software requires more than simply mandating the use of a secure software development lifecycle; the components produced by each stage of the lifecycle must be correctly implemented for the resulting system to achieve its intended goals. This study demonstrates that a more effective approach to the development of secure software can result from the integration of carefully selected security patterns into appropriate stages of the software development lifecycle to ensure that security designs are correctly implemented. The goal of this study is to provide developers with an Integrated Security Development Framework (ISDF) that can assist them in building more secure software.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2005년도 춘계학술대회
• /
• pp.129-135
• /
• 2005

This paper proposes the interated and balanced project management system for software and IT by considering BSC, MBNQA, ISO 9001, Six Sigma, CMM and SPICE. This system can be extended to assess the various project management practices.

• 한국산학기술학회논문지
• /
• 제9권3호
• /
• pp.674-680
• /
• 2008

범용 컴퓨팅 기반 SDR (Software Defined Radio) 시스템은 높은 개발 효율성, 소프트웨어 호환성, 범용 프로세서 사용에 따른 가격대비 성능의 혜택 등의 장점을 갖는다. 본 논문은 인텔 펜티엄 프로세서 및 리눅스로 운용되는 범용 컴퓨팅 플랫폼에서 동작하는 SDR 방식의 무선전화기 겸 워키토키 시스템의 설계 및 구현을 다룬다. 이를 위해 RF 전단부 하드웨어를 개발하여 오픈 소스로 진행 중인 GNU radio 미들웨어와 연동되도록 하였으며 그 위에 변조/복조 소프트웨어 모듈을 개발하였다. 실험 결과, 기존 900 MHz 상용 무선전화기와 호환되며 동시에 FM 워키토키를 지원하는 범용 컴퓨팅 플랫폼 기반 SDR 소프트웨어를 성공적으로 운용할 수 있음을 확인할 수 있었다. 그러나 런타임 소프트웨어 재구성 지원, TCP/IP통신 프로토콜과의 효율적인 연동 등은 향후 개선을 위한 연구가 이루어져야 할 것으로 파악되었다.