• Title/Summary/Keyword: 소프트시스템 방법론

Search Result 179, Processing Time 0.029 seconds

A Study for Evaluation Method of Safety Critical Software in Avionics Industry (안전필수 항공 산업용 소프트웨어 평가 방법 연구)

  • Lee, Hongseok;Kwon, Goohoon;Ko, Byeonggak
    • Journal of Advanced Navigation Technology
    • /
    • v.19 no.2
    • /
    • pp.91-97
    • /
    • 2015
  • This paper specifies several considerations about assessing safety-critical software in the aerospace domain. In order to evaluate safety critical software in the aerospace industry, it is required to identify an information of evaluation criteria of software under evaluation. The information is specified in the standard, but determination of evaluation criteria cannot be decided by itself and depends on the results of safety assessment of a system and system design. Thus, this paper explains required information of system development standard and safety assessment standard to determine software evaluation criteria. It surveys existing methodologies about evaluating software, and suggests method which is adapted to evaluation of an advanced surface movement guidance and control system (A-SMGCS) software.

Hardware/Software Co-design and Verification by Synchronous language for Embedded System (임베디드 시스템을 위한 동기적 언어 기반 하드웨어/소프트웨어 통합 설계 및 검증)

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

  • PDF

A Study on the Problems and Policy Implementation for Open-Source Software Industry in Korea: Soft System Methodology Approach (소프트시스템 모델 방법론을 통해 진단한 국내 공개 SW 산업의 문제점과 정책전략 연구)

  • Kang, Songhee;Shim, Dongnyok;Pack, Pill Ho
    • The Journal of Society for e-Business Studies
    • /
    • v.20 no.4
    • /
    • pp.193-208
    • /
    • 2015
  • In knowledge based society, information technology (IT) has been playing a key role in economic growth. In recent years, it is surprisingly notable that the source of value creation moved from hardware to software in IT industry. Especially, among many kinds of software products, the economic potential of open source was realized by many government agencies. Open source means software codes made by voluntary and open participation of worldwide IT developers, and many policies to promote open source activities were implemented for the purpose of fast growth in IT industry. But in many cases, especially in Korea, the policies promoting open source industry and its ecosystem were not considered successful. Therefore, this study provides the practical reasons for the low performance of Korean open source industry and suggests the pragmatic requisites for effective open source policy. For this purpose, this study applies soft system model (SSM) which is frequently used in academy and industry as a methodology for problem-solving and we link the problems with corresponding policy solutions based on SSM. Given concerns which Korean open source faces now, this study suggests needs for the three different kinds of government policies promoting multiple dimensions of industry: research and development (R&D)-side, supply-side, and computing environment-side. The implications suggested by this research will contribute to implement the practical policy solutions to boost open source industry in Korea.

A Comparison Study of Methods about Component Identification (컴포넌트 식별 방법에 관한 비교 연구)

  • 최미숙
    • Journal of the Korea Computer Industry Society
    • /
    • v.3 no.3
    • /
    • pp.383-390
    • /
    • 2002
  • System developments by components are accomplished by creating new software based on independent components having respective function. Generally, component-based software developments are expected to obtain profits caused by reuse of software, such as improvement of quality, rapid development, and efficiency of maintenance. In a component-based system, the most important goal and also key to success is to identify and construct high quality components that may increase reusability. Therefore, it is necessary for component developers to understand strong and weak points of existing component development methodologies in the aspect of identification of component, and to select the most appropriate methodology for the system to be constructed. It is also necessary for component developers to develop a new methodology enabling effective identification of independent components through modification and/or complementation of existing methodologies. The modification and complementation needs comparison and analysis of various existing methodologies. Accordingly, the this paper is to provide explanation for some widely used methodologies representing the existing component-based software development methodologies such as RUP(Rational Unified Process) of Rational company[1,9], CBD96 of Computer Associates company[2,3], UNIFACE of Compuware company[5], and UML components methodology derived from extending of the component developing method of CBD96 by Cheesman and Daniels[4]. The this paper is also to point out respective problems of the representative existing methodologies. Furthermore, component identification methodologies are compared and analyzedon the whole through this paper.

  • PDF

