• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
• /
• pp.238-240
• /
• 2012

소프트웨어 개발 시 코딩 규칙을 준수하면 소프트웨어에 잠재적으로 존재하는 프로그래밍 오류를 예방하는데 많은 도움이 된다. MISRA-C: 2004 는 고 신뢰성과 고품질이 요구되는 자동차, 우주항공, 통신, 등 제조분야에 대한 C언어 코딩 가이드 라인이다. 본 논문에서는 자동차와 우주항공같이 높은 안전성이 요구되는 원격 수소시스템을 타깃으로 하여 정적 분석한다. 그리고 분석 결과 발견된 오류 중 가장 빈번히 일어나는 오류에 대한 문제점을 분석하고 소프트웨어 품질 개선을 위하여 프로그래머들의 코딩 규칙 준수를 권장한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2016년도 추계학술발표대회
• /
• pp.497-500
• /
• 2016

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

• 한국인터넷방송통신학회논문지
• /
• 제13권2호
• /
• pp.9-14
• /
• 2013

모델 기반 설계는 제품의 안전성을 확보하고 제품의 개발기간을 단축시키는 장점이 있다. 이 논문에서는 Simulink를 사용하여 BLDC 모터제어기의 모델 기반 설계를 수행한 후 자동 코드 생성방법에 의해 C코드를 생성하여 제어기를 구성하였다. 시스템의 안전성확보를 위하여 MISRA AC SLSF의 가이드에 따라 모델을 구성을 하였으며 제작된 실제 제어기를 사용하여 생성된 코드를 검증하였으며 각 하부 제어기의 수행시간을 측정하여 기존의 설계 방법과 모델기반 제어기의 설계 방법으로 구성된 제어기를 비교하였다.

• Parasites, Hosts and Diseases
• /
• 제48권3호
• /
• pp.245-246
• /
• 2010

Post kala-azar dermal leishmaniasis (PKDL) is a rare disease. This is a solitary case report from Orissa, India. We describe a case of PKDL in a 55-year-old male who presented with multiple nodular lesions over face, trunk, and extremities. The patient had been to an endemic area of kala-azar and had a previous history of leishmaniasis. Fine needle aspiration cytology samples from skin nodules revealed Leishmania amastigotes.

• 산업공학
• /
• 제25권4호
• /
• pp.416-421
• /
• 2012

One of the activities to improve software quality in ISO 26262 is to apply the design principles for software unit design and implementation mentioned in ISO 26262-6, including the evaluation activity. Before evaluation activity, the tool is compared and selected for evaluation. Because the results of the tool a company selected might have an effect on product quality. In this paper, we suggest the method to compare industrial static analysis tools with some of "MISRA C : 2004 Exemplar Suite" and all lessons learned from comparing tools are described. The result on comparison shows that we just couldn't rely on a result of Static Analysis Tool and need to have another appropriate processes and guidelines to evaluate a software.

• 정보보호학회논문지
• /
• 제23권2호
• /
• pp.243-250
• /
• 2013

스마트 시대로 진입하면서, 다양한 임베디드 소프트웨어, 특히 SCADA 소프트웨어와 자동차 소프트웨어 등은 신뢰도와 고 안전성뿐만이 아니라 높은 보안성도 중요하게 되었다. 따라서 해커가 공격하는 데 사용하는 소프트웨어 취약점(vulnerability)의 근본 원인인 소프트웨어 보안 약점(weakness)을 개발 단계에서 제거하는 것이 매우 중요하게 되었다. 기능성 중심의 MISRA-C와 같은 코딩 룰은 보안성 중심의 시큐어 코딩규칙으로 확대가 될 필요가 있다. 본 논문에서는 고 안전성 소프트웨어의 데모용으로 개발 중인 원자력 관련 소프트웨어를 CERT-C 시큐어 코딩 규칙으로 조사하여 얼마나 많은 보안약점을 내재하고 있는 지를 분석하여, 이러한 보안약점을 소프트웨어 개발 시에 제거하는 방법에 대하여 제안한다.

• 한국철도학회논문집
• /
• 제12권1호
• /
• pp.81-87
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프트웨어에 의존성이 더욱 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성에 대한 테스팅이 더욱 중요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 코딩규칙의 테스팅 자동화 도구의 적용을 제안하였으며, 코딩규칙 테스팅 자동화 도구의 구현 및 적용결과를 제시하였다. 구현 툴에서의 테스팅 항목은 철도시스템 소프트웨어 관련된 국제규격과 MISRA-C 기준을 참조하였다. 본 열차제어시스템 테스팅 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• Kyungpook Mathematical Journal
• /
• 제20권1호
• /
• pp.37-45
• /
• 1980

The Riemannian space of recurrent curvature was defined and studied by Ruse [8] and Walker [10]. In 1963, $M{\acute{o}}or$ [4] generalised this idea for Finsler spaces and defined and studied Finsler spaces of recurrent curvature. These spaces for various curvature tensors have subsequently been studied by Mishra and Pande [1], Sen [9] and Misra [3] etc. The purpose of the present paper is to study Finsler space based on the recurrency of the curvature tensors derived from non-linear connections.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.291-294
• /
• 2010

표준 코딩 스타일은 개발 단계에서 오류 가능성이 있는 코드를 사전에 차단하고 코드의 가독성을 높여 소스코드의 품질을 높일 수 있는 대표적인 방법이다. 자동차 분야에서는 MISRA-C 와 같은 표준 코딩 스타일이 있으며 이를 검사하는 다수의 도구가 개발되었다. 본 논문에서는 소프트웨어의 안전성 및 신뢰성을 기반으로 국제 및 산업 표준 권고 사항과 경험적인 사례를 바탕으로 가전 기기 소프트웨어에 적합한 코딩 스타일 43 종을 정의했으며 이를 구현한 자동화 도구를 개발했다. 개발된 C 코딩 스타일 검사기를 이용하여 냉장고와 세탁기에 탑재된 소스코드에 대상으로 실험해 개발자들이 쉽게 위배하는 규칙에 대해서 살펴보았다. 위배한 코딩 스타일 중 주석관련 스타일이 각 소스코드 별로 64%, 24%로 가장 많이 차지하고 있으며, 제어문 관련 규칙이 12%, 17%, 코드 모양(Layout)관련 규칙이 4%, 11% 순으로 나타났다. 본 논문에서 개발한 코딩 스타일 검사 도구는 향후 양산되는 제품에 계속적으로 적용될 것이며 소프트웨어 품질 향상에 실질적인 도움이 될 것으로 기대된다.

• International Journal of Industrial Entomology and Biomaterials
• /
• 제6권2호
• /
• pp.203-205
• /
• 2003

Black sooty mould fungus was observed on the upper side of the mulberry leaves caused by the Capnodium sp. This fungus develops with the utilization of the honeydew dropped by the whiteflies. Few selected insecticides like Monocrotophos, Chloropyriphos and Nuvan were tried to control the whitefly incidence and followed by the application of Maida (wheat flour paste) and Starch solution separately to control the incidence of the Capnodium on mulberry. It is found that a significant control of the whitefly incidence with the application of Nuvan (2 $m\ell$/L) and followed by Chloropyriphos (2 $m\ell$/L) and Monocrotophos (1.6 $m\ell$/L) and also a significant control of sooty mould infection were recorded with Starch and Maida application.