산업용 로봇의 기능안전에 대한 요구가 높아짐에 따라 소프트웨어 신뢰성에 대한 기대도 함께 증가하고 있습니다. 이번 세션에서는 기능안전 인증 프로젝트를 위해 여러 산업표준을 지원하고 있는 Arm의 FuSa RTS와 Parasoft의 정적/동적 분석 도구를 활용하여 더욱 안전한 소프트웨어 개발과 검증을 하는 방안에 대해 소개합니다.