Invisible Safety,

Proven by Intelligence

보이지 않는 안전을 인텔리전스로 증명하다.

기술 노트
IT 산업의 변화를 이끄는 MDS인텔리전스의
기술 인사이트를 만나보세요.
시스템 소프트웨어 개발

[medini analyze] 2026 R1 신규 기능 소개

Ansys medini Analyze 2026 R1에서 새롭게 추가되고 개선된 주요 기능들을 소개해 드리겠습니다. 이번 버전에서는 AI 기반의 Engineering Copilot이 새롭게 추가되었으며, 프로젝트 협업을 위한 Compare & Merge 기능이 강화되었습니다. 또한 다양한 요구사항 관리(RMS) 도구와의 연동 기능도 한층 향상되어 실제 프로젝

medini@mdsit.co.kr
시스템 소프트웨어 개발

[SW검증센터] 자율주행을 위한 SOC 차량용 반도체 : 핵심 기술과 역할

오늘날의 SoC는 자율 주행차 뿐만 차량의 다양한 전자 시스템에서도 핵심적인 역할을 하고 있습니다. 각 자동차 제조사들은 SoC를 통해 자율주행 기술을 고도화하며, 기존의 차량 제어 시스템을 혁신하고 있습니다. 또한, 반도체 제조업체들은 자율주행차의 요구사항을 충족하기 위해 더욱 발전된 SoC칩을 개발하고 있습니다. 이번 시간에는 차량용 반도체 SoC에 대

swtest@mdsit.co.kr
시스템 소프트웨어 개발

[Codebeamer] 항공 소프트웨어 개발의 핵심: 규제 준수와 현대적 도구의 역할

규제가 매우 엄격한 항공 산업에서 표준 준수(Compliance)는 선택이 아닌 필수입니다. 인증 없이는 항공기가 법적으로 비행할 수 없거나 글로벌 시장에 진입할 수 없으며, 이는 곧 사업 운영의 중단을 의미하기 때문입니다. DO-178C와 DO-254는 항공 소프트웨어 및 하드웨어의 안전한 개발을 위한 지침을 제공하는 표준입니다. 이러한 표준을 준수하면

codebeamer@mdsit.co.kr
시스템 소프트웨어 개발

[VectorCAST] Code Coverage – MC/DC

이번 테크노트에서는 Code Coverage 종류 중 하나인 MC/DC에 대해서 알아보겠습니다. 1. MC/DC란? Code Coverage는 테스트의 충분성을 평가하는 대표적인 지표입니다. Statement Coverage나 Branch Coverage 역시 테스트의 수행 범위를 확인하는 데 유용한 지표입니다. 하지만 Statement Coverage,

vectorcast@mdsit.co.kr
시스템 소프트웨어 개발

[SW검증센터] 안전한 SW를 위한 한 걸음, 테스팅 표준 (ISO/IEC/IEEE-29119 Part.3 Test Documentation)

이번 테크노트에서는 ISO/IEC/IEEE 29119 표준의 part.3에 대해서 살펴보고자 합니다. Part.3은 Part.2에서 정의한 시험 프로세스(조직, 관리, 동적)에서 작성·관리되어야 하는 테스트 문서(Test Documentation)의 양식과 포함 항목을 표준화한 문서입니다. 즉 어떠한 산출물을, 어떠한 형식으로, 어떠한 정보를 담아서 작성

swtest@mdsit.co.kr
시스템 소프트웨어 개발

[SW검증센터] 효과적인 소프트웨어 검증을 위한 문서 품질 확보

문서 기반 검증, 왜 중요한가? 소프트웨어 검증 업무를 수행하다 보면 종종 이런 상황을 마주하게 된다. “코드는 구현되어 있는데, 무엇을 기준으로 검증해야 하지?” 테스트를 수행하기 위해서는 정상 동작의 기준이 필요하다. 그리고 그 기준이 되는 것이 바로 요구사항 명세서, 설계서, 인터페이스 문서와 같은 개발 문서이다. 많은 사람들이 소프트웨어 검증을 단순

