	A	B
1	Test Run	Passed
2	User	Evgeni Verbitski (evgen)
3	Date	2026-10-27
4	Start	22:44:42
5	End	22:44:49
6	Static Model Analysis	Passed
7	Static Analysis Result	100% (54/54)
8	Static Analysis Report	SMA_PWL.html
9	Coverage of Design Ranges	100% (3/3)
10	Coverage of Requirements	100% (5/5)
11	Cyclomatic Complexity	1
12	Block Count	9
13	Operator Complexity	5
14	Dynamic Model Analysis	Passed
15	Cumulative Decision Coverage	n/a
16	Cumulative MCDC Coverage	n/a
17	Structural Coverage Report	COV_PWL.html
18	Test Cases	100% (5/5)
19	Passed	5
20	Failed	0
21	Warned	0
22	Ignored	0
Environment
	A	B
1	Test Harness	Passed
2	User	evgen
3	Date	2026-10-27 22:44:42
4	Model	PWL_harness.mdl
5	Revision	1.26
6	Solver	Fixed-Step Discrete
7	Sample Time	0.02
8	Test Object	Passed
9	System	PWL_harness/PWL
10	User	evgen
11	Last Saved	2026-10-27 22:12:42
12	Model	PWL_lib.mdl
13	Model Version	1.14
14	System Type	Simulink Library
15	Simulation Type	MIL
16	Sample Time	0.02
17	Test Specification	Passed
18	Excel File	TST_PWL.xlsx
19	User	Evgeni Verbitski
20	Last Saved	2026-10-27 22:15:37
21	Specification Version	1.27
22	Test Environment	Passed
23	Windows	Windows 11 Pro (10.0) 64-bit
24	MATLAB	24.2 (R2024b) 64-bit
25	EverCheck	v26.1.32
26	EverTest	v26.1.115
27	Excel	Excel 16.0

Requirements

	A	B	C	D	E	F	G	H	I	J
1	Test Cases	Goal	Start	End	Test Result	REQ: PWL-1	REQ: PWL-2	REQ: PWL-3	REQ: PWL-4	REQ: PWL-5
2	TC1_Standstill	Pull away at a traffic light: full pedal at standstill, the push rises to 12000 N with the engine delay	2026-10-27 22:44:45	2026-10-27 22:44:46	Passed	x	x		x	x
3	TC2_PartThrottle	Cruise with half pedal at 40 m/s: the push settles at 4250 N, half of 8500 N	2026-10-27 22:44:46	2026-10-27 22:44:46	Passed			x	x
4	TC3_ForceCurve	Full pedal at different speeds: the push follows the force table, 12000 N up to 28.33 m/s, then falling	2026-10-27 22:44:46	2026-10-27 22:44:47	Passed		x			x
5	TC4_Limiter	Reach top speed: above 83.33 m/s the limiter cuts the push, which fades to 0 with the engine delay	2026-10-27 22:44:47	2026-10-27 22:44:48	Passed		x		x
6	TC5_ThrottleOff	Lift the foot at 20 m/s: the push fades from 12000 N to 0 with the engine delay	2026-10-27 22:44:48	2026-10-27 22:44:49	Passed				x	x

Interface

Settings

function settings = EverTest_Settings() settings.WorkProducts.StaticAnalysisReport = 'report\SMA_PWL.html'; settings.WorkProducts.StaticAnalysisEngine = 'EC'; settings.WorkProducts.StructuralCoverageReport = 'report\COV_$T.html'; settings.WorkProducts.VerificationReport = 'report\VER_PWL.html'; settings.WorkProducts.VerificationOverview = ''; settings.WorkProducts.EverView = 'C:\class\work\speedModel\PWL\report\WEB_PWL.html'; settings.WorkProducts.RequirementPattern = 'REQ:'; settings.WorkProducts.SearchRequirementLinks = false; settings.WorkProducts.GoalPattern = 'GOAL:'; settings.WorkProducts.MaximumColumnWidth = 200; settings.ImportFiles.CheckIdList = 'Safety_Check_IDs.m'; settings.ImportFiles.StartCallback = ''; settings.ImportFiles.FinishCallback = ''; settings.ExportDirectories.EXACT = ''; settings.ExportDirectories.GenerateEXACT = false; settings.ExportDirectories.MDF = ''; settings.ExportDirectories.GenerateMDF = false; settings.ExportDirectories.XML = ''; settings.ExportDirectories.ErrorLogging = ''; settings.VerificationValidation.GenerateStaticAnalysis = true; settings.VerificationValidation.GenerateStructuralCoverageReport = true; settings.VerificationValidation.ShowDecisionCoverage = true; settings.VerificationValidation.ShowMcdcCoverage = true; settings.VerificationValidation.RunDesignRangesCoverage = true; settings.VerificationValidation.GenerateVerificationReport = true; settings.VerificationValidation.MaximumTimeSteps = 10; settings.Simulation.DebugMode = false; settings.Simulation.RealTimeMode = false; settings.Simulation.Tolerance = '0.01'; settings.Simulation.NumberFormat = ''; settings.Simulation.MissingTimeSteps = 'Warn'; settings.Simulation.FastRestart = false;

	A	B	C	D	E	F	G	H	I
1	Name	Type	Data Type	Dimensions	Min	Max	Unit	Description	Format
2	cmdThrottle	I	single	1	0	100	%	Throttle pedal position
3	v	I	single	1	0	85	m/s	Vehicle speed
4	fDrive	O	single	1	0	12000	N	Drive force at the wheels

PWL_harness/PWL - EverTest Verification Report

Summary

Environment

Requirements

Interface

Settings

TC1_Standstill Pull away at a traffic light: full pedal at standstill, the push rises to 12000 N with the engine delay

EverPlot(fDrive)

EverPlot(cmdThrottle, v)

Test data

Log Output

TC2_PartThrottle Cruise with half pedal at 40 m/s: the push settles at 4250 N, half of 8500 N

EverPlot(fDrive)

EverPlot(cmdThrottle, v)

Test data

Log Output

TC3_ForceCurve Full pedal at different speeds: the push follows the force table, 12000 N up to 28.33 m/s, then falling

EverPlot(fDrive)

EverPlot(cmdThrottle, v)

Test data

Log Output

TC4_Limiter Reach top speed: above 83.33 m/s the limiter cuts the push, which fades to 0 with the engine delay

EverPlot(fDrive)

EverPlot(cmdThrottle, v)

Test data

Log Output

TC5_ThrottleOff Lift the foot at 20 m/s: the push fades from 12000 N to 0 with the engine delay

EverPlot(fDrive)

EverPlot(cmdThrottle, v)

Test data

Log Output