[LDRA] MCP의 WCET(Worst-Case Execution Time)측정 및 검증 방안
[vc_row][vc_column][vc_column_text] Single-core processors는 수십 년간 여러 방면으로 활용되어 왔으나, 최근 각 산업 분야에서는 MCP(Multicore processor)를 활용한 임베디드 시스템에 관한 관심이…
Home »
WCET
항공용 소프트웨어 감항인증을 위한 WCET 검증 방안 연구
해당 논문은 2023년 한국항공우주학회 춘계학술대회에서 발표되었던 논문입니다. 항공용 소프트웨어 감항인증을 위한 WCET 검증 방안 연구 장정훈, 강유선, 이문창 (주)모아소프트 A…
우주항공용 SW의 MCP/WCET에 대한 해답 ‘LDRA’
Multicore processors(MCP) and Worst-Case Execution Times (WCET) 우주항공용 SW의 MCP/WCET에 대한 해답 ‘LDRA’ 우주항공 시스템의 요구사항과 SW의 크기가 증가함에 따라…