• 제목/요약/키워드: 요구적합성

검색결과 2,228건 처리시간 0.031초

안전 필수 시스템을 위한 요구사항 명세 및 검증 방법 (A Method to Specify and Verify Requirements for Safety Critical System)

  • 임혜선;이석원
    • 정보과학회 논문지
    • /
    • 제44권9호
    • /
    • pp.893-907
    • /
    • 2017
  • 안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.

모자 제작을 위한 여자 머리형태에 관한 연구

  • 안영실;서미아
    • 복식문화학회:학술대회논문집
    • /
    • 복식문화학회 2004년도 정기총회 및 춘계학술대회
    • /
    • pp.47-49
    • /
    • 2004
  • 최근 스포츠 레져산업의 발전으로 스포츠가 대중화됨에 따라 안전에 대한 문제가 높아지고 있으며, 각종 스포츠 경기시 발생되는 충격에 의한 보호의 기능과 경기력 향상을 위하여 밀차형 모자의 기능성과 적합성을 요구하고 있다. 특히 헬멧이나 특수용도의 모자는 적합도 문제가 더욱 중요하므로 머리 및 얼굴에 착용되는 산업제품 설계 시 이러한 부위들이 세밀하게 고려되어야 한다. (중략)

  • PDF

다운방한용 경량직물에 적합한 마이크로 NP분할 소재개발 (Micro-NP divide material development suitable for Light weight fabric down keeping warn)

  • 조숙경;김동권;심승범;최광석
    • 한국염색가공학회:학술대회논문집
    • /
    • 한국염색가공학회 2011년도 제45차 학술발표회
    • /
    • pp.62-62
    • /
    • 2011
  • 현재 다운방한 용도에 사용되는 직물 트랜드는 경량화 및 박지화 추세에 있으며, 국내외 유명 브랜드에서 사용되는 스포츠웨어 직물소재의 대부분이 이러한 제품으로 판매가 이루어지고 있다. 현재, 국내외 다운방한용에 사용되는 원단은 겉감이외에 다운 세기방지용 안감직물을 사용하여 다운이 빠져나오지 않도록 하고 있음. 그러나, 최근 겉감으로 사용하여 다운이 세지 않고 매우 가벼우면서 Packable 원단개발이 요구되고 있을 뿐만 아니라, 다운방한직물에 요구되는 성능에 만족하거나 성능이 향상된 고기능 원단개발이 요구되고 있다. 이러한 다운방한용 직물은 다운의 내구성 및 지속성 측면에서 매우 많은 기능이 요구되고 있으며 현재 국내에서 사용하고 있는 다운방한용 직물은 다운커버직물을 사용하거나 코팅에 의해 다운세기 방지기능을 강제로 발현시키고 있다. 그러나 그 직물은 경량화 되어가고 있기 때문에 다운커버 직물을 사용하지 않으면서부터 다운이 세는 문제점, 그리고 공기투과 및 투습이 제대로 되지 못하는 기능성의 문제점, 경량화와 더불어 인열강력이 약하여 잘 찢어지는 문제점, 인열강력의 물리적 특성을 높이고자 코팅을 하게되면 기능성 및 감성이 더욱 나빠지는 문제점이 나타나게 되어 다운 방한용 직물은 큰 문제점이 되고 있다. 이에 겉감만으로도 다운방한용도에 적합한 고감성 및 기능성을 가진 경량직물 개발을 위해 고밀도 제직 및 설계 기술, 최종 염색가공 및 후가공 공정까지의 공정내(內) 간(間)연계기술을 연구하였다.

  • PDF

MBC 정밀위치측위 서비스와 자율주행차

  • 이승호
    • 방송과미디어
    • /
    • 제24권1호
    • /
    • pp.56-62
    • /
    • 2019
  • MBC 기술연구소 산하 기술정보사업팀에서는 수 센티미터 이하의 오차정밀도를 요구하는 측지측량, 3D 건설기계 제어 등의 응용분야부터, 극도의 서비스 안정성을 요구하는 자율주행차, 드론 등의 응용분야에 걸쳐 정밀위치 보정정보를 제공하는 'MBC RTK' 상용서비스를 실시하고 있다. 본 고에서는 MBC의 정밀위치측위 서비스인 'MBC RTK' 서비스를 소개하고, 자율주행차의 적용적합성을 설명하고자 한다.

