• 제목/요약/키워드: static code analysis

검색결과 375건 처리시간 0.031초

다기능레이더 소프트웨어 신뢰성시험 적용사례 및 결과 (A Case Study on Reliability Test of Embedded Software in the Multi-Function Radar)

  • 김종우
    • 전기전자학회논문지
    • /
    • 제19권3호
    • /
    • pp.431-439
    • /
    • 2015
  • 최근 무기체계에서 소프트웨어가 담당하는 기능이 많아지고, 복잡해지면서 소프트웨어의 품질의 중요성에 대해서 대두가 되고 있다. 소프트웨어의 품질요소는 기능성, 사용성, 유지보수성, 신뢰성이 있으며, 이중 최근 들어 중요시되는 항목이 신뢰성 분야이다. 신뢰성 시험은 분석을 통한 정적 시험과 수행을 통한 동적 시험방법이 있으며, 실수행을 통해 검증하는 동적시험은 정적시험에 비해 많은 기간이 필요하며 복잡성이 높아질 경우 더욱 증가되는 경향을 보인다. 본 논문에서는 다기능 레이더 소프트웨어 개발시 수행한 신뢰성시험 절차 및 결과를 기술하고 이를 통해 효과적으로 시험기간을 줄일 수 있는 신뢰성시험 방법을 제안한다.

비틀림 거동을 하는 구조물의 설계 편심 (The Design Eccentricity for Torsionally Unbalanced Structure)

  • 조소훈;이명규
    • 한국지진공학회논문집
    • /
    • 제5권5호
    • /
    • pp.63-72
    • /
    • 2001
  • 본 논문에서는 구조물의 안전성과 경제성을 함께 도모하도록 하기 위하여 모드 해석법을 이용하여 비틀림 거동을 하는 구조물의 동적 거동을 정적 하중으로 치환할 경우에 대한 횡하중 중심점을 가정하고, 횡하중 중심점과 구조물의 강도 중심을 일치시키도록 구조물의 설계 편심을 조절하는 방법을 제안한다. 그리고 제안된 방법에 의해 구조물을 설계하였을 경우, 다른 내진 기준에 의해 설계된 구조물과 비교하여 지나친 추가 연성도를 요구하지 않는다는 것을 보여준다.

  • PDF

고속 프로펠러 블레이드 정적 구조 설계 및 시험 (The Static Structural Design and Test of High Speed Propeller Blade)

  • 박현범;최원
    • 한국유체기계학회 논문집
    • /
    • 제17권4호
    • /
    • pp.11-18
    • /
    • 2014
  • The recent high speed propeller with blade sweep is required to have high strength to get the thrust to fly at high speed. The high stiffness and strength carbon/epoxy composite material is used for the major structure and skin-spar-foam sandwich structural type is adopted for advantage in terms of the blade weight. As a design procedure for the present study, the structural design load is estimated through investigation on aerodynamic load and then flanges of spars from major bending loads and the skin from shear loads are sized using the netting rule and Rule of Mixture. In order to investigate the structural safety and stability, stress analysis is performed by finite element analysis code MSC. NASTRAN. It is found that current methodology of composite structure design is a valid method through the static structural test of prototype blade.

Seismic behavior factors of buckling-restrained braced frames

  • Kim, Jinkoo;Park, Junhee;Kim, Sang-Dae
    • Structural Engineering and Mechanics
    • /
    • 제33권3호
    • /
    • pp.261-284
    • /
    • 2009
  • The seismic behavior of a framed structure with chevron-type buckling restrained braces was investigated and their behavior factors, such as overstrength, ductility, and response modification factors, were evaluated. Two types of structures, building frame systems and dual systems, with 4, 8, 12, and 16 stories were designed per the IBC 2003, the AISC LRFD and the AISC Seismic Provisions. Nonlinear static pushover analyses using two different loading patterns and incremental dynamic analysis using 20 earthquake records were carried out to compute behavior factors. Time history analyses were also conducted with another 20 earthquakes to obtain dynamic responses. According to the analysis results, the response modification factors turned out to be larger than what is proposed in the provision in low-rise structures, and a little smaller than the code-values in the medium-rise structures. The dual systems, even though designed with smaller seismic load, showed superior static and dynamic performances.

