• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.238-240
• /
• 2012

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

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.497-500
• /
• 2016

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

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.2
• /
• pp.9-14
• /
• 2013

Model based design method reduces product development period and increases system software safety. In this paper, a BLDC motor controller based on model based design method is designed with Simulink and implemented with auto generated code which is written in C language. To retain the safety of software, this model is implemented according to MISRA AC SLSF guide. The validity of the implemented controller is verified with a real position control experiment, and execution times of each control loops are measured to compare the system performance of the conventional design and the model based design.

• Parasites, Hosts and Diseases
• /
• v.48 no.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.

• IE interfaces
• /
• v.25 no.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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.2
• /
• pp.243-250
• /
• 2013

We have entered into an era of smart software system where the many kinds of embedded software, especially SCADA and Automotive software not only require high reliability and safety but also high-security. Removing software weakness during the software development lifecycle is very important because hackers exploit weaknesses which are source of software vulnerabilities when attacking a system. Therefore the coding rule as like core functions of MISRA-C should expand their coding focus on security. In this paper, we used CERT-C secure coding rules for nuclear-related software being developed to demonstrate high-safety software, and proposed how to remove software weakness during development.

• Journal of the Korean Society for Railway
• /
• v.12 no.1
• /
• pp.81-87
• /
• 2009

Recent advances in computer technology have brought more dependency on software to railway signalling system. While much efforts have been reported to evaluate embedded software safety for railway signalling systems, not so much systematic approaches to evaluate software safety testing. In this paper, we propose a adaption of automatic software testing tool in terms of the design & coding standard for railway signalling system. The test items for the design & coding standard suggested in this study related international standards and MISRA-C. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• Kyungpook Mathematical Journal
• /
• v.20 no.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.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.291-294
• /
• 2010

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

• International Journal of Industrial Entomology and Biomaterials
• /
• v.6 no.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.