• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.261-262
• /
• 2012

최근 인터넷의 발달로 활발히 게시되고 있는 전문 지식 정보들이 유용한지를 판별하기 위해 시맨틱 웹 등의 기술을 이용한 다양한 소프트웨어들이 개발되고 있다. 이러한 소프트웨어들은 개별적으로 우수하게 지식을 판단할 수 있는 수단을 제공하지만, 이를 통합적으로 관리하여 사용자들의 요구에 적합하게 유용한 소프트웨어를 개발할 수 있는 시스템은 현재 미미한 상태이다. 따라서 이러한 소프트웨어 및 데이터를 통합적으로 관리할 수 있는 시스템이 필요하다. 이를 위해 본 논문에서는 소프트웨어 및 데이터의 통합을 통해 사용자가 원하는 소프트웨어를 등록하고, 이를 데이터와 통합하여 사용할 수 있는 실행 환경을 제공하는 콘텐츠 관리 시스템을 설계한다. 제안하는 시스템은 기존 콘텐츠 관리 시스템보다 사용자가 동적으로 소프트웨어를 등록 및 사용할 수 있는 환경을 제공하기 때문에 경제적인 측면에서는 비용을 절감할 수 있는 콘텐츠를 선택할 수 있으며, 관리적인 측면에서는 소프트웨어 및 데이터 자원의 재활용성을 높일 수 있다.

• Journal of Software Assessment and Valuation
• /
• v.16 no.2
• /
• pp.87-98
• /
• 2020

Recently, IoT, artificial intelligence, cloud, big data, and mobile fields have converged, leading to a new industrial era called the 4th industrial revolution. This 4th industrial revolution has been expanded to all industry area and Software has been taken as important role in this revolution. Thus Software Safety is the huge factor because Software is highly relevant to human safety in accordance with Software expansion. However this Software Safety has been focused on not organization improvement activities but current design/development, In this paper, to solve this issue, Software Safety Maturity level and relevant Process Area is defined. This study is expected to contribute to systematic software safety activities.

• Proceedings of the KIPE Conference
• /
• 2018.07a
• /
• pp.470-471
• /
• 2018

본 논문에서는 소형 큐브위성의 전력시스템 구성품의 용량 및 위성의 운용로직을 설계할 수 있는 소프트웨어 테스트베드 설계 방법을 제시한다. 기존 초소형 인공위성 시스템 설계를 위한 소프트웨어가 개발되어 상용품으로 판매되고 있으나, 주로 자세제어 시스템의 제어기 설계를 위해 소프트웨어가 사용되고있고, 텍스트기반 복잡한 구조로 되어있어 본 논문의 목적인 전력계 구성품 용량 및 운용로직을 설계하는데 이를 활용하기 어려운 측면이 있었다. 따라서 본 논문에서는 전력시스템의 구성품들을 전력 및 에너지 방정식으로 모델링하여 Matlab/Simulink에서 이를 구현함으로써 가독성을 높여 시스템 설계 및 분석 시간을 줄일 수 있는 소프트웨어 테스트베드 설계방법을 제시한다. 제안된 소프트웨어 테스트베드를 이용한 3리터 사이즈의 소형 큐브위성 시스템의 구성품 용량 및 운용로직 설계 결과를 본 논문에서 제시한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.147-152
• /
• 1997

C++는 C의 장점을 가지고 있으면서 객체지향적 요소를 포함하고 있어 현재 객체지향적 소프트웨어 개발에 가장 많이 사용되어지는 언어 중에 하나이다. 본 고에서는 원자력 발전소 제어시스템과 같은 안전 시스템 개발에 사용될 언어가 보장해야할 속성에 대하여 정의하고 이러한 속성들을 C++는 어떻게 지원할 수 있는 가에 대하여 기술하였다. 80년 이후에 소개된 객체지향 기술이 계속적으로 발전하고 소프트웨어 개발에 많은 장점을 제공하고 있기 때문에 많은 분야의 소프트웨어 개발에 적용되어지고 있다. 따라서 safety-critical 시스템과 같이 고신뢰성과 안정성이 요구되는 시스템 개발에도 적용되어 진다면 소프트웨어 개발 생산성에 많은 도움이 될 것이다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• pp.476-486
• /
• 1991

