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

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

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

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

• 대학교육
• /
• 통권148호
• /
• pp.111-114
• /
• 2007

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

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

• Kyungpook Mathematical Journal
• /
• 제22권1호
• /
• pp.113-115
• /
• 1982

• Journal of Plant Biotechnology
• /
• 제6권3호
• /
• pp.131-143
• /
• 2004

• 산업공학
• /
• 제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.

• ALGAE
• /
• 제23권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
• /
• 제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.

• East Asian mathematical journal
• /
• 제5권2호
• /
• pp.151-154
• /
• 1989