• 제목/요약/키워드: 정형화된 요구사항

검색결과 52건 처리시간 0.029초

형식명세로 변환된 객체모델의 검증방법과 시뮬레이션 (Verification method and Simulation of Object model Converted to Formal Specification)

  • 임근
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권6호
    • /
    • pp.123-130
    • /
    • 2007
  • 본 논문은 객체모델에서 표현되는 객체와 관련성을 형식명세의 상태와 오퍼레이션 도메인으로의 변환 규칙을 제시하였다. 즉 정보모델의 요소인 객체와 관련성을 형식명세 표현에서 상태영역으로 변환하였다. 동적모델의 상태, 이벤트, 행위를 오퍼레이션 영역으로 변환하였다. 비형식적인 객체모델을 형식 명세 언어로 변환하므로써 객체모델을 정형화된 방법으로 검증할 수 있다. 검증과정을 통해 소프트웨어 개말 초기단계에서 모델링 과정의 편리함과 신뢰성을 제공할 수 있다 또한 검증된 모델과 사용자 요구사항 사이의 일관성을 위해 시뮬레이션 도구를 구현하였다. 시뮬레이션 도구는 적합한 모델의 선택과 검증이 가능하도록 하므로 소프트웨어 개발비용과 노력, 개발 시간을 최소화할 수 있다.

  • PDF

재구성 가능한 소프트웨어 시스템의 적용 (The Application of Reconfigurable Software Systems)

  • 최한용
    • 디지털융복합연구
    • /
    • 제19권8호
    • /
    • pp.219-224
    • /
    • 2021
  • 소프트웨어 시장은 다양한 산업의 융합과 함께 적용분야의 경계가 없어지고 융합분야의 제약이 사라졌다. 소프트웨어의 요구사항은 다변화하고 빠른 주기로 소프트웨어 요구사항을 재구성하기를 원하고 있다. 요구사항의 다양한 변화는 기술적으로 수용되어야 하기 때문에 소프트웨어의 생산성에 대한 효율을 높이기 위한 다양한 방법과 표준에 대한 연구, 그리고 이를 위해 소프트웨어를 정형화하여 생산할 수 있는 방법이 필요하다. 본 연구에서는 선행 연구에서 최적화한 자산의 활용을 위해 재구성 가능한 소프트웨어 자산을 적용하였을 때 개발자의 특성과 환경에 따라 자산의 구성에 대한 재사용성과 복잡도가 어떻게 나타나는지 연구하였다. 이때 개발자의 특성에 따라 나타나는 사용성과 자산 구성방법에 따른 복잡도의 변화가 어떻게 나타나는지 측정하였으나 수집 데이터의 한계가 있어 계속적인 데이터 수집으로 측정값의 품질을 확보가 필요하다. 또한 복합 자산의 사용단계에서 컨텍스트 분류의 문제점을 보완하기 위한 지능형 시스템 적용방안이 필요하다.

LASA 디스플레이 유스케이스 모델링을 위한 방안 (A Approach to Use Case Modeling on LASA Display)

  • 민재홍;류호준;추혜용
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2013년도 추계학술대회
    • /
    • pp.805-808
    • /
    • 2013
  • 국내 정보통신 기술의 위상이 추격형에서 선도형으로 변화함에 따라, 신기술과 신시장을 창조하기 위한 원천기술 및 지식재산권 확보가 무엇보다 중요하고, 동시에 상용화의 수준을 높이는 기술개발이 요구되고 있다. 따라서 과제 기획단계에서 창의적 현식적인 아이디어가 연구과제로 채택되어 성공적으로 수행될 수 있도록 과제의 가치 및 기능에 대한 공감대 형성을 위한 방안이 필요하다. 본 논문에서는 소프트웨어 요구사항 추출에 사용된 유스케이스 작성 방법들을 분석하여 창의적 혁신적 과제에 적용할 수 있는 유스케이스 작성 방안을 제시하고, 이를 LASA 디스플레이 개발 과제에 적용하여 타당성을 검증하고자 한다. 향후에도, 새로운 기술 개발 에 대한 요구가 점증할 것으로 예상됨으로 지속적으로 유스케이스 발굴 방안에 대한 연구가 이루어 져야하고, 보다 정형화 되고 단계간의 연계가 논리적으로 이루어 질 수 있는 방법론에 대한 연구가 필요하다. 그리고 작성된 유스케이스 간의 연계 분석 방안 및 논리적 근거 제시 방안에 대한 방법론이 요구된다.

  • PDF

