Reactis (Simulink 모델 동적 검증) : MDS테크

Simulink/Stateflow 모델 기반 Verification & Validation 자동화 솔루션

Reactis

Simulink/Stateflow Model을 기반으로 테스트 자동화 지원 (Test Suite 자동 생성/실행)실행 후 Assertion, Runtime Error를 효과적으로 검출MBD (Model Based Development) 환경에서의 Model Coverage Test 수행(Condition, Decision, MC/DC, Subsystem, State, Transition Action 등)

주요이점

Simulink/Stateflow 모델에 대한 검증 자동화

ㆍ모델 분석을 통한 Test suite 자동 생성 지원ㆍValidation을 위한 요구사항 기반 테스팅ㆍ테스트 데이터의 실행에 대한 시뮬레이션 자동화ㆍ모델에 대한 Debugging & Revisionㆍ테스트 결과 분석에 대한 Report 자동생성ㆍRegresstion Testing 자동화

테스트 실행간 모델 트래킹에 의한 Coverage 분석

ㆍDecision, Condition, MC/DCㆍBranch, Subsystem, State, Transition Action 등

모델 테스팅에 따른 입출력 값을 저장해 소스 코드검증을 위한 Test suite로 재사용

주요 Test 항목

ㆍ모델의 Verification & Validation 자동화
ㆍUnit/System Testing
ㆍ다양한 Coverage 분석
ㆍS-function/Custom code에 대한 분석
ㆍ다양한 형식의 테스트 데이터 입출력 지원
- .m, .mat, .txt, .csv 파일 형식
ㆍ모델이 아닌 표준 C 코드에 대한 검증
- C 코드로부터 Test suite 자동 생성 및 실행을 통한 Runtime error 검출

지원 환경

	Reactis for Simulink	Reactis for EML Plugin	Reactis for C Plugin	Reactis Model Inspector	Reactis for C
Platforms	Windows 10/11, Ubuntu Linux 22.04 LTS
Software Dependencies	Requires MATLAB®, Simulink®, and Stateflow® from MathWorks.(Supported versions: R2015b-R2025b)	Requires Reactis for Simulink	Requires Reactis for Simulink	None	None
RAM	1024MB (more recommended)			512MB (more recommended)
Disk Space	240MB			60MB	110MB
Other	Ethernet card

주요 고객

고객지원

자료실	[자동차SW블로그] Reactis를 활용하여 MBD 검증을 수행한 닛산 그룹 사례 2021-01-07