• 제목/요약/키워드: Software Analysis

검색결과 9,479건 처리시간 0.036초

열차제어 S/W 변경영향 분석을 위한 방법 연구 (The Method of Change Impact Analysis for Railway Signaling S/W)

  • 조현정;황종규
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2009년도 춘계학술대회 논문집
    • /
    • pp.2044-2049
    • /
    • 2009
  • Recent advances in computer technology have brought more dependence on software to railway signaling systems. Hence, the safety assurance of the vital software running on the railway signaling system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety. In this paper, we suggested an automated analysis tool for S/W change impact in railway signaling system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway signaling system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway signaling system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.

  • PDF

무선 센서 네트워크에서의 이상 징후 감지를 위한 공동 지수 평활법 및 추세 기반 주성분 분석 (Joint Exponential Smoothing and Trend-based Principal Component Analysis for Anomaly Detection in Wireless Sensor Networks)

  • ;양희규;;;김문성;추현승
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2019년도 추계학술발표대회
    • /
    • pp.145-148
    • /
    • 2019
  • Principal Component Analysis (PCA) is a powerful technique in data analysis and widely used to detect anomalies in Wireless Sensor Networks. However, the performance of conventional PCA is not high on time-series data collected by sensors. In this paper, we propose a Joint Exponential Smoothing and Trend-based Principal Component Analysis (JES-TBPCA) for Anomaly Detection which is based on conventional PCA. Experimental results on a real dataset show a remarkably higher performance of JES-TBPCA comparing to conventional PCA model in detection of stuck-at and offset anomalies.

A Comparative Analysis on Software Education Unit in Practical Arts Textbooks based on 2015 Revised National Curriculum

  • Kim, Ji-Yun;Lee, Tae-Wuk
    • 한국컴퓨터정보학회논문지
    • /
    • 제24권2호
    • /
    • pp.217-225
    • /
    • 2019
  • In this paper, we proposed comparison of software education units according to 2015 Revised National Curriculum. Comparative analysis of 6 Practical Arts textbooks was conducted especially on the software education units. The analysis criteria were decided to be unit system, unit structure, learning objectives, the way of placing contents, activities, supporting materials, providing resources, and evaluation. As a result, the software education units have secured a lot of quantity compared to the total number of units. And the affective domain of the learning objectives is shown to be lacking. All the textbooks were uniformly arranged the component of contents described in 2015 revised national curriculum. Cooperative activities are strengthened compared to the previouse curriculum. On the other hand, evaluations have a large variation among textbooks and some have fewer types.

AMOS 소프트웨어에서 구현되는 구조방정식 모형과 의미 (A Mean of Structural equation modeling on AMOS Software)

  • 김경태
    • 한국조사연구학회:학술대회논문집
    • /
    • 한국조사연구학회 2007년도 추계학술대회 발표논문집
    • /
    • pp.55-65
    • /
    • 2007
  • 연구에서는 공분산구조분석을 실시하기 위해 주로 사용하고 있는 AMOS 소프트웨어에 대하여 알아보려고 한다. 응용소프트웨어에서 활용된 수학적인 모형을 알지 못하면, 구조방정식에 대한 충분한 이해를 할 수 없으며, 구조방정식에 대한 8가지 가정이 어떻게 구현되는지 알 수 가 없다. 따라서 본 연구에서는 구조방정식모형 연구에서 주로 활용되었던 LISREL 프로그램으로 RAM과 MOSAN을 구현하였고 AMOS 결과와 비교분석하였다. 연구 결과에 따르면 AMOS프로그램은 8가지의 모든 가정을 따르지 않는 것으로 나타났다. AMOS 프로그램이 MOSAN보다는 RAM으로 구현되고 있음을 본 연구를 통해 알 수 있다. AMOS 소프트웨어 프로그램은 잠재변수(F)와 측정오차(e)간의 상관값을 산출할 때 충분히 추정을 하지 못하고 부분적으로만 추정하여 값을 산출하고 있음을 알 수 있었다.

  • PDF

