소프트웨어 및 시스템 개발시, Stack Memory는 개발자가 직접 할당해야 합니다. Stack 사용량을 과소 평가하면 Stack Overflow로 인해 심각한 오류가 발생할 수 있고 이와 반대로 Stack 사용량을 과대평가하면 메모리 리소스가 낭비되는 문제가 발생 할 수 있습니다.
현재 국제 안전 표준(DO-178B/C, ISO 26262, IEC 61508, EN 50128 등)에서는 Stack Overflow가 발생하지 않도록 해야하며, StackAnalyzer를 사용하여 보다 쉽게 Stack Overflow가 없음을 증명할 수 있습니다.
StackAnalyzer을 통해 보다 더 편리하게 최대 Stack 사용량 검증하고 안전한 소프트웨어를 설계하세요.
주요 기능
함수당 Stack 사용량 파악 가능
Stack 사용량 Annotation이 포함된 Call Graph
Stack 사용량 Annotation이 포함된 Control Flow Graph
지원프로세서/컴파일러 목록
- C16x / XC26x / ST10 (TASKING/Keil)
- TriCore (TASKING/gcc)
- Renesas RX (IAR)
- Renesas SuperH (Renesas)
- TI C3x (TI)
- TI C28x (TI)
- TI MSP430(X) (IAR)
- X86 (gcc/Icc/cygnus/clang)
- M68K (HP/EDS/gcc)
- FR81S (Fujitsu)
- MCS51 (TI CC254x) (IAR)
- MIPS32 (gcc)
- HCS12(X/XE) (Hiware/Cosmic/IAR)
- LEON2/LEON3/LEON4 (gcc/GNAT)
- ERC32 (gcc/GNAT)
- Freescale ColdFire (HP/EDS/gcc)
- dsPIC (Microchip)
- MCS251 (Keil)
- RISC-V (gcc)
- Nios-2
- NEC / Renesas V850/RH850 (GHS/Diab Renesas CS+)
- PowerPC 32-bit / 64-bit (Diab/gcc/GHS/CodeWarrior/DDC-1 Score)
- ARM (TI/ARM/gcc/GHS/TASKING/clanf/HighTec/Diab/Keil MDK-ARM/GHS Ada)
다양한 도구들과 연동
01 TargetLink 생성 코드에 대한 완전 자동화된 Stack 사용 분석
ㆍdSPACE의 프로덕션 코드 생성 도구인 TargetLink 통합 지원ㆍTargetLink는 MathWorks MATLAB/Simulink/Stateflow에서 바로 그래픽으로 지정된 함수에 대한 프로덕션 코드를 자동 생성ㆍ코딩 및 개발 시간을 크게 단축, 프로덕션 코드의 품질 향상ㆍTargetLink와 StackAnalyzer 간의 자동화된 흐름은 개발 주기에 원활하게 통합 지원ㆍAUTOSAR 기반 개발 프로세스 및 툴 체인의 여러 단계에서 관련 타이밍 정보의 사양, 전환 및 교환을 다루는 TIMMO-2-USE 프로젝트 협력
02 오픈 소스 자동화 서버 인 Jenkins에서 StackAnalyzer의 자동 통합을 위한 플러그인 제공
ㆍJenkins 빌드의 정확한 Stack 사용량 자동 확인ㆍ자동으로 worst-case 실행 시간 확인ㆍJenkins 로고다음과 같은 자체 기준에 따라 분석 결과에 따라 빌드를 실패로 자동 표기- 기대 위반/ 특정 경고 또는 오류ㆍJenkins 웹 인터페이스를 통해 자세한 분석 결과 액세스ㆍJenkins 빌드 출력에서 분석 결과 및 실패한 항목에 대한 간략한 요약 보기ㆍ보고서 파일을 Jenkins 작업 영역에 직접 보관
03 ANSYS의 내장형 소프트웨어 개발 환경인 SCADE Suite과의 통합이 가능
ㆍSCADE와 StakcAnalyzer의 자동화된 방식은 개발 주기에 대한 원활한 integration을 제공
