한국정보처리학회:학술대회논문집 (Annual Conference of KIPS)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

기능 요구사항 시뮬레이션을 이용한 임베디드 시스템 및 소프트웨어의 요구사항 검증

Functional requirements simulation for requirements verification of embedded system and software

  • 임재훈 (고려대학교 컴퓨터정보통신대학원 소프트웨어공학과)
  • Lim, Jae Hoon (Dept. of Software Engineering, Korea University Graduate School of Computer & Information Technology)
  • 발행 : 2018.05.11
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

키워드