AHP 기법을 활용한 소프트웨어 제안평가요인의 상대적 중요도에 관한 연구 : 발주자와 수주자 비교를 중심으로 (A Priority Analysis on Influential Factors for Software Bid Evaluation in Public Sectors based on Analytic Hierarchy Process(AHP))

  • 김홍진;조동혁;안태호
    • 한국IT서비스학회지
    • /
    • 제16권1호
    • /
    • pp.41-53
    • /
    • 2017
  • Recently, due to the economic recession and increase of ITO (IT Outsourcing), bidding in software industry has been recognized as more competitive and the importance of software bid evaluation for corporate selection is being increased. This study aims to analyze and prioritize influential factors in the software bid evaluation criteria which is adopted as the main evaluation model of national software businesses by Ministry of Science. The priority was developed by AHP (Analytic Hierarchy Process) through pair-wise comparison. For the analysis, this study developed analysis model for AHP and conducted survey of experts who have work experience for more than 10 years in the IT industry. As the result of analysis, weighted factors in the evaluation criteria were deduced and differences of priority factors between purchaser and bidder were investigated. The analysis showed differences of view point in the bidding process. With these results, this study suggests how to write a proposal strategically and effectively in perspective of the purchaser. It is expected that priority factors will be adopted in strategic proposals in both bidder and purchaser. For purchaser, the priority will be adopted to select reliable bidder. So, we expect that the priority factors will be used to get more values for both bidder and purchaser in their business atmosphere.

지수 가중 이동 평균 관리도를 이용한 소프트웨어 고장 시간 비교분석에 관한 연구 (The Study for Comparative Analysis of Software Failure Time Using EWMA Control Chart)

  • 김희철;신현철
    • 융합보안논문지
    • /
    • 제8권3호
    • /
    • pp.33-39
    • /
    • 2008
  • 소트프웨어 고장 시간은 테스팅 시간과 관계없이 일정하거나. 단조증가 혹은 단조 감소 추세를 가지고 있다. 이러한 소프트웨어 신뢰모형들을 분석하기 위한 자료척도로 자료에 대한 추세 검정이 개발되어 있다. 추세 분석에는 산술평균 검정과 라플라스 추세 검정등이 있다. 추세분석들은 전체적인 자료의 개요의 정보만 제공한다. 본 논문에서는 고장시간을 측정하는 도중에 지수가중 이동 평균 관리도를 이용하여 관리 상태에 있는 자료만 가지고 정보분석을 해야 효율성이 있을 것으로 판단된다. 따라서 본 논문에서는 기존의 추세 검정과 지수가중이동평균 관리도를 사용하여 실제 소프트웨어 자료를 비교 분석하는 것을 목표로 하고 있다.

  • PDF

Geostationary Transfer Orbit Mission Analysis Software Development

  • Kim, Bang-Yeop
    • 한국우주과학회:학술대회논문집(한국우주과학회보)
    • /
    • 한국우주과학회 2008년도 한국우주과학회보 제17권2호
    • /
    • pp.26.1-26.1
    • /
    • 2008
  • The Korean first geostationary meteorological satellite, COMS, will be launched during second half of 2009. For the next meteorological geostationary satellite mission, KARI is now preparing the development process and tools. As one of the endeavor, a software tool is being developed for the analysis and design of geostationary transfer orbit. Generally, these kind of tools should be able to do various analysis works like apogee burn planning, dispersion analysis, ground visibility analysis, and launch window analysis etc. In this presentation, a brief introduction about a design process and analysis software tool development. And simulated calculation results are provided for the geostationary transfer orbit. These software can be used for the next geostationary satellite mission design and development.

  • PDF

