• Journal of the KSME
• /
• v.54 no.12
• /
• pp.49-52
• /
• 2014

선박의 설계, 건조로부터 인도와 용선, 운항, 폐선에 이르기까지의 전 생명주기에 걸쳐, 선박에 탑재된 제반 항해, 통신, 엔진, 장비 및 기자재 등으로부터 데이터를 수집, 축적, 분류 및 분석, 가공하고 조선소, 선주, 용선회사나 국제기구 등이 필요한 형태로 제공하여 선대의 관리, 운항수지의 분석 및 개선, 경제선박의 설계 등에 활용할 수 있도록 선박운항 빅데이터를 구축할 필요성이 있다. 글로벌위치시스템, 선박과 해상에서의 통신시스템, 지리정보시스템 및 센서의 발달은 선박운항 빅데이터의 출현을 가능하게 하였다.

• Computational Structural Engineering
• /
• v.8 no.1
• /
• pp.4-12
• /
• 1995

원자로 격납건물(Reactor Containment Bldg)은 정상가동시는 물론 냉각재상실사고(LOCA)를 포함하는 설계기준사고(DBA) 및 설계기준지진(DBE) 발생시 구조물 자체의 건전성 확보는 물론 주기기(NSSS Equipment)를 포함하는 안전관련 계통 및 기기를 안전하게 보호/지지하므로써 핵누출을 방지하여 발전소 종사자를 포함하는 국민의 재산과 생명을 보호하는 역할을 하는 원자력발전소에서 가장 중요한 구조물이다. 원자로 격납건물은 압력용기(Pressure Vessel : 설계내압 5 psi 이상인 용기)로 설계되는 격납용기와 1, 2차 차폐구조 등의 내부구조물로 구성되는데 이 중 본 소고에서는 격납용기의 해석 및 설계 그리고 구조건전성 시험 및 사용중검사에 대해서만 간략하게 기술한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2004.05a
• /
• pp.439-442
• /
• 2004

CBD 개발 방법론의 발전으로 많은 컴포넌트가 개발되면서 소프트웨어의 빠른 기술변화는 시스템 개발 생명주기가 갈수록 짧아지고 있으며, 최근 들어 시스템 개발에 있어서 오프라인보다 온라인으로 시스템 개발이 늘고 있다. 때문에 실시간으로 컴포넌트 형상관리의 필요성이 나타나고 있으며, 보다 향상된 기술의 개발방법이 요구되고 있다. 본 연구에서는 이를 위한 하나의 해결방법인 형상관리(Configuration Management)를 제안하고, 실시간 컴포넌트 형상관리 작업에 필요한 요구사항에 대해 기술하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.142-144
• /
• 2000

최근의 내장형 시스템은 점점 대형화되고 복잡성이 증가하고 있다. 또한 시스템의 생명주기는 매우 빠른 속도로 단축되고 있는 추세이다. 이에 따라 발생될 수 있는 에러율이 증가하고 있으며 이를 해결하기 위해 많은 비용과 시간에 소비될 수 있다. 따라서, 시스템 설계단계부터 신뢰성과 안정성을 보장하며 신속하게 명세를 표현할 수 있는 정형 명세 기법이 필요하다. 본 논문은 신속하면서 견고한 정형 명세 개발을 위해 컨포넌트를 지원하는 Statechart 도구를 구현한다. 본 논문에서 개발된 도구를 이용하면 이미 작성된 정형 명세를 최대한 재사용함으로 새로운 시스템 설계의 개발시간을 단축시킬 수 있는 장점을 지닌다.

• 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 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.437-439
• /
• 1998