Correlation between seismic damage index and structural performance for Indian code-conforming RC frame buildings

  • Tushar K. Das;Pallab Das;Satyabrata Choudhury
    • Earthquakes and Structures
    • /
    • 제27권3호
    • /
    • pp.209-226
    • /
    • 2024
  • The susceptibility of Reinforced Concrete (RC) buildings to earthquake-induced damage is a critical concern, primarily attributed to their inadequate seismic performance. The existing earthquake-resistant design code of India prescribes guidelines to minimize seismic damage but does not provide any means for evaluating the actual seismic performance and damage. To ascertain the seismic performance of the structures quantitatively, it is crucial to classify damage into measurable damage states. Damage Index (DI) acts as an important tool for this purpose. Among various procedures for computation of DI, the modified Park and Ang Damage Index appears to be highly accurate. However, the major drawback of this method is that it is lengthy and time-consuming. On the other hand, structural performances can be evaluated using various performance parameters such as interstory drift ratio (IDR), inelastic deformation, etc., as described in FEMA-356 and ASCE-41 17. The present study explores the correlation between seismic DI and structural performance in RC frame buildings designed according to IS code. Sixteen building models, incorporating diverse configurations, are examined using nonlinear static and time history analyses. A simplified equation is developed by regression analysis to predict DI based on IDR, offering a computationally efficient alternative. Validation tests are done to confirm the equation's accuracy. Furthermore, a unified damage scale integrating DI and seismic performance is also proposed for seismic damage evaluation of buildings designed by IS code.

The Next Generation Malware Information Collection Architecture for Cybercrime Investigation

  • Cho, Ho-Mook;Bae, Chang-Su;Jang, Jaehoon;Choi, Sang-Yong
    • 한국컴퓨터정보학회논문지
    • /
    • 제25권11호
    • /
    • pp.123-129
    • /
    • 2020
  • 최근 사이버범죄는 가상화 기술, 유포지 추적 회피 등 다양한 기술 등의 새로운 기술을 적용하여 추적이 점점 어려워지고 있다. 따라서 전통적인 악성코드 분석방법인 정적분석, 동적 분석 등 방법은 악성코드 유포자를 추적하는 데 한계가 있다. 또한, 사이버 수사 분야에서는 악성코드 자체에 대한 분석보다 악성코드 유포자를 추적하는 것이 더욱 중요하다. 이에 따라, 본 논문에서는 악성코드 유포자를 효율적으로 추적하기 위해 전통적인 분석방법과 OSINT, Intelligence 등 최근의 정보수집 방법을 융합한 차세대 악성코드 정보수집 아키텍처를 제안한다. 본 논문에서 제안하는 아키텍처는 기존의 악성코드 분석체계와 수사관점의 분석체계의 차이점을 기반으로 사이버범죄의 관점에서 필요한 요소기술을 연관시킴으로 인해 사이버 범죄 수사에서 유포자 추적을 위한 핵심적인 접근 방법이 될 수 있다.

Fine-Grain Real-Time Code Scheduling for VLIW Architecture

  • Chung, Tai M.;Hwang, Dae J.
    • Journal of Electrical Engineering and information Science
    • /
    • 제1권1호
    • /
    • pp.118-128
    • /
    • 1996
  • In safety critical hard real-time systems, a timing fault may yield catastrophic results. In order to eliminate the timing faults from the fast responsive real-time control systems, it is necessary to schedule a code based on high precision timing analysis. Further, the schedulability enhancement by having multiple processors is of wide spread interest. However, although an instruction level parallel processing is quite effective to improve the schedulability of such a system, none of the real-time applications employ instruction level parallel scheduling techniques because most of the real-time scheduling models have not been designed for fine-grain execution. In this paper, we present a timing constraint model specifying high precision timing constraints, and a practical approach for constructing static schedules for a VLIW execution model. The new model and analysis can guarantee timing accuracy to within a single machine clock cycle.

  • PDF