ERP 기반의 품질경영시스템(ISO 9001 : 2000/ KS A 9001:2001) 구축에 관한 연구 (A Study on Establishment of Quality Management System (ISO 9001 : 2000/ KS A9001 : 2001) based on ERP)

  • 김용직;강창욱
    • 한국산업경영시스템학회:학술대회논문집
    • /
    • 한국산업경영시스템학회 2002년도 춘계학술대회
    • /
    • pp.413-419
    • /
    • 2002
  • 본 연구의 목적은 품질경영시스템의 ISO 9000:2000/KS A 9000:2001 개정 규격 내용 및 요구사항을 살펴보는 한편, 우리나라 중소기업이 전환규격을 적용하는데 있어서 ERP PACKAGE를 이용하여 효과적인 품질경영시스템 구축 방안을 제시하기 위함이다. 본 연구에서는 업무 PROCESS와 품질 기록을 중심으로 ISO 9000:2000/KS A 9000:2001 개정 규격을 ERP PACKAGE에 접목하는 방법을 도출하였으며, 적용 사례로서 기계 제조업체의 구매업무를 중심으로 품질경영시스템 구축방안을 제시하였다. 본 연구의 결과는 다음과 같다. 첫째, 정형화된 업무 체계를 갖추어 업무 담당자간 혹은 부서간의 업무 마찰을 줄이고 여러부서에서 발생하는 업부 DATA를 중앙집중식으로 공유하여 동일한 DATA의 수집과 작성에 중복성을 최소화하는 등에서 업무의 효과가 있는 것을 볼 수 있다. 둘째, ERP PACKAGE를 이용한 품질경영시스템(ISO 9000:2000/KS A 9000:2001)의 효과적인 추진 방안은 다음과 같다 1) 전환 규격의 충분한 이해가 요구된다. 2) 현재의 업무 프로세스를 파악한 후 ERP PACKAGE에서 제공하는 개선된 업무프로세스를 적용하는 것이 필요하다. 3) 개선된 업무 프로세스의 실행 결과를 ERP PACKAGE 모듈에서 품질기록으로 유지한다. 4) 새로운 품질경영 정보 시스템을 업무 전반에 적용하기 위한 기업인프라 구축과 프로세스에 대한 지속적인 개선이 요구된다. 본 연구에서는 ISO 9000:2000/KS A 9000:2001 개정 규격요구사항을 이해하고 ERP PACKAGE를 이용하여 최초로 개정규격을 적용하거나, 전환규격으로 품질경영시스템을 구축 시 좀더 효과적이고 효율적인 품질경영시스템을 구축하는데 업무지침으로 활용될 수 있을 것이다.의 수와 생존율면에서 볼 때 가장 적합한 것으로 사료되었다./TEX>개월 투여하게 되면 HDL 콜레스테롤 양이 현저히 증가하였으며, 총 콜레스테롤 양, 동맥경화지표, 중성지방, 유리지방산, 과산화지방은 현 저히 감소하였다.- 결론 - 홍삼과 진세노사이드는 사람과 흰쥐에 있어 과지혈증을 호전시켰다. 실험적으로 과지혈증을 유발시킨 흰쥐에서, 혈중 아포단백질, 지방단백질 및 프로스타글란딘 상호성을 개선시켰다.었다.xA_{2}$ synthetase 억제제인 imidazole의 효과와 유사하였다. 4. G-Re는 $1{\times}10^{-5}g/ml$ 이하의 농도에서는 효과가 없으나 $1{\times}10^{-4}g/ml$ 이상의 농도에서 농도의존적으로 유의성 있는 $PGE_{2},\;PGF_{2}{\alpha},\;TXB_{2}$의 생성억제와 함께 6-keto-$PGF_{1}{\alpha}$ 증가를 보였다. 이는 prostacyclin synthetase를 자극하는 serotonin의 효과와 같은 작용으로서 prostacyclin synthetase 억제제인 tranylcypromine에 대하여 길항효과를 보였다. 5. $TxB_{2}$생성억제 작용을 나타내는 ginsenoside들의 효과를 뒷받침하기 위하여 인삼 saponin 성분을 전처치한 patelet rich plasma에서 혈소판 응집시험 결과, ADP로 유도된 혈소판 응집반응에는 모든 인삼 saponin 성분들이 효과가 없었으나 arachidonic acid로 유도된 혈소판 응집반응에는 $G-Rb_{2}$, G-Rc, G-Re의 순으로 농도 의존적인 억제현상을 보였다. 이상의 결과와 같이 인삼 saponin 성분들은

  • PDF