최근 들어 소프트웨어 개발에 컴포넌트 기술을 적용하려는 수요는 많이 있지만 범용적으로 사용 가능하며, 소프트웨어의 전 생명 주기를 효과적으로 지원하는 컴포넌트 프레임워크 모델은 제시되고 있지 못하다. 본 논문에서는 기본 컴포넌트의 생성, 컴포넌트들을 조립한 복합 컴포넌트의 생성, 그리고 이미 조립된 복합 컴포넌트의 일부분을 교체하는 기능을 포함한 컴포넌트 프레임워크 모델을 제시함으로써, 소프트웨어-IC의 개념에 더 근접하며, 소프트웨어의 개발뿐만 아니라 유지보수, 수정, 확장까지 용이한 컴포넌트 모델을 제시한다.

• Review of KIISC
• /
• v.25 no.1
• /
• pp.26-31
• /
• 2015

악의적인 공격에 대해 안전한 소프트웨어를 개발하고자 하는 보안강화 활동은 소프트웨어개발 생명주기(SDLC)의 모든 단계에서 수행되어야 한다. 시큐어코딩은 개발 단계에서 적용될 수 있는 안전한 코딩 기법으로 실행코드가 지닐 수 있는 취약성의 근본 원인을 소스코드 수준에서 제거하고자 하는 시도이다. 그럼에도 불구하고 시큐어코딩을 구현활동의 일부로만 국한시켜 보는 시각은 기법이 갖는 장점을 충분히 살리지 못할 수 있다. 외국에서는 이미 시큐어코딩의 적용과 평가를 SDLC 수준에서 시행하고 있으며 시큐어 SDLC로 분류되는 BSIMM과 SAMM, MS SDL은 이러한 시도의 대표적인 사례라 할 수 있다. 본 고에서는 이들 보안 프레임워크를 대상으로 시큐어코딩이 어떻게 정의되고, 수행되며, 평가되는지 비교를 통해 효과적인 시큐어코딩 활동의 이해를 돕고자 한다.

• Review of KIISC
• /
• v.26 no.1
• /
• pp.48-53
• /
• 2016

최근 들어 보안사고의 대응 방식이 네트워크 보안이나 운영체제 보안과 같은 전통적인 방법에서 벋어나 개발생명주기보안이나 SW 공급망 보안으로 확대되고 있다. 이러한 흐름에서 주목받는 것이 BSIMM과 같은 소프트웨어 보안성숙도 모델이다. 보안성숙도 모델은 소프트웨어 시스템의 보안성 향상을 위해 관리자와 개발자가 중점을 두어야 할 부분을 스스로 평가할 수 있도록 하는 프레임워크이다. 본 고에서는 BSIMM을 통해 보안성숙도 모형이 갖는 특징을 소개하며, 이의 활용에 대해 살펴본다.

• Review of KIISC
• /
• v.25 no.1
• /
• pp.32-38
• /
• 2015

소프트웨어의 보안속성이 중요해짐에 따라 소프트웨어의 개발 단계에서 설계상의 보안약점이나 구현 단계에서의 보안약점을 제거하는 작업이 강조되고 있다. 시큐어 소프트웨어를 개발하기 위해 제안된 마이크로소프트사의 위협 모델링 기법은 마이크로소프트사가 자체적으로 개발한 시큐리티 소프트웨어 개발 생명 주기(MS SDL, Security Software Development Lifecycle) 전반에 걸쳐 하나의 방법론으로 적용되고 있으며, 다른 유사한 위협 모델 기법들도 연구되고 있다. 본 논문에서는 위협 모델링 기법들에 대해 살펴보고, MS 위협 모델링 기법을 기반으로 인터넷 웹사이트 개발에 적용하여 MS 위협 모델링 기법의 분석 결과를 살펴본다.

• Proceedings of the Safety Management and Science Conference
• /
• 2007.04a
• /
• pp.437-448
• /
• 2007

This paper introduce information technology of software process assessment. It consists of eight parts such as concepts and introductory guide, a reference model for processes and process capability, performing an assessment, guide to performing assessments, an assessment model and indicator guidance, guide to competency of assessors, guide for use in process improvement, and guide for use in determining supplier process capability.