본 연구의 목적은 문서의 다중측면을 고려한 문서화 지원시스템을 구현하는 것이다. 기존의 소프트웨어 개발 문서를 지원하기 위한 시스템은 소프트웨어 개발단계 측면에서의 문서들을 작성하기 때문에 개발 완료후 소프트웨어 이용자를 위한 문서나 서비스 측면에서 필요한 문서들은 새로운 작업을 통해 작성되어야 한다. 따라서 중복되는 자료로 인한 저장 공간의 낭비와 개발비용의 상승을 가져온다. 본 연구에서는 다중 측면 모델을 이용하여 소프트웨어 문서를 정의하고 정형화된 표현으로 문서화과정을 정의했다. 또한 소프트웨어 개발 단계 측면에서 만들어지는 문서 뿐만 아니라 기능측면, 이용자측면에서의 문서를 제공함으로써 다양한 문서지원이 가능한 문서화 지원시스템을 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.466-468
• /
• 2001

객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.410-412
• /
• 2022

협업 필터링은 사용자들간의 집단 지성에 기반한 추천 알고리즘이다. 다양한 시스템에 쓰이고 있는 협업 필터링과 그 장단점에 대해서 알아본다. 그리고 본 논문에서는 기존의 학사 관리 시스템에 협업 필터링을 적용한 새로운 학사관리 시스템을 제안한다.

• Journal of the Korean Society for Railway
• /
• v.12 no.1
• /
• pp.81-87
• /
• 2009

Recent advances in computer technology have brought more dependency on software to railway signalling system. While much efforts have been reported to evaluate embedded software safety for railway signalling systems, not so much systematic approaches to evaluate software safety testing. In this paper, we propose a adaption of automatic software testing tool in terms of the design & coding standard for railway signalling system. The test items for the design & coding standard suggested in this study related international standards and MISRA-C. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.469-474
• /
• 2006

전통적인 임베디드 시스템 개발은 하드웨어와 소프트웨어가 독립적으로 개발된다. 그러나 시스템 개발 후 오류 발생 시, 하드웨어와 소프트웨어 둘 중 어디에서 발생했는지 알아내기 어려웠다. 따라서 임베디드 시스템 개발을 위해 하드웨어/소프트웨어의 통합 설계 방법이 연구기관들에 의해 제시되어 왔다. 본 논문은 현실적으로 많이 사용되고 있는 일반 임베디드 시스템 개발 방법으로부터 접근하는 HW/SW 통합 개발 방법을 제안하였다. 즉, 이미 만들어진 하드웨어를 설계 단계로 끌어올려 정형 기법을 통해 하드웨어를 설계 및 정형 검증하여 견고한 하드웨어를 만들고, 이를 기반으로 소프트웨어를 정형 명세 및 검증하는 하드웨어/소프트웨어 통합 개발을 수행하였다. 따라서 개발 후 하드웨어 또는 소프트웨어에서 발생할 수 있는 오류를 최소화하고 오류가 발생하였다고 해도 개발 전에 설계상에서 오류를 수정할 수 있어 임베디드 시스템의 신뢰성을 보장하였다. 또한 설계 과정의 어떤 시점에서 개발 중인 가상의 하드웨어가 아닌 개발 완료된 하드웨어의 실제 코드를 테스트할 수 있으므로, 현실적인 임베디드 시스템 개발에 더 효과적인 하드웨어/소프트웨어 통합 개발 방법론을 제시하여 그 효율성을 높였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.207-217
• /
• 2003

지능적으로 공격 패턴을 달리하는 많은 공격들에 대응하기 위해 기존의 보안 시스템은 강력한 보안시스템으로 확장되고 있다. 보안 시스템과 같은 규모가 크거나 복잡한 소프트웨어 계발에 있어서 설계 및 구현 과정에서 있는 설계 변경 및 구현상의 변경으로 인한 전체 시스템에 미치는 영향이 크다. 본 논문에서는 규모가 큰 보안시스템 계발에 있어서 전체 시스템의 영향 관계를 체계적으로 정립한 소프트웨어 설계 방법론으로의 적용이다. 소프트웨어 설계 방법론은 시스템 형식론에 의거하여 소프트웨어가 표현되었으므로 논리적 연관관계를 추적하기 쉽다 이는 소프트웨어 설계 또는 설계 변경 후 인터페이스 시스템의 중요한 동적 특성을 미리 파악 할 수 있게 하여 소모적일 수 있는 시간과 노력을 절약 할 수 있다.