• Journal of Advanced Navigation Technology
• /
• v.14 no.6
• /
• pp.900-908
• /
• 2010

Recently, OOM(Object-Oriented Method) access method which begins to apply to software development is emphasizing development cost and time reduction through independent software reuse. But because of planning to the exclusion of the lack of knowledge and expansion or performance for development technology many problems are coming out. Therefore, this thesis suggests Effective Object-Oriented Modeling methods considering the plan for higher productivity enhancement of software in the software development life cycle. Effective Object-Oriented Modeling method includes, methods, Use Case modeling methods, Analysis Modeling methods, Design Modeling methods and others.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.574-577
• /
• 2008

실제 소프트웨어 개발에서 지속적으로 보안관련 문제들이 발생하고 있으므로 이를 해결하기 위하여 소프트웨어 개발 주기의 초기 단계인 요구사항 분석단계에서 보안 요구사항을 추출하는 것이 필요하다. 이는 요구사항 분석 단계에 대한 투자가 소프트웨어 개발의 성공률을 높일 수 있기 때문이다. 보안 요구사항을 추출하는 기법에 대해서는 여러 방면으로 연구가 시작되었으나, 보안 요구사항을 토대로 향후 소프트웨어 개발과정에서의 보안관련 위험도를 산정하여 보안 투자의 우선순위를 정하는 기법은 아직 연구되어 있지 않다. 그러므로 본 논문에서는 추출된 보안 요구사항을 가지고 소프트웨어 보안에 대한 위험도를 산정하여 투자 비용의 우선순위를 산정하는 절차에 대해 제안한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.155-166
• /
• 1996

소프트웨어 프로세스를 효과적으로 반복하고 자동화하여 소프트웨어 개발 주기의 단축과 품질 향상을 가져올 수 있다. 이러한 결과를 얻기 위해서는 프로세스를 형식화하여 구문화된 형태로 표현해 주는 프로그램 언어가 필요하게 된다. 본 고에서는 소프트웨어 프로세스 모형화 작업에 필요한 프로세스 정의 언어의 특징을 살펴보고, 현존하는 여러가지 프로그램의 언어들을 비교 분석하여, 소프트웨어 프로세스 정의에 적합한 프로그램 언어의 특성을 살펴보았다.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.179-182
• /
• 2015

DO-278A는 소프트웨어 인증 절차를 제공할 목적으로 만들어진 것은 아니지만, 소프트웨어 개발 절차를 설명하는 것으로 지상용 항공장비의 소프트웨어를 만드는데 적절한 역할을 수행할 수 있다. 대체적으로, 수명주기증거품(life cycle evidence)을 통해 프로세스가 정확하고 적합하게 이행되었다는 것을 증명할 수 있다면 소프트웨어는 적합성을 확인을 받을 수 있다. 본 논문에서는 국토부 R&D로 개발되고 있는 항공기 지상이동유도 및 통제시스템(Advanced-Surface Movement Guidance & Control System, A-SMGCS)의 소프트웨어 개발 및 검증에 DO-278A 절차를 적용한 방안을 제시하고자 한다.

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

오늘날의 소프트웨어 개발회사는 엄청난 시장 경쟁에 직면하고 있다. 세계 시장의 요구사항은 다양해 지고, 구현해야하는 휘처의 수는 증가하는 반면에 제품의 생명주기는 점점 짧아지고 있기 때문이다. 많은 소프트웨어 개발 회사는 빨리 변하는 개발 환경에 대응하기 위한 해결책으로 제품라인 공학을 적용하고 있다. 본 논문에서는 휘처 모델링에서 자산과 제품개발까지 휘처-중심 제품라인 소프트웨어 개발을 지원하기 위한 이클립스 플랫폼 기반의 새로운 워크벤치를 소개한다. 워크벤치의 특징과 개념적 아키텍처를 소개하고 주요 구성요소에 대한 간략한 설명과 함께 기능 지원을 위해 구성된 도구들에 대해서 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1493-1496
• /
• 2012