저사양 사물인터넷 디바이스를 위한 블록체인 기술 동향

  • 허신욱;조욱;김금보;권율;김호원
    • 정보보호학회지
    • /
    • 제32권2호
    • /
    • pp.17-28
    • /
    • 2022
  • 사물인터넷은 물류, 환경, 스마트 홈, 자율주행 자동차, 에너지 관리, 스마트시티, 농업 등 다양한 응용 분야를 가지며, 거의 모든 산업분야의 기본 인프라 사용되는 핵심 기술이다. 하지만, 사물인터넷은 쉬운 공격 노출과 다양한 보안 취약성, 다양한 센서로부터 수집되는 데이터에 대한 개인정보보호의 어려움 등 많은 문제점이 존재한다. 최근, 이러한 사물인터넷의 문제점들을 보완할 수 있는 기술로 블록체인 기술이 주목받고 있다. 사물인터넷과 블록체인을 접목하면, 블록체인의 높은 확장성과 공격에 대한 복원력, 신뢰성, 추적성 등을 통해 사물인터넷 서비스의 보안성, 신뢰성을 향상시킬 수 있다. 또한, 데이터 및 프로세스의 정형화, O&M 효율성 향상 등 다양한 장점을 가질 수 있으며, 블록체인이 접목된 사물인터넷 기술은 대부분의 산업분야에 혁신을 발생시킬 수 있다. 하지만, 사물인터넷 디바이스는 기본적으로 높은 자원 제약성을 가지고 데이터 처리에 높은 TPS 성능을 요구하기 때문에 기존 블록체인 기술과 통합되는 것이 쉽지 않다. 이에, 본 고에서는 사물인터넷과 블록체인의 융합을 위한 요구사항을 분석하고, 사물인터넷과 블록체인의 융합을 위해 필수적으로 요구되는 블록체인 스케일링 기술에 대해 알아본다.

유선 네트워크 성능시험 방법 분석 (Performance test method analysis of wired network)

  • 이재정;류한양;남기동;이우섭
    • 디지털콘텐츠학회 논문지
    • /
    • 제19권4호
    • /
    • pp.801-808
    • /
    • 2018
  • 유선 네트워크를 구성하는 스위치나 라우터 또는 통합망에 대한 성능 시험방법론에 대해서는 아직 명확히 정의 되어 있지 않다. 스마트 폰과 멀티미디어 트래픽으로 인해 네트워크의 속도는 100Gbps까지 빠르게 증가하고 있다. 그러나, 정형화된 시험 방법이 없고 성능 시험 관련 부분은 아직도 옛날 자료를 기반으로 시험을 수행하고 있다. 통신사업자나 기업에서는 요구사항에 대한 시험을 자체 BMT(Benchmark Test)로 진행하고 있으며, 정부 또는 공공기관에서는 외부 기관에 성능 시험을 의뢰하고 있다. 차세대 네트워크 장비를 포함한 단위장비 및 통합망에 대한 성능 시험 수요가 증가함에 따라 성능 시험 방법에 대한 분석이 조속히 이루어져야 한다. 따라서 본 논문에서는 기관에서 수행하는 성능 시험 방법을 분석하고 모든 유선 네트워크 장비에 적용할 수 있는 가이드라인을 제시하고자 한다.

자가적응형 시스템을 위한 목표 시나리오 기반 예측 분석 (An Predictive Analytics based on Goal-Scenario for Self-adaptive System)

  • 백수진
    • 한국융합학회논문지
    • /
    • 제8권11호
    • /
    • pp.77-83
    • /
    • 2017
  • 효율적인 예측 분석을 위해서는 문제를 스스로 인식하고 진단하여 시스템이 자율적으로 복구가 가능한 자가 치유 연구가 필요하다. 그러나, 소프트웨어를 개발하는데 있어서 외부상황에 따른 정형화된 컨텍스트 정보 분석 및 적절한 표현 구조를 제시하지 못한다. 본 논문에서는 새로운 목표 시나리오를 기반으로 행위 요소, 데이터, 트랜잭션이 가능한 기능들에 대해 추출 규칙을 적용하여 변경 내용에 따른 예측 분석 방법을 제안한다. 그리고, 요구사항 목표 달성을 위한 성과지표를 통해 예측 분석 내용이 얼마나 부합되었는지 평가하였다. 제안한 방법이 기존 방법들에 비해 성과측정을 통한 부합 결과는 최고 32.8% 높았고, 이에 따른 오차율은 28.9%, 변경 코드는 최고 45.8%가 감소되었다. 이는 목표 시나리오 기반 컨텍스트 규칙을 통해 서비스 가능한 형태로 가공할 수 있음을 보여주며, 문제 발생에 대한 변경 내용을 예측 분석을 통한 성능의 확장이 가능함을 보여준다.

