We are looking into modelling the artificial pancreas algorithm with the Telelogic Statemate application. This would allow a simulation and demonstration of the algorithm, and give an opportinity for non-engineer types to play with the algorithm and get a feel for its features.
More later.