DEX 파일을 이용한 효율적인 안드로이드 변종 악성코드 탐지 기술 (Efficient Detection of Android Mutant Malwares Using the DEX file)

  • 박동혁;명의정;윤주범
    • 정보보호학회논문지
    • /
    • 제26권4호
    • /
    • pp.895-902
    • /
    • 2016
  • 스마트폰 보급률이 증가하여 이용자 수가 증가함에 따라 이를 노린 보안 위협도 증가하고 있다. 특히, 안드로이드 스마트폰의 경우 국내에서 약 85%에 달하는 점유율을 보이고 있으며 안드로이드 플랫폼 특성상 리패키징이 용이하여 이를 노린 리패키징 악성코드가 꾸준히 증가하고 있다. 안드로이드 플랫폼에서는 이러한 악성코드를 방지하기 위해 다양한 탐지 기법을 제안하였지만, 정적 분석의 경우 리패키징 악성코드 탐지가 쉽지 않으며 동적 분석의 경우 안드로이드 스마트폰 자체에서 동작하기 어려운 측면이 있다. 본 논문에서는 리패키징 악성코드의 코드 재사용 특징을 이용하여 안드로이드 애플리케이션에서 DEX 파일을 추출해 역공학 과정을 거치지 않고 DEX 파일에 기록된 클래스 이름과 메소드 이름 같은 특징으로 악성코드를 정적 분석하는 방법과 이를 이용하여 리패키징 악성코드를 보다 효율적으로 탐지하는 방법을 제안한다.

전산유체/전산구조 연계 방법을 사용한 항공기날개의 정적 공탄성 해석 (Static Aeroelastic Analysis for Aircraft Wings using CFD/CST Coupling Methodology)

  • 최동수;전상욱;김병곤;박수현;이동호;이경태;전승문;조맹효
    • 한국항공우주학회지
    • /
    • 제35권4호
    • /
    • pp.287-294
    • /
    • 2007
  • 전산유체와 전산구조 연계 방법을 사용하여 하부에 외부 장착물이 부착된 초음속 비행체의 날개에 대한 정적 공탄성 해석을 수행하였다. 전산유체와 전산구조의 연계를 위하여 두 개의 사상 알고리즘, 즉 압력 사상 알고리즘과 변위 사상 알고리즘이 사용되었다. 공력해석은 날개주위의 유동장을 구하기 위하여 비정렬 3차원 오일러 방정식을 이용하였고 구조변위를 구하기 위하여 유한요소해석 프로그램을 사용하였다. 연계 절차는 특정 수렴조건을 만족할 때까지 반복 수행되며, 전형적인 초음속 비행체 날개에 대한 정적 공탄성 해석을 수행하여 수렴된 날개 형상을 얻었다.

콘크리트 모듈러 도로 축하중 거동 분석을 통한 설계 타당성 검증 (Design Validation through Analysis of Concrete Modular Road Behavior under Static Axial Loads)

  • 남정희;김우석;김기현;김연복
    • 한국도로학회논문집
    • /
    • 제17권6호
    • /
    • pp.37-45
    • /
    • 2015
  • PURPOSES : The purpose of this study is to validate the design criteria of the concrete modular road system, which is a new semi-bridge-type concept road, through a comparison of numerical analysis results and actual loading test results under static axial loads. METHODS : To design the semi-bridge-type modular road, both the bridge design code and the concrete structural design code were adopted. The standard truck load (KL-510) was applied as the major traffic vehicle for the design loading condition. The dimension of the modular slab was designed in consideration of self-weight, axial load, environmental load, and combined loads, with ultimate limit state coefficients. The ANSYS APDL (2010) program was used for case studies of center and edge loading, and the analysis results were compared with the actual mock-up test results. RESULTS : A full-scale mock-up test was successfully conducted. The maximum longitudinal steel strains were measured as about 35 and 83.5 micro-strain (within elastic range) at center and edge loading locations, respectively, under a 100 kN dual-wheel loading condition by accelerating pavement tester. CONCLUSIONS : Based on the results of the comparison between the numerical analysis and the full-scale test, the maximum converted stress range at the edge location is 32~51% of the required standard flexural strength under the two times over-weight loading condition. In the case of edge loading, the maximum converted stresses from the Westergaard equation, the ANSYS APDL analysis, and the mock-up test are 1.95, 1.7, and 2.3 times of that of the center loading case, respectively. The primary reason for this difference is related to the assumption of the boundary conditions of the vertical connection between the slab module and the crossbeam module. Even though more research is required to fully define the boundary conditions, the proposed design criteria for the concrete modular road finally seems to be reasonable.