최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 경북대학교 KyungPook National University |
---|---|
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2013-06 |
과제시작연도 | 2012 |
주관부처 | 교육과학기술부 Ministry of Education and Science Technology(MEST) |
과제관리전문기관 | 한국연구재단 National Research Foundation of Korea |
등록번호 | TRKO201300033908 |
과제고유번호 | 1345173277 |
사업명 | 일반연구자지원 |
DB 구축일자 | 2014-01-13 |
DOI | https://doi.org/10.23000/TRKO201300033908 |
대부분의 임베디드 시스템들은 실생활과 밀접하게 연계되어 사용되므로 시스템의 조그만 오류가 발생하더라도 인명 및 재산상의 심각한 손상을 끼칠 수 있기 때문에 임베디드 시스템 또는 소프트웨어의 신뢰성 및 안전성 문제는 지금까지 꾸준히 연구되는 분야이다. 기존의 임베디드 소프트웨어의 신뢰성 및 안전성에 대한 연구로는 크게 소스 코드 중심의 연구와 시스템 모델 중심의 연구로 나뉘어 볼 수 있다. 소스 코드는 개발 시스템의 최종 결과물이며 소스 코드 내에 모든 정보가 녹아들어 있으므로 소스 코드를 중심으로 신뢰성 및 안전성 분석을 실시하고자
※ AI-Helper는 부적절한 답변을 할 수 있습니다.