Green Hills Software는 1982년 Dan O’Dowd와 Carl Rosenberg에 의해 설립된 회사로, Embedded System을 위한 OS와 개발 툴을 주로 만듭니다. Green Hills Software가 검증된 EEMBC benchmark를 위한 Compiler 선택에 있어 차지하는 비중은 아래 표에서 보이는 것처럼 큽니다. 이런 Green Hills가 LDRA와 제휴를 맺어 소프트웨어 신뢰도까지 분석을 가능하게 하는 Solution을 만들어 지금 여러분께 제안합니다.
이번 모아소프트의 포스팅은 LDRA와 Green Hills가 제휴를 맺어 제공하는 Multi-Core 개발과 검증 기술에 대한 Embedded Control Europe의 뉴스 내용입니다.
LDRA와 Green Hills가 제공하는 멀티 코어를 이용한 개발 및 검증
LDRA와 Green Hills Sofrawre는 안전 및 보안이 중요한 사업분야의 소비자를 대상으로 멀티 코어 플랫폼을 기반으로 개발된 프로그램을 제공하기 위한 제휴를 맺고 있습니다. 멀티코어 플랫폼과 어플리케이션들이 증가하는 현상들로 미뤄봤을 때, 안정성과 보안성이 매우 중요한 활동들에 꼭 필요한 새로운 검증 툴로의 성장 가능성을 보여주고 있습니다. LDRA는 Green Hills Software와의 협력을 통해 앞으로 규정 준수 달성에 있어 중요한 단계가 될, “멀티 코어 시스템의 동작을 개발자가 솔루션에서 완벽하게 추적”할 수 있게 하는 기능을 개발했습니다.
LDRA의 최적화 된 추적 기술은 소프트웨어 런타임 동적 및 다중 코어에서의 동작을 효율적으로 수집합니다. 그 결과, 안전성 및 보안성이 중요한 Coverage 분석에서 Runtime 성능저하 혹은 Green Hills Software 응용 프로그램 환경에서 안전성의 희생없이 안전하고 효율적으로 집계가 가능합니다.
전례없는 시스템 분석 및 디버깅 기능을 소비자에게 제공하기 위해 LDRA 추적 기술이 Green Hills Software 개발 툴 체인과 통합된 결과로 볼 수 있습니다.
안전성 및 보안성이 중요한 멀티 코어 시장을 위해, Green Hills Software는 INTEGRITY-178 tuMP (시간에 따라 변화가 통합된 다중 처리) 실시간 운영 체제를 제공합니다. 2010년부터 보급되어 온, INTEGRITY-178 tuMP는 시스템 및 응용 프로그램 개발자에게 다중 코어 안에서 예약하고 활용하는 동시에 응용 프로그램 쪽으로도 뛰어난 유연성을 제공합니다. 분할 시행 RTOS를 사용하여 안전성 및 보안성에 관해 보장하는 수준들이 다른 응용 프로그램들을 멀티 코어 플랫폼으로 동시에 실행할 수 있습니다.
또한, Green Hills의 MULTI는 통합된 개발 환경(IDE)으로써, C, C++ 및 Ade 프로그래밍 언어에 대한 응용 프로그램 개발을 지원합니다. 제휴의 결과로, 멀티 코어 응용 프로그램 개발, 디버그 및 검증 관리를 통합한 MULTI IDE와 함께 LDRA의 구조적 Coverage 솔루션을 통합하였습니다.
더해, LDRA의 멀티코어 측정 지원으로 구조적 Coverage 분석을 개별 코어에서 측정하거나 멀티 코어 시스템 수준으로 분석하기 위해 집계할 수 있습니다. 그 결과들은 개발자가 코드 실행의 흐름을 따라가며 코어 및 시스템 수준에서 시스템 동작을 평가할 수 있도록 그래픽으로 표현됩니다. 호스트 및 대상 플랫폼에 사용할 수 있게 Object 코드 수준으로 낮춰진 구조적 Coverage 분석해 대해, LDRA는 솔루션 안전성에 중요한 표준을 준수함에 있어 최고 수준을 지원합니다. 보고서들이 자동으로 테스팅 분석 및 기술들을 수집하여, 문서가 규정을 만족하는데 필요한 시간을 잠재적으로 수백배는 줄여 주고 있습니다.
규정에 최적화된 개발 및 소프트웨어 테스트의 통합으로, 소프트웨어 도구는 이제 멀티 코어 소프트웨어의 개발 및 테스트를 자동화하여 개발 및 검증을 간소화합니다. 이런 기술은 멀티 코어 시스템에서 제공하는 크기, 무게, 전력에 대해 절감을 완벽하게 활용하는 개발자 누구에게나 제공됩니다.
