• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.038 seconds

Evaluation Method to Choose Architectural Approaches in the Software Architecture Design Phase (소프트웨어 아키텍처 설계 단계에서 아키텍처 접근법 선정을 위한 평가 방법)

  • Koh, Hyon-Hee;Kung, Sang-Hwan;Park, Jae-Nyon
    • The KIPS Transactions:PartD
    • /
    • v.12D no.4 s.100
    • /
    • pp.617-626
    • /
    • 2005
  • To design a software system many architecture styles have to be combined to construct the overall architecture of the system What to choose among various architecture styles or architectural approaches depends on the fact of what kind of functional or non-functional quality requirements the system should satisfy In this study, we define the method to choose suitable architectural approaches by the satisfaction level of system requirements that is evaluated through estimation about technical parts of architectural approaches, and verify the evaluation method by the case study that apply the evaluation method to choose architectural approaches for message system.

An Analysis of the Relation between Runtime Errors and Embedded Coding Rule using Static Analysis of Medical Software (의료기기 소프트웨어 정적검증을 통한 임베디드 코딩룰과 실행시간 오류 간 연관성 분석)

  • Yoo, Sae-Yeol;Choi, Ki-Yong;Lee, Jung-Won
    • Annual Conference of KIPS
    • /
    • 2016.10a
    • /
    • pp.497-500
    • /
    • 2016
  • 최근 임베디드 소프트웨어의 신뢰성과 안전성을 보장하기 위하여 코딩룰인 MISRA-C를 자동차 뿐만 아니라 군사, 의료 분야등 광범위한 분야에서 이용하고 있다. 하지만 MISRA-C가 자동차 시스템분야의 MISRA 가이드를 이용하여 개발되었기 때문에 타 분야의 분야별 특성을 모두 고려하지 못한다는 문제점이 제시되고 있다. 따라서 본 논문에서는 향후 의료기기 분야의 특성을 고려한 코딩룰을 제시하기에 앞서, 의료기기 소프트웨어에서의 코딩룰 필요성을 제시한다. 이를 위해 개발 단계의 의료기기 소스코드에 MISRA-C를 적용하여 정적 분석을 해보고, 적용 유무 따른 실행시간 오류 결과를 분석한다. 분석 결과, 코딩룰을 이용하면 실질적으로 실행시간 오류 발생을 막을 수 있고, 적용 과정에서 기타 다른 실행시간 오류들 또한 해결됨을 확인하였다. 위 결과로 본 논문에서는 의료 분야의 특성을 고려한 특화 코딩룰의 필요성을 제시한다.

A Study on Relationship between Function Points and Development Factors in Projects (기능점수와 프로젝트 개발요소간 상호관계에 관한 연구)

  • Lee, Won-Ho
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2002.11a
    • /
    • pp.262-268
    • /
    • 2002
  • 일반산업 분야의 프로젝트에 비해 소프트웨어 개발 분야에서의 프로젝트는 그 자체 특성상 가시적이고 계량적으로 평가하기 어려웠고 이로 인해 그 동안 국내 업계 및 정부기관에서는 프로젝트 규모 및 비용 산정에 있어서 많은 어려움이 있었다. 다행히도 최근 국제적으로 소프트웨어 프로젝트 측정기준으로 자리잡고 있는 기능점수에 관해서 국내 학계 및 업계에서도 관심을 가지게 되었고 관련된 연구결과도 계속 나오고 있다. 또한, 정부기관을 비롯하여 업계에서도 이러한 연구 결과를 기반으로 소프트웨어 개발비, 유지보수 및 재 개발비의 산정 기준으로 기능점수를 활용하려는 시도가 이루어지고 있다. 이러한 기능점수의 산정에 있어서 프로젝트의 주요 개발 요소인 하드웨어 플랫폼, 개발언어 유형, 대상업무 유형, 개발 납기 등에 따라 보정계수가 다르게 적용되고 있다. 그러나 아직 국내에서는 기능점수로 프로젝트 비용을 산정하기 위한 공감대 및 신뢰도에 대한 확산이 안된 상태이고 이에 따른 분쟁의 소지도 여전히 가지고 있다. 이러한 시점에서 본 논문은 ISBSG(International Software Benchmarking Standards Group)에서 제공하는 그 동안 축적된 해외 프로젝트 개발 결과 데이터를 기초로 기능점수와 프로젝트 개발에 투입되는 주요 개발요소간 관련성 및 프로젝트 개발 요소간의 상관관계를 분석 및 검증하여, 프로젝트 내에서의 기능점수와 관련된 개발요소간의 관련 정도에 대한 통계적 근거를 제시하여 향후 기능점수와 관련해서 이와 유사한 국내 프로젝트 수행 시 벤치마킹 자료로 활용하는데 그 목적이 있다.

  • PDF

