View Details

Requirement-based Testing

Test Execution

All tests are passed

Requirements Traceability

All passed and covered

Code Analysis

Coverage (Handled)

88.6%

MC/DC

There are unhandled goals

Robustness (Unreachables)

n/a

Division by Zero

View Details

Back-to-Back Testing

Back-to-Back Test

All tests are passed

Code Analysis

Coverage (Handled)

100%

MC/DC

All goals are handled

Robustness (Unreachables)

n/a

Division by Zero

General Information

1. Interface

Inputs: 4

Outputs: 2

Locals: 0

Parameter: 3

2. Interface Coverage

Inputs

Interface Name (SIL)	Interface Name (TL MIL)	Macro(s)	Formal Requirement(s)	Informal Requirement(s)
Sa1_SeatOccupied	SeatOccupied
PowerMgtState	PowerMgtState
Sa1_PowerMgtState_ErrorStatus	PowerMgtState_ErrorStatus
Sa1_Get_ButtonPressed	Get_ButtonPressed

Outputs

Interface Name (SIL)	Interface Name (TL MIL)	Macro(s)	Formal Requirement(s)	Informal Requirement(s)
Sa1_LEDFeedback[0]	LEDFeedback(1)
Sa1_LEDFeedback[1]	LEDFeedback(2)
Sa1_LEDFeedback[2]	LEDFeedback(3)
Sa1_Set_CoilTemperature	Set_CoilTemperature

Locals

No interface data

Parameter

Interface Name (SIL)	Interface Name (TL MIL)	Macro(s)	Formal Requirement(s)	Informal Requirement(s)
Sa6_TemperatureRanges_MEDIUM	TemperatureRanges_MEDIUM
Sa6_TemperatureRanges_LOW	TemperatureRanges_LOW
Sa6_TemperatureRanges_HIGH	TemperatureRanges_HIGH

3. Meta Information

General

Property	Value
Operating System	Windows 11 amd64 10.0
Tool Version	25.3p0
Profile Creator	developer
Profile Creation Date	2026-03-09 13:03:00
Profile Modifier	developer
Profile Modification Date	2026-03-09 16:05:00
Profile Path	C:\actions-runner\_work\requirements-based-testing\requirements-based-testing\test\seat_heating_controller.epx

Architectures

TargetLink

Property	Value
Creator	developer
Import Date	2026-03-09 16:08:06
Matlab Version	Matlab 24.2 (R2024b)
Simulink Version	Simulink 24.2 (R2024b)
TargetLink Version	TargetLink 24.1
Model Creation Date	2022-04-07 09:55:28
Model Version	10.2
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	BLACK_BOX
Adaptive AUTOSAR	false

C-Code

Property	Value
Creator	developer
Import Date	2026-03-09 16:08:08
Matlab Version	Matlab 24.2 (R2024b)
Simulink Version	Simulink 24.2 (R2024b)
TargetLink Version	TargetLink 24.1
Model Creation Date	2022-04-07 09:55:28
Model Version	10.2
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	(Internal) MinGW 64 Compiler (C) (8.1.0)
Compliance Mode	C99
Flush-to-Zero Status	Deactivated

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, button_press_to_temp_stage, output_calculation

Execution Modes

TL MIL

Property	Value
Creator	developer
Import Date	2026-03-09 16:08:06
Matlab Version	Matlab 24.2 (R2024b)
Simulink Version	Simulink 24.2 (R2024b)
TargetLink Version	TargetLink 24.1
Model Creation Date	2022-04-07 09:55:28
Model Version	10.2
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	BLACK_BOX
Adaptive AUTOSAR	false

SIL

