Browse files

Add historical information

  • Loading branch information...
1 parent 86cd25f commit b6cc92ed7a487d83ef0b15bf01a6a9dd18443e6b @essen essen committed Jan 4, 2013
Showing with 22 additions and 1 deletion.
  1. +22 −1
@@ -6,7 +6,28 @@ Elevator control system demonstrating Erlang/OTP upgrades.
-I will need to ninja many people to fill that one in!
+Originally written by Håkan 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 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 fulfill 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. The resulting
+architecture should still be pretty good, though.
+It has also been used to demonstrate how Quick Check can test
+elevator systems, and featured in a few academic papers.
+Thanks go to Francesco Cesarini and Håkan Huss for the historical
Quick start

0 comments on commit b6cc92e

Please sign in to comment.