매스웍스社, IEC CERTIFICATION KIT 및 DO QUALIFICATION KIT 발표

뉴스 제공

2009-04-08 09:55

서울--(뉴스와이어)--세계적인 테크니컬 엔지니어링 소프트웨어 공급업체인 매스웍스코리아(대표: 함창만, www.mathworks.co.kr)는 자동차, 항공 우주 및 산업 자동화 분야의 엔지니어들이 모델기반설계(Model-Based Design)나 PolySpace(폴리스페이스)의 코드 검증을 효율적으로 사용하여 각 산업 분야에 표준을 준수하는 고도의 무결점 시스템 개발에 도움을 줄 수 있는 제품을 발표했다고 밝혔다.

IEC Certification Kit과 DO Qualification Kit은 인증 보고서, 증명 계획, 테스트 사례 모델과 매스웍스 제품에 특화된 코드들을 포함하고 있다.

IEC Certification Kit(IEC 61508용)에는 리얼타임 워크샵 임베디드 코더(RTW-EC)를 비롯하여, MISRA-C 2004 코드 분석기를 포함하는 PolySpace 코드 검증 제품을 지원하며, TÜV SÜD 인증서 및 인증 보고서가 포함되어 있다.

DO Qualification Kit은 Simulink Verification and Validation, SystemTest 및 PolySpace 코드 검증 제품을 지원한다.

엔지니어들은 이러한 인증Kit을 사용하여 각 표준에 대한 도구 인증 요구사항의 개별 구성요소를 충족하고, 표준 준수를 증명하기 위한 필수적인 근거를 만들어낼 수 있다.

널리 사용되는 전자 시스템의 기능 안전 관련 표준인 IEC 61508은 자동차 및 산업 자동화 분야의 임베디드 소프트웨어 개발에 일반적으로 적용된다. DO-178B는 항공기 시스템 및 장비에 사용되는 소프트웨어 개발 가이드라인을 정의하는 항공 시스템 소프트웨어의 실질적인 안전 표준이다.

매스웍스의 우주항공, 국방 및 자동차 마케팅 담당 매니저인 존 프리드만(Jon Friedman)은 “고객들은 모델기반설계 또는 PolySpace 코드 검증을 사용하여 엄격하게 정의된 산업 가이드라인 및 표준을 준수하는 고도의 무결성 시스템을 만들 때 추가 가이드라인이 필요하다고 요구해왔다”며, “Certification 및 Qualification Kit은 엔지니어들이 매스웍스의 툴을 사용하여 고도의 무결점 시스템을 능률적으로 개발하는 데 도움을 줄 것이다” 라고 밝혔다.

IEC Certification Kit 및 DO Qualification Kit는 현재 구매가능하며, 지원되는 툴 및 버전에 대한 가격 및 상세한 정보는 www.mathworks.com/products에서 확인할 수 있다.

웹사이트: http://www.mathworks.co.kr