• 제목/요약/키워드: 소프트시스템 방법론

검색결과 179건 처리시간 0.044초

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

  • 이홍석;권구훈;고병각
    • 한국항행학회논문지
    • /
    • 제19권2호
    • /
    • pp.91-97
    • /
    • 2015
  • 이 논문은 항공 분야에서의 안전필수 소프트웨어를 평가하기 위한 고려사항을 기술한다. 항공 분야에서의 안전필수 소프트웨어의 평가를 수행하기 위해서는 해당 소프트웨어의 평가 수준에 대한 정보가 필요하다. 그 수준은 표준에 명시되어 있으나 소프트웨어 자체적으로 결정되는 요소가 아니며 시스템 안전 평가 결과 및 시스템 설계 결과에 의존적이다. 그러므로 소프트웨어 평가수준을 결정하기 위해 시스템 개발 및 시스템 안전 평가 표준에서 필요로 하는 정보에 대해 설명한다. 그리고 소프트웨어를 평가하기 위한 기존의 방법론들을 조사하고 항공기 지상 유도 및 통제 시스템 소프트웨어의 평가에 적용할 방법을 제시한다.

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

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

  • PDF

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

  • 강송희;심동녘;백필호
    • 한국전자거래학회지
    • /
    • 제20권4호
    • /
    • pp.193-208
    • /
    • 2015
  • 본 논문의 목적은 공개 SW 생태계에 대한 정책적 함의 및 핵심 과제 도출을 위하여 소프트 시스템 모델(Soft System Model) 방법론을 도입하여 국내 공개 SW 생태계 시스템을 분석하고 이를 토대로 공공부문의 바람직한 공개 SW 생태계 구축을 위한 전략적 시사점을 도출하고자 한다. 지식기반사회에서 정보통신기술은 경제를 움직이게 만드는 핵심 동력의 역할을 수행하고 있으며, 최근에는 그 중심이 하드웨어에서 소프트웨어로 이동하고 있다. 이렇듯 지식과 기술을 중심으로 한 소프트웨어 중심사회에서는 지식과 기술의 축적을 통한 부가가치의 창출이 체증하는 한계 수익 체증 현상이 나타난다. 특히 소프트웨어 중심사회를 구성하는 한 축인, 공개 SW는 다양한 사람들이 지식을 공유하며 축적해 나가고 이를 통해 개발이 이루어진다는 점에서 새로운 국가 성장의 도구로 적절하다고 할 수 있다. 공개 SW가 개발자들의 자발적인 참여로 발전해 나가는 특징을 가진 만큼, 이를 관리하고 보상하는 생태계를 만들기 위해서 정부의 적극적인 지원과 관심이 필요하다. 따라서 정부가 공개 SW 기반의 소프트웨어 생태계를 만들기 위해 어떠한 정책적 방향을 제시해야 하는지를 알아보기 위해 소프트 시스템 모델 방법론을 도입하여 공개 SW 생태계 시스템에 대하여 분석하였다.

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

  • 최미숙
    • 한국컴퓨터산업학회논문지
    • /
    • 제3권3호
    • /
    • pp.383-390
    • /
    • 2002
  • 컴포넌트에 의한 시스템 구축은 기능 중심의 독립적인 컴포넌트를 기반으로 새로운 소프트웨어를 구축한다. 컴포넌트를 중심으로 한 소프트웨어의 개발은 품질향상, 마른 개발과 유지보수의 효율성과 같은 소프트웨어의 재사용에 의해서 얻을 수 있는 이익을 얻을 수 있다. 컴포넌트 기반의 시스템에서 재사용성을 높일 수 있는 고 품질 컴포넌트의 효율적인 식별과 구축은 가장 중요한 목표이자 성공 요소이다. 따라서 컴포넌트 개발자는 현재 각 컴포넌트 개발 방법론들의 컴포넌트 식별에 대한 장점과 단점을 파악하여 개발하고자 하는 시스템에 적합한 방법론을 선택하는 것이 필요하고 또한 여러 방법론의 단점을 보완하여 독립적인 컴포넌트를 효율적으로 식별할 수 있는 새로운 방법론을 개발하는 것이 필요하다. 그러기 위해서는 다양한 방법론에 대한 비교 분석이 절실히 요청된다. 본 논문은 최근에 산업계에서 널리 쓰이고 있는 대표적인 컴포넌트 기반 소프트웨어 개발 방법론인 Rational사의 RUP(Rational Unified Process)[1,9], Computer Associates사의 CBD96[2,3]과, Compuware사의 UNIFACE[5] 그리고 Cheesman과 Daniels가 CBD96의 컴포넌트 개발 방법을 화장하여 제안한 UML Components 방법론[4] 등의 컴포넌트 식별 방법을 설명하고 그들의 문제점을 기술한다. 그리고 컴포넌트 식별 방법들을 총체적인 측면에서 비교 분석한다.

  • PDF

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

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

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

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

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

  • 김블라디미르;조우제;정윤혁
    • 지능정보연구
    • /
    • 제25권3호
    • /
    • pp.141-160
    • /
    • 2019
  • 애자일 방법론은 인공지능 소프트웨어를 포함한 소프트웨어 개발 프로젝트에서 지난 몇 년 동안 널리 사용되고 있다. 이처럼 산업에서 애자일 방법론이 많이 사용되고 있음에도 불구하고, 애자일 방법론을 사용하는 소프트웨어 프로젝트의 성공 요인을 분석한 실증적 연구가 부족한 실정이다. 애자일 방법론을 사용하는 소프트웨어 프로젝트에서 고객의 역할을 이해하기 위해 사용자 참여 부족, 비현실적인 고객 기대치, 지속적인 요구 사항 변경의 고객 측 요인들이 프로젝트 성공에 미치는 영향을 조사하였다. 본 연구의 분석 대상은 애자일 방법을 소프트웨어 개발 방법론으로 사용하는 프로젝트이다. 일반적으로 소프트웨어 개발에서의 주 목표는 적은 시간과 비용으로 고품질 소프트웨어를 개발하는 것이다. 과거에는 프로젝트의 초기 단계에서 정한 고객 요구사항의 변화를 최소화하여, 그 변화에 수반되는 비용을 줄이려고 했다면, 오늘날의 프로젝트 관리에서 고객 요구사항의 변화는 고객이 원하는 시스템 개발을 위해 필수적인 것이라 인정하고 이 불가피한 변화에 보다 잘 대응하는 것이 중요하다고 볼 수 있다. 이에 효과적인 방법론으로 애자일 방법론이 많이 사용되고 있고, 본 연구에서는 이 애자일 방법론을 사용하는 프로젝트의 성공요인을 찾아내고자 한다. 본 연구를 위해 설문 방법이 이용되었다. 소셜 네트워크 사이트인 링크드인(LinkedIn)을 이용하여 소프트웨어 프로젝트 참여 경험이 있는 개발자들을 대상으로 온라인 설문을 하였고, 분석에 사용한 데이터는 213개의 응답 데이터이다. 이 설문 응답 데이터를 Ordered Logit Regression을 이용하여 세 가지 가설을 검증하였다. 분석 결과, 위 세 가지 클라이언트 측 요인들 모두가 애자일 방법을 사용하는 프로젝트의 성공에 크게 영향을 미친다는 사실을 실증적으로 찾아내었다. 첫째, 애자일 방법을 이용하기 위해서는 고객의 프로젝트 참여가 필수적이다. 이 결과는 애자일 방법론의 이론적 효과와 일치한다. 사용자와의 협업이 애자일 방법론에서 가장 중요한 요소 중에 하나인 만큼 고객의 참여는 매우 중요하다고 볼 수 있다. 둘째, 애자일 방법이 사용된 프로젝트에서는 고객의 요구 사항을 지속적으로 변경하는 것이 부정적인 요인이 아니라 프로젝트 성공의 긍정적인 요인이라는 흥미로운 결과를 얻었다. 고객의 요구 사항을 지속적으로 변경하는 것은 클라이언트와 공급 업체 간의 빈번한 상호 작용이나 의사 소통을 통해 사용자가 진정으로 원하는 시스템을 만드는데 도움이 되어 긍정적인 요인이 된다는 설명이 가능하다. 셋째, 비현실적인 고객의 기대는 애자일 방법이 사용된 프로젝트에서도 프로젝트 성공에 부정적인 영향을 준다는 결과를 얻었다.

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

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

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

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

  • PDF

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

  • 윤동환;박병운;최완식;기창돈;서승우;박준표
    • 한국항행학회논문지
    • /
    • 제19권1호
    • /
    • pp.15-21
    • /
    • 2015
  • WA-DGNSS는 지상에서 수신한 GNSS 신호를 관련 오차 계산 후 보정 정보를 생성하여 위성을 통해 사용자에게 보정 정보를 제공하는 시스템을 말한다. 사용자는 이 시스템을 통해 위치 정확도 향상 및 GNSS 신호에 대한 신뢰성을 보장 받는다. 또한 국제 민간항공기구(ICAO)에서는 항공기 이착륙 절차에 광역 보정시스템의 적용을 권고하고 있다. 본 논문에는 항공관련 소프트웨어 개발 절차 관련 규격문서인 RTCA DO-278의 소프트웨어 검증 프로세스를 참고하여 기 구축된 WA-DGNSS 광역 기준국 소프트웨어의 모듈 및 통합 테스트 단계를 구성하여 검증을 위한 방법론을 제시한다. 또한 제시한 방법론을 통해 기준국 소프트웨어 테스트를 통계적으로 검증하였으며 이러한 검증을 통해 기준국 소프트웨어의 기능이 적절히 수행됨이 확인되었다.