From: Simon Wright <simon@pushface.org>
Subject: Re: References on encoding (Hierarchical) State Machines / Automata in Ada?
Date: Wed, 13 Feb 2013 18:05:57 +0000
Date: 2013-02-13T18:05:57+00:00 [thread overview]
Message-ID: <lypq04qebe.fsf@pushface.org> (raw)
In-Reply-To: f08d034b-33b1-4c19-b16c-b1183ce9f448@googlegroups.com
david.mentre@gmail.com writes:
> Hello,
>
> Would somebody have references on the encoding of State Machines or
> Hierarchical State Machines in Ada?
>
> [...] The application domain is safety critical systems with real time
> constraints (timers).
There was a paper at an Ada UK conference a while back - the idea was
machine verification of hand-coded state charts; turned out that the
implementers didn't understand the state machines the way the designers
had intended, and they got them wrong anyway.
So I'd be reluctant to see hierarchical state machines used in
safety-related software; the simpler the better.
On the other hand, if you don't allow HSMs you will have separate
cooperating state machines; also tricky to reason about.
next prev parent reply other threads:[~2013-02-13 18:05 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-21 10:42 References on encoding (Hierarchical) State Machines / Automata in Ada? david.mentre
2013-02-13 15:30 ` Eryndlia Mavourneen
2013-02-13 16:02 ` rrr.eee.27
2013-02-13 18:05 ` Simon Wright [this message]
2013-02-13 20:25 ` Jeffrey Carter
2013-02-13 22:28 ` Simon Wright
2013-02-14 8:34 ` Dmitry A. Kazakov
2013-02-14 0:00 ` jpwoodruff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox