Property	Value
Operating System	Windows 10 amd64 10.0
Tool Version	25.1p0
Profile Creator	developer
Profile Creation Date	2025-04-14 10:15:30
Profile Modifier
Profile Modification Date

Architectures

TargetLink

Property	Value
Creator	developer
Import Date	2025-04-14 10:16:25
Matlab Version	Matlab 9.13 (R2022b)
Simulink Version	Simulink 10.6 (R2022b)
TargetLink Version	TargetLink 22.1
Model Creation Date	2022-04-07 09:55:28
Model Version	6.4
Model File	file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/model/seat_heating_controller.slx
Init Script	file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/model/init.m
Environment File
Model Linking	false
Calibration Settings	EXPLICIT_PARAM
Reuse Existing Code	false
Test Mode	GREY_BOX
Adaptive AUTOSAR	false

Model Reference

C-Code

Property	Value
Creator	developer
Import Date	2025-04-14 10:16:28
Matlab Version	Matlab 9.13 (R2022b)
Simulink Version	Simulink 10.6 (R2022b)
TargetLink Version	TargetLink 22.1
Model Creation Date	2022-04-07 09:55:28
Model Version	6.4
Model File	file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/model/seat_heating_controller.slx
Init Script	file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/model/init.m
Environment File
Host Compiler	MinGW64 Compiler (C) (6.3.0)
Compliance Mode	C99
Flush-to-Zero Status	Deactivated

Model Reference

Custom

Property	Value
Last change (DD)	[2025-04-04 22:45:54+02:00] Thabo Krick: initial state for demo (hash: aeb91828)
Last change (Model)	[2025-04-14 10:13:35+02:00] Thabo Krick: added tests and fixed issue in btnPress2stage (hash: 0f7498bf)

Constants

Property	Value
-Infinity	-Infinity
Infinity	Infinity
NaN	NaN

Report Base

Property	Value
Scope	seat_heating_controller
Path	seat_heating_controller/Subsystem/seat_heating_controller
Child Scopes	activation_condition_check

Execution Modes

SIL

Property	Value
Creator	developer
Import Date	2025-04-14 10:16:28
Matlab Version	Matlab 9.13 (R2022b)
Simulink Version	Simulink 10.6 (R2022b)
TargetLink Version	TargetLink 22.1
Model Creation Date	2022-04-07 09:55:28
Model Version	6.4
Model File	file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/model/seat_heating_controller.slx
Init Script	file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/model/init.m
Environment File
Host Compiler	MinGW64 Compiler (C) (6.3.0)
Compliance Mode	C99
Flush-to-Zero Status	Deactivated

Natural Language Requirements

shc

Property	Value
Baseline Name	Head / Current
Baseline Revision	Current
Description column	Description
Host	http://polarion03.prom.local
Last import date	2025-04-14
Name column	Title
Port	80
Project URL	http://polarion03.prom.local/polarion/redirect/project/shc
Query Text	type:requirement
Work Item Types	Requirement, Test Case, Feature, Variant

Test Case Specifications

shc

Property	Value
Consider Step Comments	true
Draft	false
Execution Modes	SIL
Folder	Default Test Cases
Host	http://polarion03.prom.local
Linked Requirement Role	verifies
Port	80
Project ID	shc
Project URL	http://polarion03.prom.local/polarion/redirect/project/shc
Scope	seat_heating_controller
Work Item Types	Test Case

View Details

Test Execution

SIL:

100% Passed

View Details

Requirements Traceability

92.3%

Informal Requirement Coverage

SIL:

100% Passed

Linked Test Case Results

View Details

Code Analysis

87.6%

Code Coverage (Handled Rate)

Robustness Checks (Handled Rate)

n/a

Domain Checks (Handled Rate)

n/a

User-defined Coverage (Handled Rate)

Requirement-based Testing

1. Test Execution

Global Tolerances

seat_heating_controller

Name	Kind	Data type	Resolution
LEDFeedback(1)	Output	Bool	2^0
LEDFeedback(2)	Output	Bool	2^0
LEDFeedback(3)	Output	Bool	2^0
Set_CoilTemperature	Output	UInt8	1.0
activation_conditions_met	Local	Bool	2^0

activation_condition_check

Check	Name	Kind	Data type	Resolution	Offset	Relative tolerance [%]	Absolute tolerance [Unit]	Lead tolerance [s]	Lag tolerance [s]
	ActivationCondition_write	Output	Bool	2^0	0.0	0.0	0.0	0.0	0.0
	activation_conditions_met	Local	Bool	2^0	0.0	0.0	0.0	0.0	0.0

