Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 352853

Summary: allow data driven state machines
Product: [Modeling] eTrice Reporter: Henrik Rentz-Reichert <hrr>
Component: CoreAssignee: Project Inbox <etrice.core-inbox>
Status: CLOSED FIXED QA Contact:
Severity: enhancement    
Priority: P3 Flags: hrr: indigo+
Version: 0.1.0   
Target Milestone: ---   
Hardware: PC   
OS: Windows 7   
Whiteboard: 0.1.0

Description Henrik Rentz-Reichert CLA 2011-07-22 08:21:34 EDT 
eTrice supports event driven state machines.

But there are many embedded applications which employ data driven state machines. The state machine is called on a periodic base and trigger conditions are evaluated using data.

So the language should distinguish those two kinds using a keyword, e.g.
[data_driven] StateMachine

In data driven state machines the TriggeredTransitions would have to be replaced with GuardedTransitions (can be checked by validation)

For data driven state machines the generator model construction will need a second algorithm to collect triggering transitions (in this case guarded ones).
Comment 1 Henrik Rentz-Reichert CLA 2011-08-01 01:49:40 EDT 
introduced with
ac22bffec20d960c48cb76c97b9c12d8465657b5
Comment 2 Henrik Rentz-Reichert CLA 2011-12-16 02:45:38 EST 
closed resolved bug