Design for Humane Sentential On Software Modeling Object Presentation (인간중심적인 구문체계에 상응하는 소프트웨어 모델상의 객체표현의 설계)

  • John, Young-Jun;Shin, Seoung-Ho
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.400-402
    • /
    • 2005
  • 소프트웨어 개발의 본질은 매우 복잡하다. 이는 서로 맞물려 돌아가도록 여러 컨셉들을 명세화하고 설계하여 검증해야 하기 때문이다. 또한 문제영역에 들어맞도록 개발해내도 여전히 실세계 엔티티(entities)간의 관계를 정의해 줘야 하고, 예외적인 상황을 식별해야 하며, 각각의 상태 변화를 예측해야 하기 때문에 여전히 복잡한 행위일 수밖에 없다. 이와 같은 복잡도를 낮추기 위해 비주얼한 기호형태에 기반을 둔 개발에 도움을 받을 수 있다. 그러나 개발의 중심에 인간이 있다는 데에는 변함이 없어야 한다. 또한 기계가 아닌 좀 더 인간적이고, 자동화가 아닌 실제적인 창작의 주체로서 개발자들을 '인간'이라는 사회적 대상으로서 초점을 둘 필요가 있다. 본 논문의 목적은 개발자간의 의사소통과 자유로운 창작활동을 위한 설계법을 인문사회영역에서 접근함으로서 개발자간에 '이해'의 폭을 증대시키기 위한 객체의 관계와 설계에 대한 재 정립이다. 이를위해 소프트웨어 개발상의 요소의 선택과 관계의 표현에 대해 기존의 기호체계에만 의존하지 않고 인간의 언어구조에 기반을 둔 구문체계에 상응하는 방식을 사용하는 것으로 구문기반의 관계의 성립과 그것을 지배하는 원리를 수립한다.

  • PDF

Integrated Analysis and Design Technologies for a Structure with Control Devices (구조물-제진장치 통합 해석 및 설계 기술)

  • Lee, Sang-Hyun;Chung, Lan;Kang, Kyung-Soo;Hwang, Jae-Seung;Park, Ji-Hun
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2010.04a
    • /
    • pp.388-391
    • /
    • 2010
  • 본 논문에서는 풍하중을 받는 구조물의 응답을 보다 적극적으로 저감시킴으로써 구조물의 안정성과 사용성을 개선하기위한 능동제어 알고리즘을 송도 자유무역 지구에 건설중인 포스코건설 사옥에 수치해석을 통해 적용하여 그 효과를 검증하였다. 수치해석에 의한 시뮬레이션 결과를 보면 최대 제어력이 제한이 된 비선형 제어기가 LQR 제어기와 등등한 제어효과를 가지고 있는 것으로 나타났으며, 제어력의 측면에서 본다면 비선형 제어기법이 더욱 유리한 것을 알 수 있다. 또한, 본 연구에서는 구조물과 질량형 제진장치의 상호작용을 고려하여 통합적으로 제진효과를 해석하고, 이를 바탕으로 제진장치를 설계할 수 있는 소프트웨어를 개발하였다. 구조물의 모드정보에 기초한 축소모델을 구축하고 제진장치의 설계 및 제진성능 평가를 수행하고 사용성을 평가하게 된다. 전체 소프트웨어는 질량형 제진장치의 설계프로그램과 질량형 제진장치의 종류별 대안설계결과를 등가감쇠비로 표현하여 비교평가하는 두 개의 모듈로 이루어져 있으며 전자는 비제어구조물 해석 모듈 및 TMD, TLD, TLCD, AMD를 대상으로 해석 및 설계를 수행하는 총 5개의 하부 모듈로 구성된다. 본 소프트웨어를 현재 TLCD가 설치되어 있는 인천 송도 국제업무지구의 주상복합건물에 적용하여 TMD, TLD, TLCD, AMD의 대안설계를 실시하였다.

  • PDF