실용적인 비선형 비탄성해석을 이용한 강구조 설계기술 (Design Technique of Steel Structures using Practical Nonlinear Inelastic Analysis)

  • 김승억;이동호;장은석
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2006년도 정기 학술대회 논문집
    • /
    • pp.971-976
    • /
    • 2006
  • This paper presents a design technique of steel structures subjected to static and dynamic loadings using practical nonlinear inelastic analysis software. The beam-column approach using the stability functions and the plastic hinge concept enables the software to suitably predict second-order effects and inelastic behavior of beam-columns. For dynamic analysis. the incremental from of the equation of motion is solved by the use of a step-by-step numerical integration procedure in which the assumption of constant acceleration over a small time step is employed. The accuracy of the analysis program is validated using the results of ABAQUS program and experimental tests. A user-friendly graphic interface of the software is developed to facilitate the modeling process and result interpretation of the problem. A design example of large span bridge is presented to detail the direct design process using the practical advanced analysis software.

  • PDF

소프트웨어 운영 대가산정 방식에 대한 실증적 연구 (An Empirical Study on Pricing Model for Software Operation)

  • 김흥식;김충영;서용원
    • 한국IT서비스학회지
    • /
    • 제18권4호
    • /
    • pp.67-82
    • /
    • 2019
  • The purpose of this study is to improve the calculation method of the software operation pricing proposed by the software business price calculation guide from 'input manpower method' to 'rate calculation method'. The software operation pricing of the input manpower method is not objectively calculated in the domestic IT outsourcing situation where the statistical data based on the activity based estimating is insufficient and it is decided by agreement between the owner and the client. In addition, there was no standard for adjusting the productivity according to the characteristics of the operation service. In order to improve this, an operational correction factor item that can affect the software operation productivity was selected based on foreign and domestic standards, and it was confirmed through the first questionnaire to IT operation managers. In order to determine the level of difficulty of the fixed operational correction factors, the operational correction factor using AHP technique was confirmed through a second questionnaire for pairwise comparison. The operational difficulty calculation table was developed with reference to COCOMO and ITIL standards. Finally, we propose a new pricing scheme that reflects the operating rate. Regression analysis was carried out by collecting the data of the domestic public institutions on the estimated cost and the actual cost calculated from the new rate method software operation pricing. The results of the regression analysis show that the estimated cost and the actual cost are related to each other. Mean magnitude of relative error(MMRE) and PRED[25] analysis were added for accuracy analysis. MMRE and PRED also showed satisfactory results, confirming the possibility of replacing the rate method software operation pricing.

결합척도를 이용한 복합 공격 패턴 분석 방법 (An analysis method for complex attack pattern using the coupling metrics)

  • 권예진;박용범
    • 정보보호학회논문지
    • /
    • 제22권5호
    • /
    • pp.1169-1178
    • /
    • 2012
  • 최근 대부분의 소프트웨어는 인터넷 환경에서 네트워크를 중심으로 데이터를 교환하기 때문에, 소프트웨어 자체의 보안성이 큰 이슈로 다루어지고 있다. 또한 소프트웨어 개발 과정에서 시큐어 코딩 규칙을 적용하여 소프트웨어의 취약점을 최소화하고 안전성이 높은 코드로 개발하려는 노력이 이루어지고 있다. 하지만 소프트웨어 취약점을 이용한 공격 사례들이 한 가지 공격이 아닌 복합 공격의 형태를 띠고 있어 단일 특성 분석으로는 소프트웨어 취약점 분석에 한계가 있다. 본 연구에서는 소프트웨어의 다양한 특성 중에 하나인 결합도를 기반으로 복합 소프트웨어 취약점을 이용한 공격에 대응하고자 하였다. 더불어 여러 공격 방법의 조합을 이용한 복합 공격 패턴을 사전 분석하여 소프트웨어 내의 모듈간의 파급력과 연관관계에 있는 모듈의 공격 가능한 패턴을 예측하고 이에 대한 소프트웨어 취약점을 분석할 수 있는 방법을 제시한다.