정적 분석

TASKING 통합 툴체인으로 확장되는 항공 소프트웨어 개발·검증 환경

항공 소프트웨어 개발은 단순히 코드를 작성하고 테스트하는 수준을 넘어, 요구사항부터 구현, 디버깅, 검증, 인증 대응까지 전 과정이 체계적으로 관리되어야 하는…

산업 현장 사례로 본 보안 취약점의 공통 원인과 예방 구조 소프트웨어 보안 사고는 더 이상 특정 기업의 불운한 예외가 아닙니다.최근…

🔍 복잡해지는 시스템, 이제는 품질과 보안을 함께 관리해야 한다 국방, 항공, 의료, 자동차 등 안전성과 신뢰성이 중요한 산업에서는소프트웨어의 복잡도가…

최근 전 세계적으로 소프트웨어 공급망 보안의 중요성이 강조됨에 따라 SBOM(Software Bill of Materials)이 핵심 화두로 떠오르고 있습니다. 특히 KISA(한국인터넷진흥원)가…

이번 시간에는 SDLC의 구현단계부터 적용 가능한 정적분석기술을 활용하여 소스코드 내 잠재 되어있는 보안약점을 점검하고, 보안위협에 선제 대응할…

LDRA를 활용한 ISO 26262와 ASPICE(Automotive SPICE) 준수 자동차 소프트웨어 개발에서 ISO 26262와 ASPICE(Automotive SPICE)는 필수적인 표준입니다. ISO 26262는 차량의…