저전력·저용량 특성을 갖춘 JSC SRAM 시리즈는 사물인터넷(IoT), 웨어러블 기기 등 전력 효율이 중요한 응용처에 적합한 고신뢰성 정적 랜덤 액세스 메모리입니다. 빠른 데이터 접근 속도와 낮은 소비전력을 실현하여 각종 산업용 제어장치와 통신장비에도 폭넓게 적용됩니다.
(주)아이티쓰리는 고객의 비즈니스 혁신을 위한 맞춤형 소프트웨어 개발 및 공급 서비스를 제공합니다. 최신 IT 트렌드와 기술을 반영한 응용 소프트웨어, 업무 자동화, 데이터 관리, 보안 등 다양한 분야의 소프트웨어를 기획부터 개발, 유지보수까지 원스톱으로 제공합니다. 고객의 업무 효율성과 경쟁력 강화를 위한 최적의 소프트웨어 솔루션을 제공합니다.
국제 표준(ISO 26262, ASPICE 등)에 기반한 코드 검증 솔루션으로, 자동차·국방·원자력 등 미션 크리티컬 산업의 소프트웨어 소스코드를 자동 분석하여 결함, 취약점, 표준 준수 여부를 신속하게 진단합니다. 정적 분석, 문서 추적성, 구조적 완전성 검증 등 다양한 기능을 제공하여 소프트웨어의 신뢰성과 안전성을 획기적으로 높입니다.
동의대학교산학협력단은 기업 맞춤형 응용 소프트웨어 개발 및 공급 서비스를 제공하여, 정보기술(IT) 기반의 업무 자동화, 데이터 분석, 스마트공장 구축 등 다양한 산업현장에 최적화된 솔루션을 지원합니다. 최신 IT 트렌드와 융합기술을 반영한 소프트웨어 개발로 기업의 디지털 전환과 생산성 향상에 기여합니다.
현대오토에버의 차량 통합 소프트웨어 플랫폼은 차량 내 모든 기능을 중앙에서 제어하는 차세대 소프트웨어 플랫폼으로, 인포테인먼트, 내비게이션, 음성 제어 등 다양한 UI·UX 시스템을 통합합니다. 이 플랫폼은 자동 무선 업데이트(OTA) 기능을 통해 차량 소프트웨어를 스마트폰처럼 실시간으로 최신 상태로 유지할 수 있으며, 커넥티드카와 자율주행 등 미래차 핵심 기술의 기반이 됩니다. 현대자동차그룹의 ‘소프트웨어 중심 자동차’ 전략을 실현하는 핵심 솔루션입니다.
LDRA는 모아소프트가 국내 단독 공급하는 소프트웨어 인증 및 검증 솔루션으로, 항공우주, 국방, 자동차 등 안전이 중요한 산업 분야에서 국제 표준에 부합하는 소프트웨어 품질 및 신뢰성 확보를 지원합니다. 코드 분석, 테스트 자동화, 인증 문서화 등 소프트웨어 생명주기 전반에 걸쳐 안전성과 신뢰성을 강화하는 데 최적화된 도구입니다.
TimeBounder는 포멀웍스가 개발한 고신뢰 임베디드 소프트웨어 검증 도구로, 원전·자동차·국방 등 안전성이 중요한 산업 분야에서 국제표준(IEEE Std. 1012, IEC 61508, ISO 26262 등)에 기반한 소프트웨어의 확인 및 검증(V&V)을 지원합니다. 정적 분석과 자동화된 테스트 기능을 통해 개발 단계별 오류를 사전에 탐지하며, 인허가와 품질 향상에 필수적인 안전성 분석과 정형 검증 서비스를 제공합니다.
