Inputs: 4 Outputs: 2 Locals: 1 Parameter: 3

General

Property	Value
Operating System	Linux amd64 6.8.0-47-generic
Tool Version	24.3p0
Profile Creator	developer
Profile Creation Date	2024-12-03 11:03:34
Profile Modifier	matlab
Profile Modification Date	2024-12-03 13:17:39
Profile Path	/workdir/test/seat_heating_control.epp

Architectures

Simulink

C-Code

Constants

Property	Value
-Infinity	-Infinity
Infinity	Infinity
NaN	NaN
RTE_OK	0

Report Base

Property	Value
Scope	Wrapper_seat_heating_control
Child Scopes	runa1_sys, runa2_sys, runa3_sys

Execution Modes

SL MIL

Property	Value
Creator	developer
Import Date	2024-12-03 16:37:20
Matlab Version	Matlab 23.2 (R2023b)
Simulink Version	Simulink 23.2 (R2023b)
Model Creation Date	2024-08-07 14:34:55
Model Version	1.1
Model File	file:/workdir/model/Wrapper_seat_heating_control.slx
Init Script	file:/workdir/model/init_Wrapper_seat_heating_control.m
Additional Model Information
Parameters	ON
Visibility	GREY_BOX
ReuseExistingCode	false

SIL

Property	Value
Creator	matlab
Import Date	2024-12-03 16:37:21
Source Code Files	/tmp/btc_temp_root/42-a7a-f/csourcecollect-results/Da/seat_heating_control.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D7/Rte_SeatHeatControl.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D6/seat_heating_control_ep_rte_stub.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D2/Mock_HeatingActivate_SetHeatingCoil.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D2/Mock_HeatingRequest_GetButtonPressed.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D2/Rte_Call_SeatHeatControl_HeatingActivate_SetHeatingCoil.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D2/Rte_Call_SeatHeatControl_HeatingRequest_GetButtonPressed.c /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D2/Wrapper_seat_heating_control.c
Include Paths	/tmp/btc_temp_root/42-a7a-f/csourcecollect-results /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/Dd /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/Dc /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/Db /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D9 /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D8 /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D5 /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D3 /tmp/btc_temp_root/42-a7a-f/csourcecollect-results/D1
Pre-Processor Definitions
Host Compiler	gcc (11)
Compliance Mode	C99
Flush-to-Zero Status	Deactivated

Natural Language Requirements

