• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.497-500
• /
• 2016

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

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

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

• 대학교육
• /
• s.148
• /
• pp.111-114
• /
• 2007

• 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.

• Kyungpook Mathematical Journal
• /
• v.22 no.1
• /
• pp.113-115
• /
• 1982

• Journal of Plant Biotechnology
• /
• v.6 no.3
• /
• pp.131-143
• /
• 2004

• 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.

• ALGAE
• /
• v.23 no.3
• /
• pp.177-186
• /
• 2008

The present paper consists of 42 taxa belonging to 7 genera of desmids (green algae) collected from two districts of Garhwal region of Uttarakhand (Western Himalayas). The district Haridwar is located 29° 55’to 29° 59’N latitude and 68° 5’to 68° 30’E longitude covering about 2360 km2 area and Dehradun district is situated between 77° 34’to 78° 18’E longitude and 29° 58’to 30° 58’N latitude. Seven genera of desmids are (with number of taxa in parenthesis): Closterium Nitzsch. (9), Cosmarium Corda ex Ralfs (25), Euastrum Ehr. (2), Spondylosium Breb. (1), Micrasterias Ag. (1), Staurastrum Meyen (3), Arthrodesmus Ehr. (1). All these taxa constitute new records for the area. The algal localities are relatively cleaner than those of majority of urban areas. A rich assemblage of desmids shows that water bodies of these hilly areas are still undisturbed and need protection for preservation of algal biodiversity.

• 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.

• East Asian mathematical journal
• /
• v.5 no.2
• /
• pp.151-154
• /
• 1989