한국전자책문서표준의 적합성 조항 및 전자책 표준 스키마의 정의 (Definition of Conformance Clause and Schema for Electronic Book Standard of Korea)

  • 김재경;손원성;임순범;최윤철
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
    • /
    • pp.741-744
    • /
    • 2003
  • 지난 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 한국전자처 표준문서형 정의 규격번호 $KS{\times}6100$으로 제정되었다. 따라서 $KS{\times}6100$을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반 한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 전자책 표준 스키마를 정의하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책 문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 기법을 통한 자동화된 적합성 표준 스키마를 사용하여 효율적인 적합성 검사가 가능하다.

  • PDF

클라우드 방송 표준의 적합성 시험환경 구현 (Implementation of Conformance Test for Cloud-based Smart Broadcasting Platform)

  • 김정현;임성묵;홍성욱;권동현
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송∙미디어공학회 2019년도 하계학술대회
    • /
    • pp.334-337
    • /
    • 2019
  • 본 논문은 2016 년 제정된 "개방형 클라우드 기반 스마트 방송 플랫폼" 표준(TTAK.KO-07.0129)을 준용하여 개발된 클라우드 방송 플랫폼이 표준의 기술 요구사항을 준수하여 적합하게 구현되었는지 테스트 하기 위한 시험환경 구현에 대해 다룬다. 적합성 시험을 위한 시험항목, 기준, 절차 등이 정의되어 있는 "개방형 클라우드 기반 스마트 방송 플랫폼 표준 적합성 시험" 표준(TTAK.KO-07.0135) 은 2017 년 제정되었으며 이를 기반으로 130 여 개의 테스트케이스가 함께 개발되었다. 테스트케이스를 실제 클라우드 방송 환경과 유사한 조건에서 실행시키기 위하여 방송 송출서버, 이미지 클라우드 서버, 비디오 클라우드 서버, 관리서버 등의 장비로 시험환경을 구축하였다. 그리고 표준기반으로 개발된 클라우드 방송 표준기반 테스트 플랫폼을 통하여 클라우드 방송 적합성 시험환경의 유효성을 검증하였다.

  • PDF

Cycle starting motor의 설계 및 제작에 대한 소고

  • 이성곤
    • 전기의세계
    • /
    • 제26권4호
    • /
    • pp.8-11
    • /
    • 1977
  • 공업기술의 발전에 따라 전동기의 용도도 다양화되고 기계의 기진 정상 정전에서 역전으로 바꾸는것을 기계적 방법보다 전동기의 기동제동 plugging운전방법으로 이송할 때 기계의 고효율화, 기구의 간소화가 된다. 그러나 이러한 다송운전이 빈번할 때 일반전동기로서는 신뢰도가 문제가 되므로, 이 용도에 적합한 특성을 가지는 운동기를 개정함으로서 신뢰도가 높도록 해야 한다. 이런 종류의 용도로 사용되는 용형전동기로서는 특성상 기동 Torque, 가속 Torque가 크고 단시간에 기동하며 Plugging에 적합하고 Dynamic Brake에도 지장이 없어야 하며, 온도상승의 점에서는 기동중에 1차동손이 적고 2차고저항인것이 요구된다. 또 구조상에서는 Inertia가 작으며 급속한 기동이 제일 먼저 요구된다. 만약 기동중에 발열하는 부분의 열용량이 크며 부하 Inertia도 커서 기동시간이 수10초를 걸린다면 국부적으로 대단히 높은 온도상승을 하게 되고, 가혹한 Plugging운전을 하는 경우는 열적 및 기계적으로 고도의 신뢰성이 요구된다. 이에 적합한 Cycle Starting Motor를 시작하여 본 결과를 경험을 토대로 다목적으로 연구검토하여 여기에 소개하고자 한다.

  • PDF

