• 항공우주시스템공학회지
• /
• 제13권1호
• /
• pp.62-68
• /
• 2019

항공기에 탑재되는 소프트웨어는 안전과 직결되기 때문에 안전 비행을 위해서는 감항인증 기준을 따라야만 한다. 항공기 탑재 소프트웨어는 감항인증기준에 명시된 DO-178을 따라 개발되어야 하지만 방사청 무기체계 소프트웨어 개발 및 관리 매뉴얼에 따라 개발되고 있다. 본 논문에서는 소프트웨어 전문가 설문조사를 수행하였고 DO-178을 기반으로 소프트웨어 개발 및 인증 절차를 제안하였다.

• 한국항공운항학회지
• /
• 제24권2호
• /
• pp.81-85
• /
• 2016

It is recognized that safety is a key point of technical competency. Its adoption is widely spread in development of products and it is essentially necessary in aerospace industry because airborne system and equipment are used complex high-technology and implemented systematic performance using software. This study reviews system safety assessment, development assurance level, airborne software, RTCA DO-178 process, and considerations & pitfalls in software development.

• 한국IT서비스학회지
• /
• 제12권2호
• /
• pp.13-29
• /
• 2013

Offshore software development by Korean companies is mainly led by big SI (System Integration) companies. They open Offshore Development Centers (ODC) in developing countries such as India, China, and Vietnam to source software development for their mother companies. Firms with ODC consider transferring knowledge such as business and cultural knowledge as the most complicated yet essential process for the success of offshore development. This study investigates whether the selection of a governance mechanism is related with knowledge transfer and thus the success of offshore development. The results of this study indicate that a hierarchical governance mechanism is appropriate for transferring company-specific, sensitive, complex knowledge in offshore software development.

• 소프트웨어공학소사이어티 논문지
• /
• 제23권4호
• /
• pp.125-139
• /
• 2010

이 논문에서는 소프트웨어의 개념과 소프트웨어 개발의 중요성을 알아본 뒤, 효과적인 소프트웨어 개발을 위한 필수적인 기술로서 열 두 개의 근본적인 소프트웨어 아키텍처 설계원리를 제시한다. 아키텍처 설계단계들을 문제의 파악, 아키텍처 모델링 방법의 결정, 아키텍처 설계의 수행 그리고 설계된 아키텍처의 평가의 네 개의 단계 군으로 나누고, 이 단계군 안에서 그리고 단계군 간에 활용되는 아키텍처 설계의 원리들을 식별하고 그 역할을 설명한다.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• 천문학회보
• /
• 제43권1호
• /
• pp.68.4-69
• /
• 2018

GMACS is one of the instruments for the Giant Magellan Telescope (GMT) which will provide wide field, multi-object, moderate resolution spectroscopy of faint targets. KHU (Kyung Hee University) is in charge of control software of GMACS. As a first step, the Slit Mask Exchange Mechanism Prototype (SMEM-P) will be used as a preliminary example to make development process between electronics and high level software. Recently, we have developed a sample program to communicate with low level devices via EtherCAT. It is expected to be a mockup design for software and control system of GMACS. In this poster, we show the development process and test operation results of control software for SMEM-P.

• 한국컴퓨터정보학회논문지
• /
• 제24권1호
• /
• pp.121-128
• /
• 2019

An Internet of Things(IoT) technology which provides intelligent services by combining context-awareness based intelligences, inter-communication is made of between things and things or between things and person through the network connected with intelligent things is spreading rapidly. Especially as this technology is converged into smart device, mobile, cloud, big data technologies, it is applied into various domains. Therefore, this is different from existing Web or Mobile Application. New types of IoT applications are emerging by adapting IoT into Web or mobile. Because IoT application is not only focused on software but also considering hardware or things aspect, there are limitations existing development process. Existing development processes don't consider analysis and design techniques considering both hardware and things. We propose not only a meta-model for development process which can support IoT application's development but also meta-models for main activities in this paper. Especially we define modeling elements by using UML's extension mechanisms, provide development process, and suggest design techniques how to apply those elements into IoT application's modeling phase. Because there are many types of IoT application's type, we propose an Android and Arduino-based on IoT application as a case study. We expect that proposed technique can be applied into many of various IoT application development and design with a form of flexible and extensible as well as main functionalities or elements are more concretely described. As a result, it brings IoT application's flexibility and the effect of quality improvement.

• 한국멀티미디어학회논문지
• /
• 제22권4호
• /
• pp.472-479
• /
• 2019

Today, computational thinking takes an important role in problem solving in software education. As a result, software education as liberal arts for non-CS major students is rapidly expanding. It is necessary to study the effects of computational thinking on software problem solving ability compared to traditional programming language education. In this paper, we propose an evaluation model for analyzing the effects of computational thinking on the overall software development process, and analyze how the problem solving process is different for learners who take computing thinking classes and programming language courses as liberal arts courses. As a result, students who learned computational thinking showed higher ability in problem analysis and design process.

• 대한지구과학교육학회지
• /
• 제16권3호
• /
• pp.374-384
• /
• 2023

이 연구는 사회적 요구에 의해 강조되고 있는 집단지성, 가치관, 소프트웨어를 적용하여 예비교사들이 통합과학교육 프로그램을 개발하는 과정에서 예비교사에게 미치는 영향을 알아보았다. 이러한 결과로 첫째, 집단지성을 활용한 통합과학교육 프로그램 개발은 예비교사의 학습동기를 향상시켰다. 특히 수행과정에서 학습동기가 향상되는 것이 나타났다. 둘째, 집단지성 기반 통합과학교육 프로그램 개발은 예비교사들의 집단지성 역량을 함양하였다. 프로그램을 개발, 시연, 피드백하는 전 과정에서 집단의 긍정적 영향이 발현되었다. 셋째, 과학 교과에 소프트웨어와 개인의 가치관은 접목할 필요가 있으나 이를 위해 전문적 지원이 필요한 것으로 나타났다.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.201-212
• /
• 2009

소프트웨어 개발시 요구사항의 일관성 및 완전성을 검증하기 위해 다양한 방법으로 산출물을 추적하는데, 기존 연구에서는 추적메타모델 또는 자동화된 도구를 제시하되 구체적인 추적산출물 및 추적요소 선정이 미흡하며, 추적요소를 제시하는 추적테이블 연구의 경우는 전체공정이 아닌 일부 공정만을 대상으로 추적하고 있다. 이에 본 연구는 일부 공정만 추적한 저자의 이전 추적테이블연구에 이어 프로젝트시작단계에서 아키텍쳐단계, 인도단계까지의 산출물을 추적한 확장된 요구사항추적테이블을 제시하였다. 또한 추적테이블이 확장됨에 따라 추적필드가 많아져서 추적이 복잡해지는 문제점을 해결하기 위해 개발프로세스단위로 통합/분리할 수 있는 추적테이블의 정규화 방안을 제시하였다. 본 연구를 D사의 H시스템개발프로젝트에 적용함으로써 연구의 적용가능성을 검증하고 요구사항의 오류를 쉽게 발견하는 추적의 효과를 확인하였다. 이에 연구를 통해 요구사항의 일관성과 완전성을 검증하는 추적의 정확성을 높여 소프트웨어 개발의 실패를 최소화하고자 하였다.