소프트웨어 생명주기 중 가장 많은 비용이 유지보수 개발에서 발생한다. 대형 소프트웨어 시스템의 운영 유지보수 표준은 ISO/IEC 20000 으로 프로세스통합운영 및 개선활동 중심이어서 유지보수 개발에 대한 SR(Service Request) 처리시 개발 표준 및 구체적 절차가 미비하다. 그러나 대형 소프트웨어 시스템 구축 개발 시 많이 채택하고 있는 CMMI-DEV 표준을 ISO/IEC 20000 유지보수 조직 및 팀원이 내제화를 함으로써 유지보수 개발의 상호 보완적 프로세스로 명세 명확화 및 품질을 제고할 수 있고, 생산성과 효율성을 증대할 수 있다. 따라서 본 연구에서는 ISO/IEC 20000 유지보수 조직이 운영하고 있는 표준절차에 CMMI-DEV 표준 프로세스를 상호보완적으로 매칭한 표준절차를 적용한 통합모델을 제안한다. ISO/IEC 20000 모델의 개발단계에 CMMI-DEV 프로세스 모델을 적용한 통합 모델을 구축하고 실제 프로젝트에 적용하여 본 연구의 실효성을 검증한다.

• Journal of The Korean Association of Information Education
• /
• v.11 no.4
• /
• pp.483-495
• /
• 2007

In this paper, to establish a way controlling educational contents, range of contents for quality control are offered. And a life-cycle suitable for present circumstance has defined and successive quality control process has suggested supporting development and use of the contents through analyzing the life cycle of its software and previous contents. A life cycle is defined as whole process from formation of contents to its extinction. The developing process includes stages of planning, designing, manufacturing, and the applying process includes evaluation, circulation and management. Suitable quality control guidelines for each process have established and offered. Aim of this paper is also to develop a model which is applicable to developers as well as supporters who help the developing process.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.4B
• /
• pp.332-345
• /
• 2011

As weapon systems are evolving into more advanced and complex ones, the role of the software is becoming heavily significant in their developments. Particularly in the war field of today as represented by the network centric warfare(NCW), the reliability of weapon systems is definitely crucial. In this context, it is inevitable to develop software reliably enough to make the weapon systems operate robustly in the combat field. The reliability engineering activities performed to develop software in the domestic area seem to be limited to the software reliability estimations for some projects. To ensure that the target reliability of software be maintained through the system's development period, a more systematic approach to performing software reliability engineering activities are necessary from the beginning of the development period. In this paper, we consider the software reliability in terms of the development of a weapon system as a whole. Thus, from the systems engineering point of view, we analyze the models and methods that are related to software reliability and a variety of associated activities. As a result, a process is developed, which can be called the software reliability engineering process for weapon systems (SREP-WS), The developed SREP-WS can be used in the development of a weapon system to meet a target reliability throughout its life-cycle. Based on the SREP-WS, the software reliability could also be managed quantitatively.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.1-3
• /
• 2003

웹 기반의 응용시스템 개발이 보편화되면서 보안은 특히 인터넷과 같은 네트워크 환경에서 정보처리에서 매우 중요한 요소로 대두되고 있다. 공통평가기준은 보안을 중요시하는 시스템의 명가를 위해서 표준화된 요구사항들의 목록이다. 공통평가기준을 사용하여 시스템 자체와 시스템 개발에 않은 보안 요구사항 정의는 가능하지만, 방법론 지원은 제공하지 않는다. 본 논문에서는 보안 클래스를 중심으로 소프트웨어공학 생명주기에서 보안측면을 분석하고 적용하는 방법을 제시한다. 공통평가기준에서의 행위와 문서는 개발된 시스템의 품질을 개선하여. 높은 보안 요구사항을 만족하기 위해 부가적 비용과 노력을 감소시키는 시스템 개발에서 가장 중요한 요소이다 이를 기반하여 프로세스, 자원. 생명주기 분석 모델과 프레임워크를 정의하고 생명주기 지원 클래스의 적용에 대해서 논한다.