WCET 추정·소프트웨어 검증 역량 강화… VectorCAST 툴체인 통합 추진
벡터코리아(지사장 장지환)는 3월 5일, 프랑스 타이밍 안전 전문 스타트업 스타트앵프(StatInf)로부터, 임베디드 소프트웨어의 최악 실행 시간(WCET)을 정밀 추정하는 타이밍 분석 기술인 록스탯(RocqStat)과 해당 분야 전문 인력 팀을 인수하여 안전성 검증 역량을 코드 테스트 영역 전반으로 확장하게 됐다고 밝혔다.
벡터는 이번 인수를 통해 타이밍 분석 및 최악 실행 시간(WCET, Worst-Case Execution Time) 추정 역량을 강화했으며, 이는 안전 필수 시스템에서 신뢰할 수 있는 소프트웨어 검증 에 대한 수요 확대에 대응하기 위한 전략적 조치라고 전했다. 타이밍 분석은 소프트웨어가 최악의 조건에서도 정해진 시간 안에 실행을 완료하는지를 계산·검증하는 기술로, 안전 필수 시스템에서 핵심적인 검증 요소로 꼽힌다.
이번 인수를 통해 벡터의 코드 테스트 툴체인(Code Testing Tool Chain) 내에서 타이밍 분석, 검증 워크플로, 고급 분석 분야의 혁신이 가속화될 것으로 기대된다. 기존 스타트앵프(StatInf) 고객은 비즈니스 연속성이 그대로 유지되며, 중기적으로 록스탯(RocqStat)을 벡터의 코드 테스트 툴체인인 VectorCAST 툴체인에 통합해, 타이밍 분석, WCET 추정, 안전 필수 시스템에서 요구되는 신뢰성 높은 소프트웨어 테스트 및 검증을 하나의 통합 환경에서 수행할 수 있도록 지원할 계획이다.
벡터 에릭 바튼(Eric Barton) 코드 테스트 툴 담당 수석부사장은 “타이밍 안전(Timing Safety)은 SDV(소프트웨어 정의 차량)을 비롯한 다양한 소프트웨어 정의 시스템(SDS)에서 점점 더 중요한 요소가 되고 있다”라고 말하며, “StatInf의 첨단 기술을 우리의 툴체인과 결합함으로써, 고객이 타이밍 제약(Timing Constraints)을 보다 효율적이고 신뢰성 있게 설계하고 검증할 수 있도록 지원할 것이다”라고 말했다.
<저작권자(c)스마트앤컴퍼니. 무단전재-재배포금지>