shc

	Message	Severity	Origin
	Some report extensions are not included.	Information
	Host compiler is configured to generate 64 bit binaries, model checking employs 32 bit semantics.	Warning
	The integer kind for wchar_t in the target configuration is not supported. The value is ignored. The integer kind for wchar_t in the target configuration is not supported. The value is ignored.	Warning
	"/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Db/rtwtypes.h", line 47: warning: last line of file ends without a newline #endif /* RTWTYPES_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnotation.c", line 805: warning: integer conversion resulted in a change of sign if ((left - right) == -1) obs->prop3 = 1; ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnota tion.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnotation.c", line 1085: warning: integer conversion resulted in a change of sign if ((left - right) == -1) obs->prop3 = 1; ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnota tion.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnotation.c", line 1365: warning: integer conversion resulted in a change of sign if ((left - right) == -1) obs->prop3 = 1; ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnota tion.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnotation.c", line 1643: warning: integer conversion resulted in a change of sign if ((left - right) == -1) obs->prop3 = 1; ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnota tion.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnotation.c", line 1920: warning: integer conversion resulted in a change of sign if ((left - right) == -1) obs->prop3 = 1; ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnota tion.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnotation.c", line 2197: warning: integer conversion resulted in a change of sign if ((left - right) == -1) obs->prop3 = 1; ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/anno/CodeAnnota tion.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Db/rtwtypes.h", line 47: warning: last line of file ends without a newline #endif /* RTWTYPES_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingRequest_GetButtonPressed.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Db/rtwtypes.h", line 47: warning: last line of file ends without a newline #endif /* RTWTYPES_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Mock_H eatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Db/rtwtypes.h", line 47: warning: last line of file ends without a newline #endif /* RTWTYPES_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D7/seat_h eating_control_ep_rte_stub.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D7/seat_h eating_control_ep_rte_stub.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D7/seat_h eating_control_ep_rte_stub.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Db/rtwtypes.h", line 47: warning: last line of file ends without a newline #endif /* RTWTYPES_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D8/Rte_Se atHeatControl.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D8/Rte_Se atHeatControl.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Db/rtwtypes.h", line 47: warning: last line of file ends without a newline #endif /* RTWTYPES_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c" "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/Dd/Rte_Type.h", line 12: warning: last line of file ends without a newline #endif /* BTC_EP_EXTENSION_RTE_TYPE_H */ ^ detected during compilation of secondary translation unit "/tmp/ep/workdir/profiles/42-a7a-c/md/12697/model/D3/Rte_Ca ll_SeatHeatControl_HeatingActivate_SetHeatingCoil.c"	Warning
	Host compiler is configured to generate 64 bit binaries, model checking employs 32 bit semantics.	Warning
	The integer kind for wchar_t in the target configuration is not supported. The value is ignored.	Warning
	No coverage goals selected for automatic stimuli vector generation for scope "runa1".	Information
	No coverage goals selected for automatic stimuli vector generation for scope "runa2".	Information
	No coverage goals selected for automatic stimuli vector generation for scope "runa3".	Information
	No coverage goals selected for automatic stimuli vector generation for scope "runa3".	Information
	No coverage goals selected for automatic stimuli vector generation for scope "runa2".	Information
	No coverage goals selected for automatic stimuli vector generation for scope "runa1".	Information
	The Simulink property "DefaultParameterBehavior" is set to the value "Tunable" in the extraction model.	Information
	Updating architectures successful.	Information
	C-Code architecture "Wrapper_seat_heating_control [C-Code]" has successfully been imported.	Information	Wrapper_seat_heating_control [C-Code]
	Simulink architecture "Wrapper_seat_heating_control" has successfully been imported.	Information	Wrapper_seat_heating_control
	Default Compiler has been set to gcc (11)	Information
	[PARAM] interface "P_IDT_Temperature" of scope "Wrapper_seat_heating_control/seat_heating_control/seat_heating_control/runa3_sys": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_ButtonStatus" of scope "Wrapper_seat_heating_control/seat_heating_control/seat_heating_control/runa2_sys": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_Temperature" of scope "Wrapper_seat_heating_control": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_ButtonStatus" of scope "Wrapper_seat_heating_control": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	Source file rt_main.c has been ignored in c-code architecture as specified in hook functions.	Information
	Some report extensions are not included.	Information
	Architecture update not necessary.	Information
	Some report extensions are not included.	Information
	The Simulink property "DefaultParameterBehavior" is set to the value "Tunable" in the extraction model.	Information
	Updating architectures successful.	Information
	C-Code architecture "Wrapper_seat_heating_control [C-Code]" has successfully been imported.	Information	Wrapper_seat_heating_control [C-Code]
	Simulink architecture "Wrapper_seat_heating_control" has successfully been imported.	Information	Wrapper_seat_heating_control
	Default Compiler has been set to gcc (11)	Information
	[PARAM] interface "P_IDT_Temperature" of scope "Wrapper_seat_heating_control/seat_heating_control/seat_heating_control/runa3_sys": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_ButtonStatus" of scope "Wrapper_seat_heating_control/seat_heating_control/seat_heating_control/runa2_sys": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_Temperature" of scope "Wrapper_seat_heating_control": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_ButtonStatus" of scope "Wrapper_seat_heating_control": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	Source file rt_main.c has been ignored in c-code architecture as specified in hook functions.	Information
	Architecture update check: Update is required. See hints for more details.	Information
	The opened profile was created with a different operating system. An architecture update is required!	Critical
	Removed invalid profile compiler 'MinGW64 Compiler (C) (8.1.0)'.	Critical
	The opened profile was created with a different operating system. An architecture update is required!	Critical
	Some report extensions are not included.	Information
	Architecture update not necessary.	Information
	Error during evaluation of user-defined command for use case 'ARCH_UPDATE_NEEDED'	Error
	Error during evaluation of user-defined command for use case 'EP_ADD_META_INFO'	Error
	The Simulink property "DefaultParameterBehavior" is set to the value "Tunable" in the extraction model.	Information
	Updating architectures successful.	Information
	C-Code architecture "Wrapper_seat_heating_control [C-Code]" has successfully been imported.	Information	Wrapper_seat_heating_control [C-Code]
	Simulink architecture "Wrapper_seat_heating_control" has successfully been imported.	Information	Wrapper_seat_heating_control
	Default Compiler has been set to MinGW64 Compiler (C) (8.1.0)	Information
	[PARAM] interface "P_IDT_Temperature" of scope "Wrapper_seat_heating_control/seat_heating_control/seat_heating_control/runa3_sys": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_ButtonStatus" of scope "Wrapper_seat_heating_control/seat_heating_control/seat_heating_control/runa2_sys": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_Temperature" of scope "Wrapper_seat_heating_control": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	[PARAM] interface "P_IDT_ButtonStatus" of scope "Wrapper_seat_heating_control": Code representation cannot be analyzed: Signal object Class or Storage Class or Storage Class Attribute is not supported.	Warning
	Source file rt_main.c has been ignored in c-code architecture as specified in hook functions.	Information