다물체 동역학을 이용한 후륜 현가 부품의 내구해석 (Fatigue Analysis of Rear Suspension Part Applying Multi-body Dynamics)

  • 전성민;조병관
    • 대한기계학회논문집A
    • /
    • 제39권10호
    • /
    • pp.1039-1044
    • /
    • 2015
  • 차량의 개발단계에서 내구성 평가는 많은 시간과 비용이 소요된다. 최근 완성차 업체들은 자사만의 내구성 평가방법을 개발하고 수정 보완하는데 많은 노력을 기울이고 있다. 본 연구는 토션빔 액슬의 내구성 평가를 위한 통합 CAE 기법을 개발함에 있어 세계적인 자동차 업체의 정형화된 CAE 기법과의 비교를 통해 경제성을 평가하고 실험적 방법을 통해 얻은 데이터와의 비교를 통해 신뢰성을 확보하는 것을 목표로 하였다. 이를 위해 현재까지 널리 사용되어 온 준정적 내구해석의 과정 및 결과에서 보완점과 문제점을 분석하였고, 업계의 요구사항을 면밀히 검토하여 정규모드해석을 통해 다물체 동역학 모델을 구성하고 이를 이용한 동역학 해석을 진행한 후 그 결과를 이용하여 내구해석인 공진 내구해석 기법을 제안하였다.

${\mu}C/OS-II$ 운영체제환경을 고려한 SDL 명세로부터의 내장형 C 코드 자동 생성 (Automatic SDL to Embedded C Code Generation Considering ${\mu}C/OS-II$ OS Environment)

  • 곽상훈;이정근
    • 한국컴퓨터정보학회논문지
    • /
    • 제13권3호
    • /
    • pp.45-55
    • /
    • 2008
  • 내장형시스템의 복잡도 증가로 인하여 내장형 소프트웨어의 자동생성 및 하드웨어-소프트웨어 통합설계 방법론등이 크게 이슈화되고 있다. 자동화된 설계 방법론에 있어서 공통적인 요구사항은 시스템 설계를 효과적으로 모호성 없이 기술 할 수 있도록 정형화된 설계 언어를 제공하는 것과 설계 언어로 부터 자동으로 원하는 소프트웨어 코드를 생성하는 방법의 개발이다. 본 논문에서는 시스템 기술언어로 ITU-T에 의해 표준으로 권고되어 널리 사용되고 있는 SDL (Specification and Description Language)로부터 실시간 운영체제 uC/OS-II에서 수행될 임베디드 C코드를 자동으로 생성하는 자동화된 방법론을 제시한다. 연구 개발된 자동 내장형 C코드 생성기는 하드웨어-소프트웨어 통합설계환경에서 소프트웨어 설계의 한 축으로 이용될 수 있으며 SDL 시뮬레이터나 검증기를 통하여 개발하고자 하는 code의 기능을 초기 모델 수준에서 평가하고 검증 할 수 있다.

  • PDF

EJB를 이용한 WBI 컴포넌트 개발에 관한 연구 (A Study for The EJB Component Based WBI System)

  • 전주현;홍찬기
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2003년도 추계학술발표논문집 (상)
    • /
    • pp.249-252
    • /
    • 2003
  • 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용하는 연구는 소프트웨어 재사용 측면에서 생산성 증대에 기여한다. 이 논문에서는 웹 기반 교육시스템에 컴포넌트 개념을 도입하여 재사용성을 높이는 연구의 연장으로 개발자의 WBI에서 요구 사항에 부합되는 컴포넌트를 검색하기 위한 컴포넌트 명세 모델과 아키텍쳐에 기반한 컴포넌트 검색 모델을 XML형태로 명세하고 클래스 다이어그램으로 표기하였으며 더 WBI 시스템에 EJB model을 적용하여 EJB를 이용한 WBI 컴포넌트 개발에 관한 연구 진행하여 EJB기반의 교육컴포넌트를 설계 구현하기 위한 전 단계에 연구를 진행하였다. 이미 어느 정도는 정형화되어 있는 WBI 컴포넌트를 EJB컴포넌트로 전환하는 과정을 연구하여 재사용성과 이식성을 높이는 연구를 진행한다.

  • PDF