From: david.mentre@gmail.com
Subject: References on encoding (Hierarchical) State Machines / Automata in Ada?
Date: Mon, 21 Jan 2013 02:42:17 -0800 (PST)
Date: 2013-01-21T02:42:17-08:00 [thread overview]
Message-ID: <f08d034b-33b1-4c19-b16c-b1183ce9f448@googlegroups.com> (raw)
Hello,
Would somebody have references on the encoding of State Machines or Hierarchical State Machines in Ada?
I am looking for best practices for such encoding (reasonable efficiency, safe encoding) or pointer to publicly available reference code. The application domain is safety critical systems with real time constraints (timers).
For now, I have found "Implementation of state machines with tasks and protected objects" (Ada User Journal 20:4 (Jan 2000), 273-288).
Moreover, I am strongly interested in the formal verification of such machines using SPARK or GNATprove tools. So if somebody is aware of research work on automata in Ada with such tools, I would be very interested in them.
Sincerely yours,
D. Mentré
next reply other threads:[~2013-01-21 10:42 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-21 10:42 david.mentre [this message]
2013-02-13 15:30 ` References on encoding (Hierarchical) State Machines / Automata in Ada? Eryndlia Mavourneen
2013-02-13 16:02 ` rrr.eee.27
2013-02-13 18:05 ` Simon Wright
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