swtest@mdsit.co.kr
시스템 소프트웨어 개발

[CodeSonar] MISRA, 임베디드 개발자가 알아야 할 현실적인 접근법

MISRA는 “규칙 집합”이 아니라 “선택 가능한 프레임워크”입니다. MISRA는 임베디드 C/C++ 개발에서 가장 널리 사용되는 코딩 표준입니다. 하지만 많은 개발자들이 오해하는 부분이 하나 있습니다. MISRA는 모든 규칙을 반드시 지켜야 하는 절대 규칙이 아닙니다." 실제로 대부분의 개발 조직은 전체 규칙을 그대로 적용하지 않고, 프로젝트 특성이나 고

codesonar@mdsit.co.kr
시스템 소프트웨어 개발

[VectorCAST] C++ Xilinx 시험 환경 구성하기

Xilinx는 하드웨어를 유연하게 구성할 수 있는 플랫폼을 제공합니다. 이러한 특성 덕분에 Xilinx 기반 시스템은 국방, 항공과 같이 실시간성과 높은 신뢰성이 요구되는 분야에서 널리 사용됩니다. 이러한 Xilinx환경은 Zynq와 같은 SoC와 함께 Vitis와 같은 개발 툴체인, 그리고 GCC 기반 크로스 컴파일러를 포함하는 복합적인 개발환경으로 구성

vectorcast@mdsit.co.kr
시스템 소프트웨어 개발

[CodeSonar] 임베디드 환경에서 Rust와 CodeSonar를 활용한 안전한 개발

임베디드 시스템이나 시스템 소프트웨어 개발 분야에서는 오랫동안 C와 C++가 핵심 언어로 사용되어 왔습니다. 두 언어는 하드웨어에 가까운 수준에서 동작하며 높은 성능과 제어 능력을 제공하기 때문에 임베디드 환경에서 널리 활용되고 있습니다. 하지만 C/C++에서는 메모리를 개발자가 직접 관리해야 하기 때문에 메모리 누수, 댕글링 포인터, 버퍼 오버플로우와

codesonar@mdsit.co.kr
시스템 소프트웨어 개발

[medini analyze] 2026 R1 업데이트로 더 효율적인 Safety 분석 환경 만들기

이번 2026 R1 업데이트에서는 시스템 모델 연동, 협업 기능, 그리고 AI 기반 지원 기능까지 다양한 개선이 이루어졌어요. 특히 SysML 모델 연동 강화, Requirements Tool 통합, 그리고 Engineering Copilot 기능 추가를 통해 기능안전 분석 업무를 더욱 효율적으로 수행할 수 있도록 발전했답니다. 그럼 이번 업데이트에서 무엇

medini@mdsit.co.kr
시스템 소프트웨어 개발

[Codebeamer] 요구사항 관리 툴을 넘어, 업무 플랫폼으로 쓰는 방법

Codebeamer를 처음 접하면 대부분 이렇게 생각합니다. “요구사항 관리 툴이구나.” “ASPICE나 기능안전 대응할 때 쓰는 시스템이겠지.” 틀린 말은 아닙니다. 하지만 실제 현업에서 Codebeamer를 오래 사용하다 보면, 한 가지 질문에 도달하게 됩니다. " 이걸 꼭 요구사항 관리에만 써야 할까? " 이번 글에서는 Codebeamer를 요구사항

codebeamer@mdsit.co.kr
시스템 소프트웨어 개발

[VectorCAST] 임베디드 SW검증의 보이지 않는 위협: '신뢰할 수 없는 AI 모델'의 리스크

최근 AI 기술이 테스팅 도구에 이식되면서 전례 없는 생산성 혁신이 일어나고 있습니다. 하지만 국방, 항공, 자동차와 같이 높은 신뢰성이 요구되는 '미션 크리티컬(Mission-Critical)' 산업에서 SW테스팅 도구를 선택할 때, 우리는 기능 뒤에 숨겨진 'AI모델의 기원(Origin)'과 '공급망 신뢰성'을 반드시 따져봐야 합니다. 특정 폐쇄망에서

vectorcast@mdsit.co.kr