소프트웨어 유지.보수 기법의 효과적 적용

  • 권영직;조현준
    • Proceedings of the Korea Society for Industrial Systems Conference
    • /
    • 1997.03a
    • /
    • pp.1-17
    • /
    • 1997
  • 소프트웨어 시스템 개발의 수명 주기에서 유지 보수 단계에 투입되는 시간과 비용은 상당한 비율에 달한다. 그 결과, 과거에는 시스템을 개발할 때 , 프로그래밍에 중점을 두었지만 현재는 유지 보수에 중점을 두고 있는 실정이다. 따라서,효과적인 소프트웨어의 창출을 위해서는 좀더 나은 유지보수기법을 도출할 필요가 있다. 또한 소프트웨어의 중요성을 감안할 때 특히 소프트웨어에 대한 성능이 추가, 수정 , 보완을 원활하게 할 수 있는 소프트웨어 유지보수 기법의 적용이 절실하다 하겠다. 본 연구에서 측정요인(프로그램 크기, 복잡성, 구조적 개발방법론)에 따라서 어떠한 유지보수기법의 효과적인가를 실험을 통하여 도출해보았다.

Development Methodology and Reuse Supporting System for Embedded System (임베디드 시스템 개발방법론 및 재사용 체계)

  • Yang, Y.J.;Cho, J.H.;Ha, S.J.;Cha, J.E.
    • Electronics and Telecommunications Trends
    • /
    • v.21 no.1 s.97
    • /
    • pp.82-93
    • /
    • 2006
  • 특정 산업용 기기의 제어를 위해 사용되던 임베디드 시스템이 유무선 통신 네트워크와 접목으로 디지털 정보가전, 의료, 항공, 군사 등 전 산업 분야로 확대되는 “Embedded,Everywhere” 시대가 도래하고 있다. 임베디드 시스템은 실시간 처리, 저전력 등의 물리적 특성과 하드웨어(HW)와 소프트웨어(SW)의 동시 설계, 리소스의 절제된 사용 등의 특성을 반영해야 하므로 시스템 개발 전 과정에서 이러한 특성을 만족시키는 개발체계의 구축이 필요하다. 특히, 임베디드 소프트웨어의 공통. 핵심 기술을 자산화하여 체계적으로 재사용할 수 있는 환경 구축은 기술의 중복 개발을 최소화하고, 기술의 가치를 지속적으로 증대시킨다. 따라서, 고품질의 임베디드 시스템을 적시에 경제적으로 개발할 수 있는 임베디드 시스템 개발방법론과 임베디드 소프트웨어 재사용 체계의 개발 및 보급 기술은 소프트웨어 산업 경쟁력 향상에 공통적으로 필요한 기반 기술로 활용될 수 있다. 본 고에서는 신 성장 미래 산업의 기반이 되는 임베디드 시스템을 위한 개발 방법론과 재사용 체계 구축에 대한 동향을 기술한다.

The Role of Clients in Software Projects with Agile Methods (애자일 방법론을 사용한 소프트웨어 프로젝트에서의 사용자 역할 분석)

  • Kim, Vladimir;Cho, Wooje;Jung, Yoonhyuk
    • Journal of Intelligence and Information Systems
    • /
    • v.25 no.3
    • /
    • pp.141-160
    • /
    • 2019
  • Agile methodologies in software development, including the development of artificial intelligence software, have been widespread over the past several years. In spite of the popularity of agile methodologies in practice, there is a lack of empirical evidence to identify determinants of success of software projects in which agile methods are used. To understand the role of clients in software project where agile methods are used, we examine the effect of client-side factors, including lack of user involvement, unrealistic client expectations, and constant changes of requirements on project success from practitioners' perspective. Survey methods are used in this study. Data were collected by means of online survey to IT professionals who have experience with software development methodologies, and ordered logit regression is used to analyze the survey data. Results of our study imply the following managerial findings. First, user involvement is critical to project success to take advantage of agile methods. Second, it is interesting that, with an agile method, constant changes of client's requirements is not a negative factor but a positive factor of project success. Third, unrealistic client expectations do negatively affect project success even with agile methods.