Property	Value
Creator	developer
Import Date	2026-03-09 16:08:08
Matlab Version	Matlab 24.2 (R2024b)
Simulink Version	Simulink 24.2 (R2024b)
TargetLink Version	TargetLink 24.1
Model Creation Date	2022-04-07 09:55:28
Model Version	10.2
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	(Internal) MinGW 64 Compiler (C) (8.1.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	2026-03-09
Name column	Title
Port	80
Project URL	http://polarion03.prom.local/polarion/redirect/project/shc
Work Item Types	Requirement

4. Messages

Message	Severity	Origin
Some report extensions are not included.	Information
Scope "seat_heating_controller" skipped for engine "CV" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Scope "Sa2_activation_condition_check" skipped for engine "CV" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Scope "Sa3_button_press_to_temp_stage" skipped for engine "CV" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Scope "Sa4_output_calculation" skipped for engine "CV" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Scope "Sa4_output_calculation" skipped for engine "ATG" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Scope "Sa3_button_press_to_temp_stage" skipped for engine "ATG" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Scope "Sa2_activation_condition_check" skipped for engine "ATG" and metric "Code Coverage" as coverage threshold 100% already reached.	Information
Updating architectures successful.	Information
Default Compiler has been updated to MinGW64 Compiler (C) (8.1.0)	Information
C-Code architecture "seat_heating_controller [C-Code]" has successfully been imported.	Information	seat_heating_controller [C-Code]
TargetLink architecture "seat_heating_controller" has successfully been imported.	Information	seat_heating_controller
Compiler Setup "mingw64 compiler (c) (8.1.0)" from Matlab is not supported in EP.	Warning
Inlined function "seat_heating_controller/seat_heating_controller/Subsystem/seat_heating_controller/output_calculation/Subsystem" is removed from subsystem hierarchy. Inlined functions cannot be analysed separately.	Information
Inlined function "seat_heating_controller/seat_heating_controller/Subsystem/seat_heating_controller/button_press_to_temp_stage/convert_to_stage" is removed from subsystem hierarchy. Inlined functions cannot be analysed separately.	Information
Test Case 'heating_cycle' has been successfully imported from 'C:\actions-runner\_work\requirements-based-testing\requirements-based-testing\test\seat_heating_controller_btcdata\testcases\heating_cycle.tc.json'	Information
Requirement with name '0 - CondCheck' has been imported.	Information	0 - CondCheck
Requirement with name 'Stage3_TempValue' has been imported.	Information	Stage3_TempValue
Requirement with name 'Stage3_LEDFeedback' has been imported.	Information	Stage3_LEDFeedback
Requirement with name 'Stage3_Request' has been imported.	Information	Stage3_Request
Requirement with name '3 - Stage 3' has been imported.	Information	3 - Stage 3
Requirement with name 'TurnOff_Value' has been imported.	Information	TurnOff_Value
Requirement with name 'TurnOff_LEDFeedback' has been imported.	Information	TurnOff_LEDFeedback
Requirement with name 'TurnOff_Request' has been imported.	Information	TurnOff_Request
Requirement with name '4 - Turn Off' has been imported.	Information	4 - Turn Off
Requirement with name 'Stage2_Request' has been imported.	Information	Stage2_Request
Requirement with name 'Stage2_TempValue' has been imported.	Information	Stage2_TempValue
Requirement with name 'Stage2_LEDFeedback' has been imported.	Information	Stage2_LEDFeedback
Requirement with name '2 - Stage 2' has been imported.	Information	2 - Stage 2
Requirement with name 'Stage1_Request' has been imported.	Information	Stage1_Request
Requirement with name 'Stage1_TempValue' has been imported.	Information	Stage1_TempValue
Requirement with name 'Stage1_LEDFeedback' has been imported.	Information	Stage1_LEDFeedback
Requirement with name '1 - Stage 1' has been imported.	Information	1 - Stage 1
Test Macro 'system_active' has been successfully imported from 'file:/C:/actions-runner/_work/requirements-based-testing/requirements-based-testing/test/seat_heating_controller_btcdata/testcases/system_active.tcm.json'	Information
Simulink architecture "seat_heating_controller" has successfully been imported.	Information	seat_heating_controller
Default Compiler has been set to (Internal) MinGW 64 Compiler (C) (8.1.0)	Information
Default Compiler has been set to (Internal) MinGW 64 Compiler (C) (8.1.0)	Information
Default Compiler has been set to (Internal) MinGW 64 Compiler (C) (8.1.0)	Information

View Details

Test Execution

TL MIL:		100% Passed
SIL:		100% Passed

View Details

Requirements Traceability

100%

Informal Requirement Coverage

TL MIL:		100% Passed
SIL:		100% Passed

Linked Test Case Results

View Details

Code Analysis

89%

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_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

button_press_to_temp_stage

Check	Name	Kind	Data type	Resolution	Offset	Relative tolerance [%]	Absolute tolerance [Unit]	Lead tolerance [s]	Lag tolerance [s]
	TemperatureStage_write	Output	UInt8	1.0	0.0	0.0	0.0	0.0	0.0

output_calculation

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

Test Execution Results Overview

	TestCase	Length	Requirement (report base)	Scope	Folder	Result (TL MIL)	Result (SIL)
	heating_cycle	24	0 - CondCheck 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	Passed

Detailed Execution Results (failed only)

There are no failed results.

2. Requirements Traceability

shc

Requirement ID	Description	Test Cases	Covered	Passed (TL MIL)	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!!!!	1	Covered	100%	100%
1 - Stage 1		1	Covered	100%	100%
2 - Stage 2		1	Covered	100%	100%
3 - Stage 3		1	Covered	100%	100%
4 - Turn Off		1	Covered	100%	100%
Stage1_LEDFeedback	If the first temperature stage (high) request is transmitted, all LEDs shall be turned on (1-1-1).	1	Covered	100%	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%	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%	100%
Stage2_LEDFeedback	If the second temperature stage (medium) request is transmitted, the LED1 and LED2 shall be turned on.	1	Covered	100%	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%	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%	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%	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%	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%	100%
TurnOff_LEDFeedback	If the trun-off request is transmitted, all LEDs shall be turned off	1	Covered	100%	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%	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%	100%

3. Code Analysis

Code Coverage Statistics

	Properties	Handled		Covered
Statement (STM)	42	42	100.0%	42	100.0%	0.0%	0.0%
Decision/Branch (D)	16	14	87.5%	14	87.5%	0.0%	0.0%
Condition (C)	20	17	85.0%	17	85.0%	0.0%	0.0%
C/DC and MC/DC (MCDC)	44	39	88.6%	39	88.6%	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)	30	22	73.3%	22	73.3%	0.0%	0.0%

