A State-Based Modeling Approach for Efficient Performance Evaluation of Embedded System Architectures at Transaction Level

Table 1

State-action table for specification of activities.

Current state	Next state		Actions
	Condition	State	Condition	Action
𝑠0	𝑀3	𝑠1	—	Cc𝐴2=0
𝑠1	𝑘<𝑁 AND 𝑡=𝑇𝑗	𝑠0	—	Cc𝐴2=Cc𝑠1
	𝑘=𝑁 AND 𝑡=𝑇𝑗	𝑠2
𝑠2	𝑡=𝑇𝑘	𝑠3	—	Cc𝐴2=Cc𝑠2
𝑠3	𝑡=𝑇𝑙	𝑠0	—	Cc𝐴2=Cc𝑠3
				𝑀4