Self-Healing Method of Stateless Software by Rebooting (무상태 소프트웨어의 리부팅을 통한 자가 치유 방법)

  • Hong, Ilsun;Lee, Eunseok
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.307-310
    • /
    • 2010
  • 컴퓨팅 시스템이 복잡해 지면서 기존의 관리자에 의한 유지 보수는 한계에 직면하였다. 이에 따라 시스템이 스스로 상태를 감시하고 문제가 발생하였을 경우 스스로 문제를 해결하는 자율 컴퓨팅은 컴퓨팅 시스템의 유지 및 운영을 위한 대안으로 기대되고 있다. 자율 컴퓨팅 중 하나인 자가 치유 방법은 시스템의 문제가 발생하였을 때 스스로 치유하여 시스템을 정상 상태로 되돌리는 기법이다. 리부팅은 간단하고 실용적이며 효율적으로 다양한 시스템의 문제를 해결하는 자가 치유 방법 중 하나이다. 리부팅은 시스템의 문제 발생 원인과 위치를 알지 못해도 시스템을 빠르고 쉽게 복구할 수 있다. 그러나 리부팅 전략은 예기치 못한 데이터의 손실을 가져올 수 있으며 복구 시간이 예상보다 길어지는 등의 문제가 발생한다. 본 논문에서는 이러한 문제를 해결하기 위한 방법으로 무상태 소프트웨어와 마이크로리부팅을 이용한 소프트웨어 자가 치유 방법론을 제안한다.

Shop Floor 제어 시스템의 이론과 응용

  • 장병일;신준호;조현보
    • ICROS
    • /
    • v.3 no.1
    • /
    • pp.66-74
    • /
    • 1997
  • 이 글에서는 Shop Floor 제어 시스템을 여러 가지 아키텍쳐 관점에서 살펴보았다. 이것은 생산 시스템의 자동화를 위해 SFCS가 가져야 할 하드웨어와 소프트웨어를 설계 및 운영할 때 필요한 부분들과 이들의 통합 방법 등을 제시하였다. 제어구조는 여러 가지 Shop 개체, 즉 UCC들을 정의하고 그들 사이의 상호 작용에 관해 보여주는 방법론으로써, 서로 다른 제어 시스템과의 상호 작용 방법, 작동 상태, 내부구조, 다른 제어 시스템과의 상호 작용 방법, 작동 상태, 내부구조, 사용자와의 교류 방법 등을 포함하고 있다. 기능 구조는 각각의 제어 시스템들이 수행하는 기능들을 정의하고 이들 사이의 상호작용에 대해서 나타내고 있다. 또한 정보 구조는 Shop에서 어떠한 정보들이 생성되며, 이러한 정보들이 어떻게 변하여 가는가를 다루고 있다. 이와 더불어 제어 시스템 사이의 통신 방법론에 관해 다루는 통신 구조를 서술하였다. SFCS를 개발하기 전에 반드시 여러 가지 구조를 미리 설정하여 독립적으로 연구한 후 이들을 통합하는 작업을 거쳐야 한다. SFCS를 개발하는데 필요한 구조로써 본 논문에서 언급한 것 외에도 개발구조(Development Architecture), 실행구조(Implementation Architecture)등이 있다. 이것은 계속 연구되어야 할 과제이며 위의 언급한 구조들에 대해서도 미흡한 부분은 앞으로 연구가 활발히 진행되어야 할 것이다.

  • PDF

A Suggestion of Methodologies for Modular and Integrated Verification of WA-DGNSS Reference Station Software Suitable for Validation & Verification of DO-278 (DO-278의 Validation & Verification에 적합한 WA-DGNSS 기준국 소프트웨어의 모듈별 통합 검증 방법론 제시)

  • Yoon, Donghwan;Park, Byung-Woon;Choi, Wan-Sik;Kee, Changdon;Seo, Seungwoo;Park, Junpyo
    • Journal of Advanced Navigation Technology
    • /
    • v.19 no.1
    • /
    • pp.15-21
    • /
    • 2015
  • WA-DGNSS is a system to service for users using a satellite which received correction data from ground station that calculates the relative errors of the tracked GNSS signals and sends to a satellite. Users are guaranteed the reliability of the GNSS signal and the accuracy of positioning. ICAO recommends the application of WA-DGNSS for the airplane taking off and landing process. In this paper, we suggests methods to verify of the pre-developed WA-DGNSS reference software constituting modules and an integration test process refer to the RTCA DO-278 which is a document for the development process of an aeronautics software. Also, we statistically verified the reference software test through our methods. And then, we confirmed to performance the function of the reference software properly.