메뉴건너뛰기


소프트웨어 솔루션

소프트웨어 신뢰성 시험 및 감항인증 컨설팅 지원 솔루션 & GUI 자동화 솔루션



소프트웨어 검증


 

-

임베디드 소프트웨어 검증 종합 솔루션

소프트웨어 요구사항 관리, 설계, 구현,
시험에 이르는 전체 소프트웨어 개발
단계별 추적 자동화

-

최근 개발되고 있는 다양하고 복잡한
GUI 어플리케이션을 Record & replay
기법으로 기능시험을 자동화하여
손쉽고 빠르게 검증할 수 있는 솔루션
-

Sparrow는 실행의미 분석 엔진을 바탕으로 소스코드 구문 분석만으로 찾기 어려운 보안약점과 결함을, 프로그램이 실행되는 동안 정확히 검출하는 국내 최고의 정적분석 도구
-

DT10은 Software의
Data & Control Flow 정보를 장시간
Trace할 수 있는 기능을 제공. 수집된 정보들을 활용하여 시스템 운용상의 오류 추적이 가능하고 비효율적인 소프트웨어 구조설계를 효과적으로 지원하는 솔루션

 

 

소프트웨어 개발


 

·

최초의 오픈 소스 보안 솔루션으로써
업계 최고의 오픈소스 보안취약점 데이터베이스와, 실시간으로 업데이트 되는 오픈소스 품질 이슈, 오픈소스 라이선스에 대한 모든 정보를 하나의 솔루션
·

DDC-I에서 개발된
DO-178B/C Level A인증에 특화된
실시간 운영체제 Deos 고유의 메모리 및 스케쥴 관리 메커니즘은 항공 분야에서 요구하는 안전성과 신뢰성 분야에 검증된 라이브러리를 지원
·

ANSYS SCADE는
임베디드 소프트웨어 개발 프로젝트를 가속화 할 수 있는 자동 코드 생성기가 내장된 모델의 소프트웨어 개발 및 시뮬레이션 환경을 제공
·

Ansys medini analyze 소프트웨어는
위험 및 운용성(HAZOP) 분석, 고장 트리 분석(FTA), 고장 모드 및 영향 분석(FMEA), 고장 모드, 영향 및 진단 분석(FMEDA) 등의 핵심 안전성 분석 방법을 구현하며 이 모든 것이 하나의 통합된 툴
·

C++과 QML 언어를 기반으로 한
개발 프레임워크로 크로스 플랫폼과 손쉬운 GUI 디자인 기능을 제공

 

 

소프트웨어 관리


 

·

Jama software는 소프트웨어의 개발
및 관리에 대한 모든 프로세스를 실시간 관리하는 소프트웨어 ALM 솔루션.