Global Tolerances

Test Execution Results Overview

	TestCase	Length	Requirement (report base)	Scope	Folder	Result (SL MIL)	Result (SIL)
	Condition Check	8	0 - CondCheck	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	Stage1_LEDs	7	1 - Stage 1 Stage1_LEDFeedback	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	Stage1_Request	7	1 - Stage 1 Stage1_Request Stage1_TempValue	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	Stage2_LEDs	12	2 - Stage 2 Stage2_LEDFeedback	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	Stage2_Request	12	2 - Stage 2 Stage2_Request Stage2_TempValue	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	Stage3_LEDs	17	3 - Stage 3 Stage3_LEDFeedback	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	Stage3_Request	17	3 - Stage 3 Stage3_Request Stage3_TempValue	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	TurnOFF_LEDs	23	4 - Turn Off TurnOff_LEDFeedback	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed
	TurnOff_Request	22	4 - Turn Off TurnOff_Request TurnOff_Value	Wrapper_seat_heating_control	Default Test Cases	Passed	Passed

Detailed Execution Results (failed only)

shc

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

Code Coverage Statistics

	Properties	Handled		Covered		Unreachable (n/inf)		Justified
Statement (STM)	56	56	100.0%	56	100.0%	0	0.0%	0	0.0%
Decision/Branch (D)	26	26	100.0%	22	84.6%	4	15.4%	0	0.0%
Condition (C)	20	20	100.0%	20	100.0%	0	0.0%	0	0.0%
C/DC and MC/DC (MCDC)	54	54	100.0%	50	92.6%	4	7.4%	0	0.0%
Function (F)	4	4	100.0%	4	100.0%	0	0.0%	0	0.0%
Function Call (FC)	19	19	100.0%	19	100.0%	0	0.0%	0	0.0%
Switch-Case (SC)	4	4	100.0%	4	100.0%	0	0.0%	0	0.0%
Relational Operator (RO)	60	42	70.0%	42	70.0%	0	0.0%	0	0.0%

Robustness Checks Statistics

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

Domain Checks Statistics

User-defined Coverage Goals Statistics

Test Results Overview

Name	Scopes	Status
SL MIL vs SIL	Wrapper_seat_heating_control	Passed

SL MIL vs SIL

Code Coverage Statistics

	Properties	Handled		Covered		Unreachable (n/inf)		Justified
Statement (STM)	56	56	100.0%	56	100.0%	0	0.0%	0	0.0%
Decision/Branch (D)	26	26	100.0%	22	84.6%	4	15.4%	0	0.0%
Condition (C)	20	20	100.0%	20	100.0%	0	0.0%	0	0.0%
C/DC and MC/DC (MCDC)	54	54	100.0%	50	92.6%	4	7.4%	0	0.0%
Function (F)	4	4	100.0%	4	100.0%	0	0.0%	0	0.0%
Function Call (FC)	19	19	100.0%	19	100.0%	0	0.0%	0	0.0%
Switch-Case (SC)	4	4	100.0%	4	100.0%	0	0.0%	0	0.0%
Relational Operator (RO)	60	42	70.0%	42	70.0%	0	0.0%	0	0.0%

Robustness Checks Statistics

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

Domain Checks Statistics

User-defined Coverage Goals Statistics