A Study on the Quality Evaluation of BI fused to SOA (SOA와 융합된 BI의 품질 평가에 대한 연구)

  • Kang, Dong-Woo;Lee, S.H.;Park, H.K.;Na, H.J.;Choi, J.M.;Yoo, H.Y.
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2010.06b
    • /
    • pp.107-111
    • /
    • 2010
  • 급변화하는 비즈니스 환경에 가장 빠르게 대응할 수 있고, IT 자원의 상호운용성 및 재활용성을 증대할 수 있는 SOA 기반 소프트웨어 시장이 급격히 증가함에 따라 SOA 기반 시스템 품질 평가 방법들이 연구되고 있다. 그러나, SOA에 융합된 BI 관점의 평가 방법은 연구가 부족하다. 본 연구에서는 ISO/IEC 9126국제 표준을 참조하여 SOA와 융합된 BI의 품질 평가 특성을 제시하고, 사례 연구를 통해 품질 평가 방법을 제안 및 검증한다. 본 연구를 통해, BI를 SOA와 융합하는 과정에 품질 특성을 고려하여 구현 및 융합함으로써 소프트웨어의 품질 향상을 유도하고 완성된 소프트웨어의 품질 평가에 활용될 것으로 기대한다.

  • PDF

Platform based System design methodology and Implementation (플랫폼 기반 시스템 설계 방법론 제안 및 구현)

  • Yun, Duk-Young;Ki, An-Do;Yoo, Woo-Seok;Ha, Soon-Hoi
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2007.10b
    • /
    • pp.367-372
    • /
    • 2007
  • 이 논문에서는 시스템 수준의 가상프로토타이핑 환경을 자동으로 생성하고 이를 위한 소프트웨어 환경을 생성하는 프레임워크를 제안한다. 가상프로토타이핑 자동 생성 프레임워크는 Y-chart 접근법을 기반으로 한다. 알고리즘의 명세를 위해서는 SDF 모델 기반의 방법과 사용자가 직접 Task를 기술할 수 있는 방법을 제공하고 아키텍처 명세를 위해서는 플랫폼 기반의 기술 방법을 제공한다. 플랫폼 명세는 시스템에 사용되는 모듈에 대한 인터페이스 파일을 명세하고 그래픽 기반의 플랫폼 기술을 제공하여 사용자가 쉽게 플랫폼 구성을 변경할 수 있도록 했다. 인터페이스 파일에 모듈을 사용하기 위한 디바이스 드라이버의 정보를 명세하여 소프트웨어 생성 시 모듈을 사용하기 위한 코드가 자동으로 삽입되도록 하였다. 프로세서의 시뮬레이션은 빠른 소프트웨어의 기능 개발과 설계 공간 탐색을 위해 지연시간이 기술된 코드를 호스트에서 직접 수행하는 방법과 검증을 위하여 컴파일 된 이미지를 ISS를 사용하여 시뮬레이션 하는 두 가지 방법을 제공한다. 실험에서는 JPEG decoder를 기술하고 가상프로토타이핑에서 수행해봄으로 해당 프레임워크가 효과적으로 사용될 수 있음을 보였다.

  • PDF

