COMP 522 – Modelling and Simulation Project Presentation Project Title: Use the multi-formalism modelling and simulation tool Ptolemy II to study a personalized rapid transportation system Presented by: Onur DUMAN onur.duman@mail.mcgill.ca Motivation • Project was done using multi modelling and formalism tool Ptolemy II • Transportation System : Trains which are travelling between terminals. • Both time concept and event concept are taken into account during modelling Motivation(2) • Usage of “Modal Model” feature of Ptolemy II • Simulation will be done by getting a trace of locations that the train has passed • State of train is mainly dependent on location of train Proposal/Requirements • Four trains and six stations. • Each train has an initial location given at the start • Train can depart if there is no train 100 yards front of the train Proposal/Requirements(2) • Train will go with its maximum speed unless there is another train within 80 yards after the train • Trains follow a circular track • Each train has a passenger button Proposal/Requirements(3) • If train stops at a station, it will wait 90 seconds before the next departure. • If there are no trains within 100 yards of the train, it will depart DesingAndModels • Both Statecharts and Block Diagrams are used • Firstly, simple functional blocks, which will be used for complicated tasks are modeled DesignAndModels(2) TrainDistanceComparator DesignAndModels(3) TrainComparisonUnit DesignAndModels(4) ComparisonUnitForShortDistance DesignAndModels(5) TerminalDistanceAndNumber DesignAndModels(6) - TrainModel DesignAndModels(7) - TrainFunction DesignAndModels(8) - TrainRunning DesignAndModels(9) – A Simple Delay DesignAndModels(10) – Operation for Passenger Button DesignAndModel11 - CompleteModel Implementation • Performed using Ptolemy II tool • Each model discussed above is implemented as a seperate file instead of simple units: So, 6 XML Files: – – – – – – completeTrainModel.xml terminalDistanceAndNumber.xml trainComparisonUnit.xml trainDistanceComparison.xml trainModel.xml trainShortDistanceComparison.xml Experiments • Two experimental configurations: – Firstly, train initially at position 195, it is scheduled to stop at station 4, but a passenger requests to stop at station 1 by pushing the button but after stopping for 90 seconds, train can not continue because there is another train at 300( stopped train is at 200) Experiments(2) Experiments(3) • Outputs: Train Locations : 196 197 198 199 200 200 200 200 200 200 200 Train Next Stations: 4 4 4 1 1 1 1 1 1 1 ( at fourth iteration a passenger requested to stop at station 1( nearest station) ) Experiments(4) • Train is at location 195 initially, stops at station located at 200, and after stopping continues its travel because there is no train after 100 yards from the train. Experiments(5) Experiments(6) • Output: Train Locations : 196 197 198 199 200 200 200 201 202 203 (After stopping at station 1, train can continue its travel) Train Next Stations: 0 0 0 1 1 1 1 1 1 1 ( at fourth iteration a passenger requested to stop at station 1( nearest station) ) Conclusion • Study of public transportation system using Ptolemy II • Trains travel counterclockwise and if there is a passenger is going to get off at the next station, the train stops at the station • Train maintains its speed according to its distance to the train in front of it Conclusion(2) • State of the train and variables of the train( location and next station) change according to location of train and calculations done according to locations of all the trains • Delay was introduced in order to simulate stop at station Live Demo • A demo of experiment 1 and experiment 2 References • Transportation System inspired from the article: – Executable Object Modelling with Statecharts http://ieeexplore.ieee.org/iel1/2/13072/00596624. pdf?isNumber=13072 • Ptolemy II Documentation and Tutorials: – http://ptolemy.berkeley.edu/ptolemyII/ Thanks for Listening • Any questions? • Any comments?