| Computers Forum Index » Computer - Object » Thread Synchronization with Harel Statechart... |
|
Page 1 of 1 |
|
| Author |
Message |
| Steven Woody... |
 Posted: Mon Jun 08, 2009 7:26 am |
|
|
|
Guest
|
Hi,
Does anyone here familiar with Harel state chart? I am now using it
to specifying a multi-thread system in which each thread is specified
as an orthogonal state to each other.
My problem is that the whole system has to response a reset signal
(by user pushing a button), when this happen, the system will try to
reset, but can only success if any of these concurrent running thread
is not doing critical writing operation to external flash memory.
Can anyone give me some clue on how to present this kind of behaviour
in Harel statechart?
Thanks in advance!
-
narke |
|
|
| Back to top |
|
|
|
|