정보 교육에서 요구되는 창의적 문제해결능력의 인지적 요소 정의 (Cognitive Components Definition of Creative Problem-Solving Ability in Informatics Education)

  • 김종혜;정회강;김한성;김현철;이원규
    • 컴퓨터교육학회논문지
    • /
    • 제11권2호
    • /
    • pp.1-12
    • /
    • 2008
  • 학교의 교과 교육을 통한 창의적 문제해결능력 향상 교육은 중요하다. 특히 정보 교육은 일반적인 문제해결능력 뿐 아니라, 컴퓨터를 이용한 문제해결능력도 중요하다. 본 연구에서는 정보교육에서 요구되는 창의적 문제해결능력의 인지적 요소를 정의하고자 하였다. 정보교육에서 요구되는 창의적 문제해결능력의 인지적 요소는 문제해결능력과 창의력의 구성요소를 교차한 결과를 이용하고, 전문가 집단의 타당도를 이용해 조사하였다. '문제 이해 및 분석' 단계에 적합한 창의력 요소는 정교성, 민감성, 재구성력이 선정되었고, '문제 해결 방안 탐색' 단계에 적합한 창의력 요소는 유창성, 융통성, 독창성이 선정되었다. '문제 해결 방안 설계' 단계와 '구현' 단계에 적합한 창의력 요소는 정교성이 선정되었다. 마지막으로 '평가' 단계에 적합한 창의력 요소는 융통성, 정교성이 선정되었다.

  • PDF

사례기반추론을 이용한 열연제품 품질설계지원시스템 (A Hot Coil Quality Design Su, pp.rt System using Case Based Reasoning)

  • 고영관;박상혁;서민수;임여종
    • 지능정보연구
    • /
    • 제3권1호
    • /
    • pp.101-109
    • /
    • 1997
  • 철강제품의 품질설계란 제품의 주문요구조건을 만족시키기 위해 제품의 성분 및 생산공정을 결정하는 과정을 의미한다. 본 연구에서는 품질설계업무를 지원하기 위한 시스템을 개발하였다. 설계업무의 특성을 고려하여 과거사례를 설계에 이용하기 위해, 사례기반추론(Case-based Reasoning)접근방법을 이용하였다. 본 연구에서는 또한 유사사례의 효율적 검색을 위해 품질설계 문제에 적합한 유사성척도를 제안하고 있으며, 문제에 적합한 유사성척도를 제안하고 있으며, 문제에 적합한 지식관리 방법 및 설계조정 방법을 개발하였다.

  • PDF

인공신경망의 알고리즘에 의한 토지적합성분석에 관한 연구 (A study of Land Suitability Analysis using Algorithms of Artificial Neural Network)

  • 양옥진;정영동
    • 한국지형공간정보학회:학술대회논문집
    • /
    • 한국지형공간정보학회 2001년도 학술발표회 개요집
    • /
    • pp.1-15
    • /
    • 2001
  • 본 연구는 도시토지이용의 적합성분석을 실시하는 데 있어 GSIS와 인공신경망의 유기적인 결합을 시도해 보았다. 인공신경망은 학습이라는 과정을 통해 신경망 노드(node)간의 연결강도를 합리적으로 결정할 수 있는 이점이 있다. 이러한 점에서 공간분석에서 요구되는 인자간의 경중률과 신경망의 연결강도는 대체가 가능하리라 판단된다. 본 연구를 수행하기 위해 두 종류의 신경망을 구성하였다. 1차 신경망은 토지이용별 적합성 분석에 적용했으며, 2차 신경망은 최적의 토지이용패턴을 분석하기 위해 구성하였다. 이들 신경망은 C++로 작성된 프로그램에 의해 구현된 최급강하법에 의한 역전파 알고리즘에 의해 학습을 실시하였으며, 활성화 함수는 시그모이드 함수를 사용하였다. 분석결과는 현행 용도지역제에서 주거, 상업, 공업, 녹지에 대한 토지이용 적합도면과 4가지 유형의 토지이용에 대한 대상지역의 최적토지이용패턴을 제시한 도면으로서 Arc/Info의 Grid 형식으로 작성하였다. 또한 토지이용별 적합도면상에 나타난 적합지역과 최적토지이용패턴은 위치적인 면과 공간 구성에 있어 실제의 도시토지이용계획의 이론적인 개념에 매우 합치되는 분포형태를 보였다.

  • PDF