Robustness Checks Statistics

	Properties
Division By Zero (DZ)	0	n/a	n/a	n/a	n/a
Downcast (CA)	2	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

View Details

Back-to-Back Test

TL MIL vs SIL

100.0% Passed

View Details

Code Analysis

96.6%

Code Coverage (Handled Rate)

Robustness Checks (Handled Rate)

n/a

Domain Checks (Handled Rate)

n/a

User-defined Coverage (Handled Rate)

Back-to-Back Testing

1. Back-to-Back Test

Test Results Overview

Name	Scopes	Status
TL MIL vs SIL	seat_heating_controller	Passed

TL MIL vs SIL

Comparison Results

	Name	Length	Result
#1	: TL MIL_heating_cycle : SIL_heating_cycle	24	Passed
#2	: TL MIL_SV_ATG_1 : SIL_SV_ATG_1	6	Passed

Tolerance Definitions

Name	Kind	Data Type	Resolution	Rel. Tolerance
ActivationCondition_write	Output	Bool	2^0	0.0%
CoilTemperature	Output	UInt8	1.0	0.0%
LEDFeedback(1)	Output	Bool	2^0	0.0%
LEDFeedback(1)	Output	Bool	2^0	0.0%
LEDFeedback(2)	Output	Bool	2^0	0.0%
LEDFeedback(2)	Output	Bool	2^0	0.0%
LEDFeedback(3)	Output	Bool	2^0	0.0%
LEDFeedback(3)	Output	Bool	2^0	0.0%
Set_CoilTemperature	Output	UInt8	1.0	0.0%
TemperatureStage_write	Output	UInt8	1.0	0.0%

Execution Record Comparisons

There are no failed results.

2. Code Analysis

Code Coverage Statistics

	Properties	Handled		Covered
Statement (STM)	42	42	100.0%	42	100.0%	0.0%	0.0%
Decision/Branch (D)	16	16	100.0%	16	100.0%	0.0%	0.0%
Condition (C)	20	20	100.0%	20	100.0%	0.0%	0.0%
C/DC and MC/DC (MCDC)	44	44	100.0%	44	100.0%	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)	30	26	86.7%	26	86.7%	0.0%	0.0%

Robustness Checks Statistics

	Properties
Division By Zero (DZ)	0	n/a	n/a	n/a	n/a
Downcast (CA)	2	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