Project

General

Profile

Actions

Task #5590

closed

[efsm][extraction] implement an EFSM initial state & 'reset' signal heuristics

Added by Sergey Smolov about 9 years ago. Updated about 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
01/28/2015
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
20150307

Description

The heuristic approach of detection the EFSM initial state and the 'reset' signal should be implemented.

If there is a guarded action G -> A, and:

1) x is clock-like variable, which:

a) x belongs to Events(G);
b) if x belongs to Use(G) then {x} = Use(G) or Use(G) = null.
2) A consists of assignments of y := c, where c is constant.

Then guarded action leads to initial state, and x is reset.

Actions #1

Updated by Sergey Smolov about 9 years ago

  • Status changed from New to Open
Actions #2

Updated by Sergey Smolov about 9 years ago

  • Subject changed from [efsm][extraction] implement an EFSM inital state & 'reset' signal heuristics to [efsm][extraction] implement an EFSM initial state & 'reset' signal heuristics
Actions #3

Updated by Sergey Smolov about 9 years ago

  • Status changed from Open to Resolved
  • % Done changed from 0 to 100
  • Published in build set to r1505
Actions #4

Updated by Sergey Smolov about 9 years ago

  • Status changed from Resolved to Closed
  • Published in build changed from r1505 to 20150307
Actions

Also available in: Atom PDF