Test Execution Results Overview

	TestCase	Length	Requirement (report base)	Scope	Folder	Result (SIL)
	test_condition_check	1		activation_condition_check	Default Test Cases	Passed
	testHeatingCycle	9	1 - Stage 1 2 - Stage 2 3 - Stage 3 4 - Turn Off Stage1_LEDFeedback Stage1_Request Stage1_TempValue Stage2_LEDFeedback Stage2_Request Stage2_TempValue Stage3_LEDFeedback Stage3_Request Stage3_TempValue TurnOff_LEDFeedback TurnOff_Request TurnOff_Value	seat_heating_controller	Default Test Cases	Passed

Detailed Execution Results (failed only)

There are no failed results.

2. Requirements Traceability

shc

Requirement ID	Description	Test Cases	Covered	Passed (SIL)
0 - CondCheck	The seat heating shall be enabled only if the seat is occupied, there's no error and the power management state reads OK. New Info!!!!	0	Not covered	n.a.
1 - Stage 1		1	Covered	100%
2 - Stage 2		1	Covered	100%
3 - Stage 3		1	Covered	100%
4 - Turn Off		1	Covered	100%
Stage1_LEDFeedback	If the first temperature stage (high) request is transmitted, all LEDs shall be turned on (1-1-1).	1	Covered	100%
Stage1_Request	If the heat button is pressed once while the activation conditions are fulfilled, the controller shall request the high temperature stage. Thabo/Matthias wills wissen!	1	Covered	100%
Stage1_TempValue	The first temperature stage (high) request shall be transmitted to the heating actuaor as a calibratable temperature value "params.high"	1	Covered	100%
Stage2_LEDFeedback	If the second temperature stage (medium) request is transmitted, the LED1 and LED2 shall be turned on.	1	Covered	100%
Stage2_Request	If the heat button is pressed twice while the activation condtions are fulfilled, the controller shall request the medium temperature stage.	1	Covered	100%
Stage2_TempValue	The second temperature stage request shall be transmitted to the heating actuaor as a calibratable temperature value "params.medium"	1	Covered	100%
Stage3_LEDFeedback	If the third temperature stage (low) request is transmitted, the LED1 shall be active while LED2 and LED3 shall be turned off.	1	Covered	100%
Stage3_Request	If the heat button is pressed three times while the activation condtions are fulfilled, the controller shall request the low temperature stage.	1	Covered	100%
Stage3_TempValue	The third temperature stage (low) request shall be transmitted to the heating actuaor as a calibratable temperature value "params.low"	1	Covered	100%
TurnOff_LEDFeedback	If the trun-off request is transmitted, all LEDs shall be turned off	1	Covered	100%
TurnOff_Request	If the heat button is pressed four times while the activation condtions are fulfilled, the controller shall request a temperature turn-off stage. Temperature == 0°C	1	Covered	100%
TurnOff_Value	The trun-off request shall be transmitted to the heating actuaor as a temperature value equal to 0°C	1	Covered	100%

3. Code Analysis

Code Coverage Statistics

	Properties	Handled		Covered
Statement (STM)	35	35	100.0%	35	100.0%	0.0%	0.0%
Decision/Branch (D)	14	12	85.7%	12	85.7%	0.0%	0.0%
Condition (C)	20	16	80.0%	16	80.0%	0.0%	0.0%
C/DC and MC/DC (MCDC)	42	36	85.7%	36	85.7%	0.0%	0.0%
Function (F)	4	4	100.0%	4	100.0%	0.0%	0.0%
Function Call (FC)	3	3	100.0%	3	100.0%	0.0%	0.0%
Switch-Case (SC)	4	4	100.0%	4	100.0%	0.0%	0.0%
Relational Operator (RO)	25	18	72.0%	18	72.0%	0.0%	0.0%

Robustness Checks Statistics

	Properties
Division By Zero (DZ)	0	n/a	n/a	n/a	n/a
Downcast (CA)	4	0.0%	0.0%	0.0%	0.0%
Array out of Bounds (AOB)	3	0.0%	0.0%	0.0%	0.0%

Domain Checks Statistics

Type	Total	Handled	Covered	Unreachable
Valid Ranges	0	n/a	n/a	n/a
Invalid Ranges	0	n/a	n/a	n/a

User-defined Coverage Goals Statistics

Type	Total	Handled	Covered	Unreachable
User-defined Coverage Goals	0	n/a	n/a	n/a