Axivion for CUDA : MDS테크

CUDA C++ 코드를 위한 정적 코드 분석 및 아키텍처 검증 솔루션

Axivion for CUDA

CUDA 애플리케이션을 위한
정적 코드 분석 및 아키텍처 검증

Axivion for CUDA는 C, C++, CUDA C++ 코드를 하나의 도구로 분석합니다. NVIDIA CUDA C++ 가이드라인과 산업 표준 준수 여부를 자동으로 점검하고,
기존 CI/DevOps 환경에 그대로 연동해 사용할 수 있습니다.

무료 PoV · 데모 신청 견적 문의

소스코드 작성
(C/C++/CUDA)

▶

정적 코드 분석
(가이드라인 점검)

▶

아키텍처 검증
(설계 vs 구현)

▶

안전한 GPU 코드
(기능안전 대응)

-33%

기술 부채 해결 시간 단축

최대 15%

개발 비용 절감

ASIL D

기능안전 최고 등급 인증

Multi-Language

C · C++ · CUDA C++ 통합 분석

GPU 코드도 검증이 필요합니다

CUDA는 오늘날 고성능 컴퓨팅의 핵심 기반으로 자리 잡아 다양한 산업 분야의 애플리케이션을 구동하고 있습니다.
애플리케이션의 규모가 커질수록 지속 가능한 개발을 위해서는 성능 외의 품질 요소가 필수입니다.

인지 알고리즘, 센서 퓨전, 진단 AI처럼 핵심 소프트웨어가 GPU 위에서 실행되지만,
기존 정적 분석 도구는 CUDA 코드를 제대로 보지 못해 안전 필수 시스템의 상당 부분이 검증되지 않은 채 남습니다.

높은 소프트웨어 품질 유지, 소프트웨어 분리(Segregation)와
간섭 배제(Freedom from Interference) 보장, 가이드라인과 규정 준수 등 어떤 목표든 Axivion은 분석 시 항상 CUDA C++ 코드를 포함합니다.

CUDA 전용 정적 코드 분석

일반적인 정적 분석 도구는 CUDA를 C/C++의 확장으로만 처리해 GPU 고유의 문제를 놓치기 쉽습니다.
Axivion은 CUDA 구문과 커널 동작을 이해하고 분석합니다.

Axivion for CUDA 정적 분석 결과 화면 — CUDA C++ 가이드라인 위반 항목 상세

코딩 가이드라인 점검

NVIDIA CUDA C++ 가이드라인과 주요 산업 표준의 준수 여부를 자동으로 점검합니다.

NVIDIA CUDA C++ Guidelines
MISRA C++:2023, AUTOSAR C++14
CERT, CWE, 사내 규칙

GPU 결함 조기 검출

스레드 동기화와 메모리 접근을 분석해 레이스 컨디션, 데드락 등을 개발 초기에 찾아냅니다.

동기화 오류, 데드락 검출
데드 코드 분석
순환 의존성 탐지
클론 탐지, 메트릭 모니터링

개발 환경 연동

NVIDIA nvcc 컴파일러를 지원하며, 변경된 코드만 분석해 CI 파이프라인에서도 빠르게 검증합니다.

NVIDIA nvcc 지원
Jenkins, GitLab, Azure DevOps
변경분(Delta) 분석

소프트웨어 아키텍처 검증

설계한 구조와 실제 코드가 일치하는지 지속적으로 확인합니다. CPU-GPU 간 의존성을 관리하고 간섭 배제(Freedom from Interference) 입증을 지원합니다.

아키텍처 검증 화면이미지 영역

아키텍처 검사

코드가 변경될 때마다 설계와 다른 부분을 자동으로 찾아내고, 결과 보고서로 개선 진행 상황을 관리합니다.

아키텍처 복구

설계 문서가 없는 레거시 코드나 서드파티 코드에서도 구조를 복원해 파악할 수 있습니다.

아키텍처 내보내기

컴포넌트, 함수, 의존성 정보를 Enterprise Architect로 내보내 검토하고 수정할 수 있습니다.

MCP(Model Context Protocol) 커넥터 지원

사용 중인 LLM을 연결해 Axivion 분석 결과를 바탕으로 결함 원인을 파악하고 수정할 수 있습니다.
VS Code 플러그인에서 사용할 수 있으며, 분석 자체에는 AI를 사용하지 않아 기능안전 검증에도 적합합니다.

기능안전 인증

Axivion 정적 코드 분석은 SGS-TÜV Saar로부터 안전 관련 소프트웨어 개발에 적합한 도구로 인증받았습니다.

함께 제공되는 Tool Qualification Kit으로 도구 업데이트 후에도 검증과 재인증을 자동화할 수 있습니다.

인증서 다운로드 →

표준	대상 산업	인증 등급
ISO 26262	자동차	ASIL D
IEC 61508	산업	SIL 4
EN 50716	철도	SIL 4
IEC 62304	의료기기	Class C

자주 묻는 질문

NVIDIA CUDA C++ 가이드라인은 무엇인가요?

NVIDIA가 안전 필수 소프트웨어 개발을 위해 발표한 공식 CUDA C++ 코딩 가이드라인입니다. GPU 코드도 CPU 코드와 마찬가지로 기능안전 검증 대상이 되면서, Axivion은 이 가이드라인을 자동으로 점검하고 Tool Qualification Kit을 함께 제공합니다.

기존 레거시 코드도 분석할 수 있나요?

네, 가능합니다. 기존 C++·CUDA 프로젝트를 NVIDIA CUDA C++ 가이드라인, MISRA C++:2023, AUTOSAR C++14, CERT, 사내 규칙 기준으로 분석해 현재 상태를 확인할 수 있습니다.

도입 후 개발 속도에 영향이 있나요?

IDE와 CI/CD 파이프라인에 연동되어 개발자가 코드를 작성하는 시점에 바로 결과를 확인할 수 있습니다. 별도의 수동 리뷰 대기 시간이 줄어 오히려 개발 효율을 높일 수 있습니다.

무료 기술 검증(PoV) 및 데모 신청

신청서를 작성해 주시면 담당자가 확인 후 연락드립니다.

axivion@mdstech.co.kr | 031-627-3088

무료 PoV · 데모 신청 무료 PoV · 데모 신청 제품 브로슈어 다운로드

무료 PoV (기술 검증)귀사의 실제 CUDA 코드를 분석해 결과를 직접 확인할 수 있습니다.
제품 데모담당 엔지니어가 주요 기능과 사용 방법을 소개해 드립니다.

CUDA 애플리케이션을 위한정적 코드 분석 및 아키텍처 검증