■ 개발 프로세스 향상을 위한 코드 검증 툴 『폴리스페이스 론칭 세미나』 개최

매스웍스코리아, 폴리스페이스 자동 검증 툴로 코드 신뢰성 더욱 높여

세계적인 테크니컬 엔지니어링 소프트웨어 공급업체인 매스웍스코리아(대표: 함창만, www.mathworks.co.kr)는 지난달, C/C 코드 신뢰성 확보를 위한 PolySpace 활용을 주제로 하여 대전 호텔 리베라에서 세미나를 개최했다고 밝혔다.

폴리스페이스(PolySpace)는 2007년 매스웍스가 프랑스의 폴리스페이스사를 인수한 이래, 한국에서는 이번 세미나를 계기로 본격적인 비즈니스 활동을 펼칠 예정이다.

이번 세미나에는 매스웍스 폴리스페이스 개발지원 책임자인 크리스티앙 바르드(Christian Bard)가 발표자로 한국을 방문하여, 폴리스페이스 제품 소개 및 구체적인 관련 데모를 통해 런타임 에러가 존재하지 않는 것을 증명하는 것이 소프트웨어의 질을 높이기 위한 전체 프로세스에 어떻게 영향을 주는지에 대한 설명과 함께, 버그를 찾는 툴과 코드를 검증하는 툴의 차이점에 대한 이해를 도왔다.

이외에도 매트랩 커뮤니티인 매트랩 센트럴(MATLAB Central)에 소개된 다양한 폴리스페이스 자료 소개와 오토에버시스템즈의 고객 사례 발표로 참석자들의 높은 관심을 이끌었다.

매스웍스코리아의 함창만 대표는, “폴리스페이스 자동 검증 툴로 임베디드 시스템 개발 워크플로우에서 검증 병목현상을 더욱 줄일 수 있을 것”이라며, “지난 해 폴리스페이스 인수 이후 한국에서 처음으로 가지는 폴리스페이스 세미나를 통해 많은 국내 기업과 연구소에서 코드 신뢰성을 더욱 높일 수 있기를 기대한다” 고 덧붙였다.

관련 기사

무라타제작소, 고주파 동축 커넥터 양산

한국전자통신연구원, 해양 IoT 통신망 구축 본격화

LG CNS, 전국 14개 공항 AI 전환 마스터플랜 그린다

댓글 0