ISO26262/IEC61508 MC-Verifier - gaio.co.jp

1 MC-VerifierISO26262 Back-to-Back (B2B) / , / , / B2B Simulink B2B B2B Simulink Statement, Branch, MC/DC ISO26262/IEC61508 MC-Verifier Back-to-Back Back-to-Back B2B MC-Verifier (MIL) (SIL) (PIL) B2B B2B MBD B2B MATLAB/Simulink B2B MC-Verifier MATLAB/Simulink MATLAB/Simulink GUI MATLAB Simulink ( )

2 MC-Verifier B2B Simulink [ ]MIL=ModelIntheLoopMC=ModelandCodeSIL=So ftware(Ccode)IntheLoopB2B=Back-to-BackPI L=Processor(Objectcode)IntheLoop MIL PIL B2B C MIL PIL B2B Statement Branch MC/DC iso26262 / B2B / / B2B C / B2B

3 iso26262 MIL->MIL MATLAB/Simulink MIL->MIL->SIL / ACG / MIL->PIL iso26262 C B2BB2BB2B Simulink B2B MC-Verifier B2B = MATLAB/Simulink B2B ISO26262/IEC61508 Back-to-Back B2B 140-0002 2-2-4 25 TEL: 03-4455-4767E-mail.

4 ( )MATLAB/Simulink MC-Verifier MATLAB/Simulink B2B MATLAB/Simulink GUI B2B (Instruction Set Simulator) C ( ) MC-Verifier .

5 Statement Branch MC/DC MBD B2B CSV M MBD B2B XML HTML CSV XLS(X)