uRTEDemo_03_Nucleo-F446RE_SystemStates_10_Model

+Requirement Model
- +Blinking LED
- +UART
+Logical Function Model
- Controller
- LED
- PC
- Button
- Blinking LED
- UART
+Software Model
- +Software
  - +Button
    - ButtonRead
    - +run_readButton
      - press_cnt
  - +LED
    - drv_LED
    - run_LED
  - +UART
- +RTE
  - +Activation Engine
    - Button Timebase
    - LED timebase
  - +Signal Layer
    - HWI LED
    - HWI_Button
    - button state
    - button_edge
    - button_cnt
    - HWO_UART
    - +Signal-Pools
      - Button
  - +System States
    - Blink
    - UART
    - +State-Handler
- +RTOS
  - Button
  - LED
  - UART
- +Linkage
  - +Output-Sections
  - +Protection-Sets
    - BaseProtection
    - UART
- +DataTypes
  - button_cnt_t
  - uRTE_boolean_t
  - uRTE_uint16_t
+Hardware Model
- +Nucelo-F446RE
  - +STM32F446RE
    - Arm® Cortex®-M4
    - main
    - +GPIO
      - PA5
      - PC13-TAMPER-RTC
    - USART
  - Button
  - LED
+Testing Model
- +Item Tests
  - (Test_128) Smoke-Test
- +Functional Tests
  - +Blinking LED
    - (Test_132) Regular blink
    - (Test_133) LED permanent ON
  - +UART
    - (Test_134) UART functional/system test

DataType

uRTE_boolean_t

This type used by uRTE internally and is avaiable for general purpose. Its save to delete this type if it is not needed.

Properties

Base
The name of this object. Certain classes of objects require this field to be unique. Please consider that this field might be used in code and thus must not contain special characters. Name	uRTE_boolean_t
The type of this object within the uRTE model Type	DataType
A descriptive text for this object. Please consider that this field might be used in code and thus must not contain special characters. Description	This type used by uRTE internally and is avaiable for general purpose. Its save to delete this type if it is not needed.
A user defined ID which can be freely chosen. Please consider that this field might be used in code and thus must not contain special characters. User-ID	DataType_96
Each object within the uRTE model has a unique ID, this is the ID for this object UID	_PRmguOTGEeylqKO1utY0Yw
configuration
Defines if this datatype is an atomic datatype. Atomic datatypes can be assigned in a single instruction and are therefore threadsafe. Atomic	true
Defines if this datatype is an primitive datatype. Primitive datatypes are known to the compiler and dont need explicit definition. Might also be used to reuse datatypes known within the build environment. Primitive	true
The initial value which is assigned to elements using this datatype but dont have an own initial value assigned Initial value	0
Is used to reference to the location of the typedefinition of an external type (a type outside of the RTE Typedef path	generated at src_rte\signals\types\uRTE_boolean_t_type.h

Software Layer

Data-Signals (3)

DataSignals using this type.

Signal	Storage	Runnables OUT	Runnables IN	Tasks	SystemStates	Requirements	miminum Age	maximum Age	Checksum	Force Sync	Inline	ISR API	effective inline	SIL required	SIL achieved	Initial value (D)	Pointer access (D)	Datatype (D)	Alt-In (D)	Alt-Out (D)	In-Driver (D)	Out-Driver (D)	OnData (D)	OnError (D)
HWI LED Hardware interface for the LED	local in .rtos.task.LED	run_LED		LED	Blink UART		0	0	false	false	false	false	false	-	QM	0	false	uRTE_boolean_t			-	drv_LED
HWI_Button Hardware interface for the button	local in .rtos.task.Button		run_readButton	Button	Blink UART		0	2	false	false	false	false	false	-	QM	false	false	uRTE_boolean_t			ButtonRead
button state A representation of the current button state	local in .rtos.task.Button .rtos.task.LED .rtos.task.UART	run_readButton	run_LED run_UART_send	Button LED UART	Blink UART	SafetyRequirement_93 - Runnable activation by signal events Requirement_95 - UART SafetyRequirement_95 - Runnable activation by cyclic events Requirement_95 - UART SafetyRequirement_96 - Inter-task communication SafetyRequirement_97 - local and global signals Requirement_95 - UART SafetyRequirement_111 - SignalLayer features Requirement_95 - UART SafetyRequirement_97 - local and global signals Requirement_95 - UART	0	105	false	false	false	false	false	SIL_1	QM	false	false	uRTE_boolean_t			-		Runnable_run_UART_send_TPortIN_1 in run_UART_send

Drivers (2)

Drivers using this type.

Unit	Parent	Function calls	other Software Elements	Technical Functions	Requirements	Type	Tasks	WCET	Stack	ROM	Globals	ProtectionSets	SIL required	SIL achieved	sub Technical Functions (R)	sub Requirements (R)	Has a return value (R)	SystemStates (R)	Ingoing Trigger Ports (R)	Outgoing Trigger Ports (R)	Ingoing Data Ports (R)	Outgoing Data Ports (R)	Signals (D)	Runnables (D)	DataType (D)	Is Synchronous (D)	Hardware (D)	Ports (G)	Callers (F)	Return Type (F)	Parameters (F)
ButtonRead Reads the current button state from hardware	Button			Blinking LED UART	SafetyRequirement_110 - Hardware Interfacing SafetyRequirement_111 - SignalLayer features Requirement_95 - UART	InDriver	Button	0	0	0			SIL_1	QM	-	-	-	-	-	-	-	-	HWI_Button	run_readButton	uRTE_boolean_t	true	PC13-TAMPER-RTC	-	-	-	-
drv_LED Hardware write-Interface towards the LED	LED			Blinking LED	SafetyRequirement_110 - Hardware Interfacing SafetyRequirement_111 - SignalLayer features Requirement_95 - UART	OutDriver	LED	0	0	0			SIL_1	QM	-	-	-	-	-	-	-	-	HWI LED	run_LED	uRTE_boolean_t	true	PA5	-	-	-	-