Re: [BLACKBOX] FSM for reactive systems

From: [at]} <Marc>
Date: Fri, 5 Mar 2010 06:03:54 +0100

----boundary-LibPST-iamunique-1700169308_-_-
Content-type: text/plain

Rainer,

at Oberon microsystems, we like Miro Samek's "Practical UML Statecharts in C/C++, Second Edition":

http://www.state-machine.com/psicc2/

The book is very well written and even though it is primarily targeted towards embedded systems we are even using Samek's approach for server applications.

Kind regards,

Marc
 

> -----Original Message-----
> From: BlackBox [mailto:BLACKBOX{([at]})nowhere.xy
> Rainer Neubauer
> Sent: Donnerstag, 4. März 2010 16:05
> To: BlackBox List
> Subject: [BLACKBOX] FSM for reactive systems
>
> Hi all,
> does anybody have experience in development of software for reactive
> systems ?
> I'm looking for a concept how to implement hierarchical finite state
> machines like the ones found in statecharts developed by D. Harel.
>
> Thanks in advance for any hints, advice, ideas ...
>
> Best regards,
> Rainer
>
>
> ----
> To unsubscribe, send a message with body "SIGNOFF BLACKBOX"
> to LISTSERV{([at]})nowhere.xy
>

----
To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy----boundary-LibPST-iamunique-1700169308_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"
e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzc1xmY2hhcnNldDAgQXJpYWw7fQ0Ke1xmMVxmbW9kZXJuIENvdXJpZXIgTmV3O30NCntcZjJc
Zm5pbFxmY2hhcnNldDIgU3ltYm9sO30NCntcZjNcZm1vZGVyblxmY2hhcnNldDAgQ291cmllciBO
ZXc7fX0NCntcY29sb3J0YmxccmVkMFxncmVlbjBcYmx1ZTA7XHJlZDBcZ3JlZW4wXGJsdWUyNTU7
fQ0KXHVjMVxwYXJkXHBsYWluXGRlZnRhYjM2MCBcZjBcZnMyMCBSYWluZXIsXHBhcg0KXHBhcg0K
YXQgT2Jlcm9uIG1pY3Jvc3lzdGVtcywgd2UgbGlrZSBNaXJvIFNhbWVrJ3MgIlByYWN0aWNhbCBV
TUwgU3RhdGVjaGFydHMgaW4gQy9DKyssIFNlY29uZCBFZGl0aW9uIjpccGFyDQpccGFyDQpodHRw
Oi8vd3d3LnN0YXRlLW1hY2hpbmUuY29tL3BzaWNjMi9ccGFyDQpccGFyDQpUaGUgYm9vayBpcyB2
ZXJ5IHdlbGwgd3JpdHRlbiBhbmQgZXZlbiB0aG91Z2ggaXQgaXMgcHJpbWFyaWx5IHRhcmdldGVk
IHRvd2FyZHMgZW1iZWRkZWQgc3lzdGVtcyB3ZSBhcmUgZXZlbiB1c2luZyBTYW1laydzIGFwcHJv
YWNoIGZvciBzZXJ2ZXIgYXBwbGljYXRpb25zLlxwYXINClxwYXINCktpbmQgcmVnYXJkcyxccGFy
DQpccGFyDQpNYXJjXHBhcg0KIFxwYXINClxwYXINCj4gLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0t
LS1ccGFyDQo+IEZyb206IEJsYWNrQm94IFttYWlsdG86QkxBQ0tCT1hATElTVFMuT0JFUk9OLkNI
XSBPbiBCZWhhbGYgT2YgXHBhcg0KPiBSYWluZXIgTmV1YmF1ZXJccGFyDQo+IFNlbnQ6IERvbm5l
cnN0YWcsIDQuIE1cJ2U0cnogMjAxMCAxNjowNVxwYXINCj4gVG86IEJsYWNrQm94IExpc3RccGFy
DQo+IFN1YmplY3Q6IFtCTEFDS0JPWF0gRlNNIGZvciByZWFjdGl2ZSBzeXN0ZW1zXHBhcg0KPiBc
cGFyDQo+IEhpIGFsbCxccGFyDQo+IGRvZXMgYW55Ym9keSBoYXZlIGV4cGVyaWVuY2UgaW4gZGV2
ZWxvcG1lbnQgb2Ygc29mdHdhcmUgZm9yIHJlYWN0aXZlICBccGFyDQo+IHN5c3RlbXMgP1xwYXIN
Cj4gSSdtIGxvb2tpbmcgZm9yIGEgY29uY2VwdCBob3cgdG8gaW1wbGVtZW50IGhpZXJhcmNoaWNh
bCBmaW5pdGUgc3RhdGUgIFxwYXINCj4gbWFjaGluZXMgbGlrZSB0aGUgb25lcyBmb3VuZCBpbiBz
dGF0ZWNoYXJ0cyBkZXZlbG9wZWQgYnkgRC4gSGFyZWwuXHBhcg0KPiBccGFyDQo+IFRoYW5rcyBp
biBhZHZhbmNlIGZvciBhbnkgaGludHMsIGFkdmljZSwgaWRlYXMgLi4uXHBhcg0KPiBccGFyDQo+
IEJlc3QgcmVnYXJkcyxccGFyDQo+IFJhaW5lclxwYXINCj4gXHBhcg0KPiBccGFyDQo+IC0tLS1c
cGFyDQo+IFRvIHVuc3Vic2NyaWJlLCBzZW5kIGEgbWVzc2FnZSB3aXRoIGJvZHkgIlNJR05PRkYg
QkxBQ0tCT1giIFxwYXINCj4gdG8gTElTVFNFUlZATElTVFMuT0JFUk9OLkNIXHBhcg0KPiBccGFy
DQpccGFyDQpccGFyDQotLS0tXHBhcg0KVG8gdW5zdWJzY3JpYmUsIHNlbmQgYSBtZXNzYWdlIHdp
dGggYm9keSAiU0lHTk9GRiBCTEFDS0JPWCIgdG8gTElTVFNFUlZATElTVFN9fQBTVFJBVElWRSBH
Uk9VUA=
----boundary-LibPST-iamunique-1700169308_-_---

Received on Fri Mar 05 2010 - 06:03:54 UTC