Blockchain-Based Juridical AI System : Juridical AI Chain (블록체인 기반 AI 법인 시스템: Juridical AI Chain)

  • Jeon, MinGyu;Hwang, ChiYeon;Na, Hyeon-Suk
    • Annual Conference of KIPS
    • /
    • 2019.10a
    • /
    • pp.160-163
    • /
    • 2019
  • 4차 산업혁명의 시대가 도래함에 따라 자율주행자동차 및 인공지능(Artificial Intelligent; AI) 로봇의 법적 지위와 민·형사법적 문제 해결을 위한 법제도 도입의 필요성이 제기되고 있다. 본 연구는 법제도 마련과 함께 준비되어야 할 기술적 패러다임으로서 AI 법인 및 블록체인 기반 AI 법인 시스템을 제안한다. 이 시스템에서는 특정 업무를 수행하는 AI 로봇 (하드웨어 또는 소프트웨어)이 정부의 엄격한 검증 및 테스트 기준에 따라 심사 및 인증을 받고, 그것의 정보, 인증 내용 및 알고리즘 코드가 임의로 조작될 수 없도록 암호화되어 블록체인에 기록된다. AI 로봇의 하드웨어 및 소프트웨어가 AI 법인으로서 정부의 인증을 받기 위해서는, 주요 업무 수행 및 네트워크 접근이 블록체인에 기록되고, 법인 시스템의 승인 없이는 작동될 수 없도록 하드웨어 또는 소프트웨어가 프로그래밍 되어 있어야 한다. 블록체인은 불변성과 보안성이 우수한 세계적으로 공유된 분산 데이터베이스이므로, 블록체인 기반 AI 법인 시스템을 국가적 정보시스템으로 도입하면 자율주행자동차 및 각종 AI 로봇의 상용화가 가져올 국내외적 문제와 혼란들을 대비하는데 큰 도움이 될 것이다.

A Study About Verification Model for Cooperation of Software Components of AUML Base (AUML기반의 소프트웨어 컴포넌트들의 협력성을 위한 검증 모텔에 관한 연구)

  • Gawn, Han-Hyoun;Park, Jae-Bock
    • Journal of the Korea Computer Industry Society
    • /
    • v.6 no.3
    • /
    • pp.529-538
    • /
    • 2005
  • AUML (Agent Unified Modeling Language) is specification anger of agent software system, sight anger, language that do creation by purpose. Do so that may apply Together that is one of automation application program creation system to Agent's BDI in trend sophistication of software, large size Tuesday in this research and investigate this about operation between component system. Standard detailed statement (FIPA:Foundation for Inteligent Physical Agent) that use can consist by data exchange between component and cooperate each other even if type of component is different mutually to base ACL message, and protocole use and study about method and accuracy and consistency that minimize error when embody this using meta model base etc.. through object intention modelling.

  • PDF

Application of Automatic Data Processing Method of MODIS Satellite Data for Drought System (MODIS 위성자료의 가뭄활용을 위한 자동 데이터 처리 기법에 관한 연구)

  • Lee, Seong Kyu;Shin, Yong Chul;Jang, Sang Min;Yoon, Sun Kwon;Park, Kyung Won
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2016.05a
    • /
    • pp.251-251
    • /
    • 2016
  • 인공위성을 이용한 가뭄연구에는 전지구적으로 운용되는 GPM (Global Precipitation Measurement) 위성, AQUA/TERRA 위성의 MODIS (MODerate resolution Imaging Spectroradiometer) 센서 등에서 수집된 관측 자료가 이용된다. 그러나 전지국적으로 관측된 위성 자료는 자료를 생산 제공하는 기관에 따라 자료의 파일포맷 (NetCDF, HDF5, GeoTIFF 등), 자료의 투영법 (projection) 등이 상이하다. 그러므로 가뭄연구에 다중위성자료를 활용하고자 하는 지리정보시스템(Geographic Information System: GIS)에 대한 전문지식이 부족한 연구자는 자료의 표준화 (파일포맷과 투영변환 등) 과정으로 인해 원활한 연구수행이 어렵다. MODIS 위성자료의 경우에는 일반적으로 많이 사용되는 횡단메르카토르 도법 (Transverse Mercator Projection: TM) 대신 시뉴소이드 도법 (sinusoidal projection)을 이용한다. 그래서 미국 지질조사국은 MODIS 자료의 재투영(reprojection)을 위한 전용 소프트웨어인 MRT (MODIS Reprojection Tool)를 배포하고 있다. 본 연구에서는 무료/오픈소스 소프트웨어를 활용하여 시뉴소이드 도법이 적용된 MODIS 자료의 수집, 재투영, 파일포맷 변환 등을 자동으로 처리하는 기법을 개발하여 가뭄활용에 이용하고자 하였으며, MODIS MOD09GA/MOD11A1 자료를 이용하여 효율성을 검증하였다.

  • PDF