최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 서울대학교 Seoul National University |
---|---|
연구책임자 | 하순회 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2019-06 |
과제시작연도 | 2019 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
등록번호 | TRKO201900021697 |
과제고유번호 | 1711088047 |
사업명 | 개인기초연구(과기정통부)(R&D) |
DB 구축일자 | 2020-05-23 |
키워드 | 임베디드 소프트웨어.신뢰성.정적 분석.정형적인 모델.코드 생성. |
□ 연구개요
임베디드 시스템은 목적에 특화되어 설계된 컴퓨터 시스템으로 다양한 산업 분야에서 확대되고, 네트웍을 통해 연결되기도 함은 물론, 하드웨어의 구조 역시 다양하다.
다양한 임베디드 시스템에서 가장 위협이 되는 요소는 소프트웨어의 안정성으로 실제 발생한 소프트웨어 오류로 인해 국내외에서 대형 사고가 발생했던 적도 있었다.
본 연구에서는 다양한 임베디드 시스템 환경에서 개발되는 소프트웨어의 안정성을높이는 방법으로 보편적 실행 모델을 제안하였고, 이는 모델을 통해 소프트웨어를 표현하고, 모델을 검증하고, 코드를
※ AI-Helper는 부적절한 답변을 할 수 있습니다.