[erlang-questions] Elevator demo
Fri Jan 4 14:09:22 CET 2013
On 01/04/2013 09:28 AM, Håkan Huss wrote:
> On Wed, Jan 2, 2013 at 6:14 PM, Francesco Cesarini
> <francesco@REDACTED> wrote:
>> The Elevator example was implemented by Hakan Huss in the late 90s at Erlang
>> Systems. It was part of the 5-day Erlang Literacy course aimed at test and
>> support staff of the GPRS project. It has been used to demonstrate how Quick
>> Check can test elevator systems, and featured in a few academic papers.
> I haven't looked at the code or the course material in the last ten
> years, nor do I have it available in any readable format. (I may have
> a course binder in a box somewhere in the attic, but I think I threw
> away the floppies containing the course setup a couple of years ago
> when I realized I didn't have a floppy disk reader any more :-) So all
> of the following is very much IIRC.
> Just to add a bit more of background: the elevator example was used as
> a lab exercise in several parts of the course to practise different
> topics such as behaviours, supervisors, release handling, etc. The
> first exercise using the elevator example was the mentioned "bug" that
> the elevator always stopped at every floor (it is actually not a bug,
> but an elevator scheduler which is trivially guaranteed to fulfil the
> requirements on elevator scheduling used in the example). Several
> refinements of the scheduling were made in the course lab exercises.
> Since the purpose of the exercise was to use many different aspects of
> Erlang and OTP, the code has been written to use many behaviours
> rather than to be the "best" solution for the problem. I still think
> that the resulting architecture is pretty ok.
I've added both your comments to the README. Thanks a lot!
More information about the erlang-questions