Density doc

download Density doc

of 108

Transcript of Density doc

  • 8/13/2019 Density doc

    1/108

    Author: kiran Document1

    _______________________________________________________________

    Project: DBStrafficControlSystem

    DBStrafficControlSystem.rpy

    12/30/2013

  • 8/13/2019 Density doc

    2/108

    2

    Table of Contents

    1. Object Model Diagram Information .......................................................... 171.1 Object Model Diagram name: Model1 ...................................................................... 171.2 Object Model Diagram name: DBSphaseTraffic ..................................................... 171.3 Object Model Diagram name: density model .......................................................... 171.4 Object Model Diagram name: densitytrafficcomposite .......................................... 181.5 Object Model Diagram name: timebasedtrafficmodel ............................................ 191.6 Object Model Diagram name: Timebasedtrafficsysdiagram ................................. 20

    2. Components Information .......................................................................... 202.1 Component Name:DefaultComponent ..................................................................... 20

    2.1.1 Configuration information for Component: DefaultComponent................................ 202.1.1.1 DefaultConfig Configuration ............................................................................ 202.1.1.2 DbsDebug Configuration ................................................................................. 212.1.1.3 Densitydebug Configuration ............................................................................ 212.1.1.4 Timetrafficdebug Configuration ....................................................................... 21

    2.1.2 File information for Component: DefaultComponent ............................................... 222.1.2.1 Files ................................................................................................................. 22

    2.1.3 Panel Diagram Information ...................................................................................... 222.1.3.1 Panel Diagram name: DBSTrafficControlSystem ........................................... 222.1.3.2 Panel Diagram name: densitytrafficpanneldiagram ........................................ 232.1.3.3 Panel Diagram name: timetrafficPannelDiagram ............................................ 24

    3. Package Information ................................................................................. 253.1 Package: Default ........................................................................................................ 25

    3.1.1 Class Information for Package: Default ................................................................... 253.1.1.1 Class name: DBSController ............................................................................ 25

    3.1.1.1.1 Attribute Information for Class: DBSController.......................................... 253.1.1.1.1.1 Attribute Name: r1ab ........................................................................... 253.1.1.1.1.2 Attribute Name: y1ab .......................................................................... 263.1.1.1.1.3 Attribute Name: g1ab .......................................................................... 263.1.1.1.1.4 Attribute Name: r1ac ........................................................................... 263.1.1.1.1.5 Attribute Name: y1ac .......................................................................... 263.1.1.1.1.6 Attribute Name: g1ac .......................................................................... 263.1.1.1.1.7 Attribute Name: r1ad ........................................................................... 263.1.1.1.1.8 Attribute Name: y1ad .......................................................................... 263.1.1.1.1.9 Attribute Name: g1ad .......................................................................... 273.1.1.1.1.10 Attribute Name: r2bc ......................................................................... 273.1.1.1.1.11 Attribute Name: y2bc ........................................................................ 273.1.1.1.1.12 Attribute Name: g2bc ........................................................................ 273.1.1.1.1.13 Attribute Name: r2bd ......................................................................... 273.1.1.1.1.14 Attribute Name: y2bd ........................................................................ 273.1.1.1.1.15 Attribute Name: g2bd ........................................................................ 283.1.1.1.1.16 Attribute Name: r2ba ......................................................................... 283.1.1.1.1.17 Attribute Name: y2ba ........................................................................ 283.1.1.1.1.18 Attribute Name: g2ba ........................................................................ 283.1.1.1.1.19 Attribute Name: r3cd ......................................................................... 283.1.1.1.1.20 Attribute Name: y3cd ........................................................................ 283.1.1.1.1.21 Attribute Name: g3cd ........................................................................ 283.1.1.1.1.22 Attribute Name: r3ca ......................................................................... 293.1.1.1.1.23 Attribute Name: y3ca ........................................................................ 293.1.1.1.1.24 Attribute Name: g3ca ........................................................................ 29

  • 8/13/2019 Density doc

    3/108

    3

    3.1.1.1.1.25 Attribute Name: r3cb ......................................................................... 293.1.1.1.1.26 Attribute Name: y3cb ........................................................................ 293.1.1.1.1.27 Attribute Name: g3cb ........................................................................ 293.1.1.1.1.28 Attribute Name: r4da ......................................................................... 293.1.1.1.1.29 Attribute Name: y4da ........................................................................ 303.1.1.1.1.30 Attribute Name: g4da ........................................................................ 303.1.1.1.1.31 Attribute Name: r4db ......................................................................... 303.1.1.1.1.32 Attribute Name: y4db ........................................................................ 303.1.1.1.1.33 Attribute Name: g4db ........................................................................ 303.1.1.1.1.34 Attribute Name: r4dc ......................................................................... 303.1.1.1.1.35 Attribute Name: y4dc ........................................................................ 313.1.1.1.1.36 Attribute Name: g4dc ........................................................................ 313.1.1.1.1.37 Attribute Name: p .............................................................................. 313.1.1.1.1.38 Attribute Name: yp ............................................................................ 31

    3.1.1.1.2 Operation information for Class: DBSController........................................ 313.1.1.1.2.1 Operation name: phase1 .................................................................... 313.1.1.1.2.2 Operation name: phase2 .................................................................... 323.1.1.1.2.3 Operation name: phase3 .................................................................... 333.1.1.1.2.4 Operation name: phase4 .................................................................... 343.1.1.1.2.5 Operation name: phase5 .................................................................... 353.1.1.1.2.6 Operation name: phase6 .................................................................... 363.1.1.1.2.7 Operation name: phase7 .................................................................... 373.1.1.1.2.8 Operation name: phase8 .................................................................... 383.1.1.1.2.9 Operation name: yphase1 .................................................................. 393.1.1.1.2.10 Operation name: yphase2 ................................................................ 403.1.1.1.2.11 Operation name: yphase3 ................................................................ 413.1.1.1.2.12 Operation name: yphase4 ................................................................ 423.1.1.1.2.13 Operation name: yphase5 ................................................................ 433.1.1.1.2.14 Operation name: yphase6 ................................................................ 443.1.1.1.2.15 Operation name: yphase7 ................................................................ 453.1.1.1.2.16 Operation name: yphase8 ................................................................ 463.1.1.1.2.17 Operation name: resetdbs ................................................................ 473.1.1.1.2.18 Operation name: DBSController ....................................................... 48

    3.1.1.1.3 EventReception information for Class: DBSController.............................. 483.1.1.1.3.1 Event Reception name: evStartdbs .................................................... 483.1.1.1.3.2 Event Reception name: evStopdbs .................................................... 483.1.1.1.3.3 Event Reception name: evresetdbs2 .................................................. 483.1.1.1.3.4 Event Reception name: evresetdbs3 .................................................. 48

    3.1.1.1.4 Relation information for Class: DBSController........................................... 483.1.1.1.4.1 Relation name: itsPowerDBS ............................................................. 48

    3.1.1.1.5 Statechart information for Class: DBSController........................................ 483.1.1.1.5.1 State information ................................................................................. 49

    3.1.1.1.5.1.1 State: ROOT ................................................................................ 493.1.1.1.5.1.1.1 Default Transition information for State ROOT .................... 493.1.1.1.5.1.1.2 Incoming Transition information for State ROOT ................. 493.1.1.1.5.1.1.3 Outgoing Transition information for State ROOT ................. 493.1.1.1.5.1.1.4

    State information .................................................................. 50

    3.1.1.1.5.1.1.4.1 State: IdleDbs ............................................................... 503.1.1.1.5.1.1.4.2 State: RunningDbs........................................................ 503.1.1.1.5.1.1.4.3 State information........................................................... 503.1.1.1.5.1.1.4.4 State: state_18.............................................................. 503.1.1.1.5.1.1.4.5 Connector information for State state_18 ..................... 503.1.1.1.5.1.1.4.6 Connector name: Done ................................................ 503.1.1.1.5.1.1.4.7 Incoming Transition information for Connector Done ... 503.1.1.1.5.1.1.4.8 Trigger information for Transition 19 ............................ 503.1.1.1.5.1.1.4.9 Trigger name: ............................................................... 50

  • 8/13/2019 Density doc

    4/108

  • 8/13/2019 Density doc

    5/108

    5

    3.1.1.4.3.2 Event Reception name: evStopdensity ............................................... 553.1.1.4.3.3 Event Reception name: evdenOp1 ..................................................... 553.1.1.4.3.4 Event Reception name: evdenOp2 ..................................................... 553.1.1.4.3.5 Event Reception name: evdenOp3 ..................................................... 553.1.1.4.3.6 Event Reception name: evdenOp4 ..................................................... 553.1.1.4.3.7 Event Reception name: evdenybr1..................................................... 553.1.1.4.3.8 Event Reception name: evdenybr2..................................................... 553.1.1.4.3.9 Event Reception name: evdenybr3..................................................... 553.1.1.4.3.10 Event Reception name: evdenybr4 .................................................. 553.1.1.4.3.11 Event Reception name: evdenybg1 .................................................. 553.1.1.4.3.12 Event Reception name: evdenybg2 .................................................. 553.1.1.4.3.13 Event Reception name: evdenybg3 .................................................. 553.1.1.4.3.14 Event Reception name: evdenybg4 .................................................. 553.1.1.4.3.15 Event Reception name: evdenred1 .................................................. 563.1.1.4.3.16 Event Reception name: evdenred2 .................................................. 563.1.1.4.3.17 Event Reception name: evdenred3 .................................................. 563.1.1.4.3.18 Event Reception name: evdenred4 .................................................. 563.1.1.4.3.19 Event Reception name: evdenyellow1 ............................................. 563.1.1.4.3.20 Event Reception name: evdenyellow2 ............................................. 563.1.1.4.3.21 Event Reception name: evdenyellow3 ............................................. 563.1.1.4.3.22 Event Reception name: evdenyellow4 ............................................. 563.1.1.4.3.23 Event Reception name: evdengreen1 .............................................. 563.1.1.4.3.24 Event Reception name: evdengreen2 .............................................. 563.1.1.4.3.25 Event Reception name: evdengreen3 .............................................. 563.1.1.4.3.26 Event Reception name: evdengreen4 .............................................. 563.1.1.4.3.27 Event Reception name: evdenyb1 .................................................... 573.1.1.4.3.28 Event Reception name: evdenyb2 .................................................... 573.1.1.4.3.29 Event Reception name: evdenyb3 .................................................... 573.1.1.4.3.30 Event Reception name: evdenyb4 .................................................... 573.1.1.4.3.31 Event Reception name: evrs1........................................................... 573.1.1.4.3.32 Event Reception name: evrs2........................................................... 573.1.1.4.3.33 Event Reception name: evrs3........................................................... 573.1.1.4.3.34 Event Reception name: evrs4........................................................... 573.1.1.4.3.35 Event Reception name: evres1......................................................... 573.1.1.4.3.36 Event Reception name: evres2......................................................... 573.1.1.4.3.37 Event Reception name: evres3......................................................... 573.1.1.4.3.38 Event Reception name: evres4......................................................... 57

    3.1.1.4.4 Statechart information for Class: Density_controller.................................. 573.1.1.4.4.1 State information ................................................................................. 58

    3.1.1.4.4.1.1 State: ROOT ................................................................................ 583.1.1.4.4.1.1.1 Default Transition information for State ROOT .................... 583.1.1.4.4.1.1.2 Incoming Transition information for State ROOT ................. 583.1.1.4.4.1.1.3 Outgoing Transition information for State ROOT ................. 593.1.1.4.4.1.1.4 State information .................................................................. 59

    3.1.1.4.4.1.1.4.1 State: Idle_density ........................................................ 593.1.1.4.4.1.1.4.2 State: Running_density ................................................ 593.1.1.4.4.1.1.4.3

    State information........................................................... 59

    3.1.1.4.4.1.1.4.4 State: state_8 ................................................................ 593.1.1.4.4.1.1.4.5 State information........................................................... 593.1.1.4.4.1.1.4.6 State: dench1 ................................................................ 593.1.1.4.4.1.1.4.7 State: denybr1 .............................................................. 593.1.1.4.4.1.1.4.8 State: denred1 .............................................................. 593.1.1.4.4.1.1.4.9 State: denyellow1 ......................................................... 593.1.1.4.4.1.1.4.10 State: denybg1 ............................................................ 593.1.1.4.4.1.1.4.11 State: dengreen1 ........................................................ 593.1.1.4.4.1.1.4.12 State: denop1 ............................................................. 59

  • 8/13/2019 Density doc

    6/108

    6

    3.1.1.4.4.1.1.4.13 State: denyb1 .............................................................. 593.1.1.4.4.1.1.4.14 State: rs1 .................................................................... 593.1.1.4.4.1.1.4.15 State: state_9 .............................................................. 593.1.1.4.4.1.1.4.16 State information ......................................................... 593.1.1.4.4.1.1.4.17 State: denybr2 ............................................................ 593.1.1.4.4.1.1.4.18 State: denred2 ............................................................ 593.1.1.4.4.1.1.4.19 State: denyellow2 ....................................................... 593.1.1.4.4.1.1.4.20 State: denybg2 ............................................................ 593.1.1.4.4.1.1.4.21 State: dengreen2 ........................................................ 593.1.1.4.4.1.1.4.22 State: denop2 ............................................................. 593.1.1.4.4.1.1.4.23 State: denyb2 .............................................................. 603.1.1.4.4.1.1.4.24 State: dench2 .............................................................. 603.1.1.4.4.1.1.4.25 State: rs2 .................................................................... 603.1.1.4.4.1.1.4.26 State: state_16 ............................................................ 603.1.1.4.4.1.1.4.27 State information ......................................................... 603.1.1.4.4.1.1.4.28 State: denybr3 ............................................................ 603.1.1.4.4.1.1.4.29 State: denred3 ............................................................ 603.1.1.4.4.1.1.4.30 State: denyellow3 ....................................................... 603.1.1.4.4.1.1.4.31 State: denybg3 ............................................................ 603.1.1.4.4.1.1.4.32 State: dengreen3 ........................................................ 603.1.1.4.4.1.1.4.33 State: denop3 ............................................................. 603.1.1.4.4.1.1.4.34 State: denyb3 .............................................................. 603.1.1.4.4.1.1.4.35 State: dench3 .............................................................. 603.1.1.4.4.1.1.4.36 State: rs3 .................................................................... 603.1.1.4.4.1.1.4.37 State: state_41 ............................................................ 603.1.1.4.4.1.1.4.38 State information ......................................................... 603.1.1.4.4.1.1.4.39 State: denybr4 ............................................................ 603.1.1.4.4.1.1.4.40 State: denred4 ............................................................ 603.1.1.4.4.1.1.4.41 State: denyellow4 ....................................................... 603.1.1.4.4.1.1.4.42 State: denybg4 ............................................................ 603.1.1.4.4.1.1.4.43 State: dengreen4 ........................................................ 603.1.1.4.4.1.1.4.44 State: denop4 ............................................................. 603.1.1.4.4.1.1.4.45 State: denyb4 .............................................................. 603.1.1.4.4.1.1.4.46 State: dench4 .............................................................. 603.1.1.4.4.1.1.4.47 State: rs4 .................................................................... 60

    3.1.1.5 Class name: Power_density ............................................................................ 613.1.1.5.1 EventReception information for Class: Power_density.............................. 61

    3.1.1.5.1.1 Event Reception name: evdensityOn ................................................. 613.1.1.5.1.2 Event Reception name: evdensityOff ................................................. 61

    3.1.1.5.2 Relation information for Class: Power_density.......................................... 613.1.1.5.2.1 Relation name: itsDensity_controller .................................................. 61

    3.1.1.5.3 Statechart information for Class: Power_density....................................... 613.1.1.5.3.1 State information ................................................................................. 61

    3.1.1.5.3.1.1 State: ROOT ................................................................................ 613.1.1.5.3.1.1.1 Default Transition information for State ROOT .................... 613.1.1.5.3.1.1.2 Incoming Transition information for State ROOT ................. 623.1.1.5.3.1.1.3

    Outgoing Transition information for State ROOT ................. 62

    3.1.1.5.3.1.1.4 State information .................................................................. 62

    3.1.1.5.3.1.1.4.1 State: Density_Off ......................................................... 623.1.1.5.3.1.1.4.2 State: Density_On ......................................................... 62

    3.1.1.6 Class name: Densitytrafficcompositeclassdiagram......................................... 623.1.1.7 Class name: button0 ....................................................................................... 62

    3.1.1.7.1 EventReception information for Class: button0.......................................... 623.1.1.7.1.1 Event Reception name: evonb0 .......................................................... 623.1.1.7.1.2 Event Reception name: evoffb0 .......................................................... 62

    3.1.1.7.2 Relation information for Class: button0...................................................... 62

  • 8/13/2019 Density doc

    7/108

  • 8/13/2019 Density doc

    8/108

    8

    3.1.1.11.1 EventReception information for Class: button5....................................... 683.1.1.11.1.1 Event Reception name: evonb5........................................................ 683.1.1.11.1.2 Event Reception name: evoffb5........................................................ 68

    3.1.1.11.2 Relation information for Class: button5.................................................... 683.1.1.11.2.1 Relation name: itsDensity_controller ................................................ 68

    3.1.1.11.3 Statechart information for Class: button5................................................. 683.1.1.11.3.1 State information ............................................................................... 68

    3.1.1.11.3.1.1 State: ROOT .............................................................................. 683.1.1.11.3.1.1.1 Default Transition information for State ROOT .................. 683.1.1.11.3.1.1.2 Incoming Transition information for State ROOT ............... 693.1.1.11.3.1.1.3 Outgoing Transition information for State ROOT ............... 693.1.1.11.3.1.1.4 State information ................................................................ 69

    3.1.1.11.3.1.1.4.1 State: off ..................................................................... 693.1.1.11.3.1.1.4.2 State: on ..................................................................... 69

    3.1.1.12 Class name: button6 ....................................................................................... 693.1.1.12.1 EventReception information for Class: button6....................................... 69

    3.1.1.12.1.1 Event Reception name: evonb6........................................................ 693.1.1.12.1.2 Event Reception name: evoffb6........................................................ 69

    3.1.1.12.2 Relation information for Class: button6.................................................... 693.1.1.12.2.1 Relation name: itsDensity_controller ................................................ 69

    3.1.1.12.3 Statechart information for Class: button6................................................. 693.1.1.12.3.1 State information ............................................................................... 70

    3.1.1.12.3.1.1 State: ROOT .............................................................................. 703.1.1.12.3.1.1.1 Default Transition information for State ROOT .................. 703.1.1.12.3.1.1.2 Incoming Transition information for State ROOT ............... 703.1.1.12.3.1.1.3 Outgoing Transition information for State ROOT ............... 703.1.1.12.3.1.1.4 State information ................................................................ 70

    3.1.1.12.3.1.1.4.1 State: off ..................................................................... 703.1.1.12.3.1.1.4.2 State: on ..................................................................... 70

    3.1.1.13 Class name: button7 ....................................................................................... 703.1.1.13.1 EventReception information for Class: button7....................................... 70

    3.1.1.13.1.1 Event Reception name: evonb7........................................................ 703.1.1.13.1.2 Event Reception name: evoffb7........................................................ 70

    3.1.1.13.2 Relation information for Class: button7.................................................... 713.1.1.13.2.1 Relation name: itsDensity_controller ................................................ 713.1.1.13.3 Statechart information for Class: button7................................................. 71

    3.1.1.13.3.1 State information ............................................................................... 713.1.1.13.3.1.1 State: ROOT .............................................................................. 71

    3.1.1.13.3.1.1.1 Default Transition information for State ROOT .................. 713.1.1.13.3.1.1.2 Incoming Transition information for State ROOT ............... 713.1.1.13.3.1.1.3 Outgoing Transition information for State ROOT ............... 713.1.1.13.3.1.1.4 State information ................................................................ 71

    3.1.1.13.3.1.1.4.1 State: off ..................................................................... 713.1.1.13.3.1.1.4.2 State: on ..................................................................... 71

    3.1.1.14 Class name: button8 ....................................................................................... 723.1.1.14.1 EventReception information for Class: button8....................................... 72

    3.1.1.14.1.1

    Event Reception name: evonb8........................................................ 72

    3.1.1.14.1.2 Event Reception name: evoffb8........................................................ 723.1.1.14.2 Relation information for Class: button8.................................................... 72

    3.1.1.14.2.1 Relation name: itsDensity_controller ................................................ 723.1.1.14.3 Statechart information for Class: button8................................................. 72

    3.1.1.14.3.1 State information ............................................................................... 733.1.1.14.3.1.1 State: ROOT .............................................................................. 73

    3.1.1.14.3.1.1.1 Default Transition information for State ROOT .................. 733.1.1.14.3.1.1.2 Incoming Transition information for State ROOT ............... 733.1.1.14.3.1.1.3 Outgoing Transition information for State ROOT ............... 73

  • 8/13/2019 Density doc

    9/108

    9

    3.1.1.14.3.1.1.4 State information ................................................................ 733.1.1.14.3.1.1.4.1 State: off ..................................................................... 733.1.1.14.3.1.1.4.2 State: on ..................................................................... 73

    3.1.1.15 Class name: button9 ....................................................................................... 733.1.1.15.1 EventReception information for Class: button9....................................... 73

    3.1.1.15.1.1 Event Reception name: evonb9........................................................ 733.1.1.15.1.2 Event Reception name: evoffb9........................................................ 73

    3.1.1.15.2 Relation information for Class: button9.................................................... 733.1.1.15.2.1 Relation name: itsDensity_controller ................................................ 73

    3.1.1.15.3 Statechart information for Class: button9................................................. 743.1.1.15.3.1 State information ............................................................................... 74

    3.1.1.15.3.1.1 State: ROOT .............................................................................. 743.1.1.15.3.1.1.1 Default Transition information for State ROOT .................. 743.1.1.15.3.1.1.2 Incoming Transition information for State ROOT ............... 743.1.1.15.3.1.1.3 Outgoing Transition information for State ROOT ............... 743.1.1.15.3.1.1.4 State information ................................................................ 74

    3.1.1.15.3.1.1.4.1 State: off ..................................................................... 743.1.1.15.3.1.1.4.2 State: on ..................................................................... 74

    3.1.1.16 Class name: button10 ..................................................................................... 743.1.1.16.1 EventReception information for Class: button10..................................... 75

    3.1.1.16.1.1 Event Reception name: evonb10 ..................................................... 753.1.1.16.1.2 Event Reception name: evoffb10 ..................................................... 75

    3.1.1.16.2 Relation information for Class: button10.................................................. 753.1.1.16.2.1 Relation name: itsDensity_controller ................................................ 75

    3.1.1.16.3 Statechart information for Class: button10............................................... 753.1.1.16.3.1 State information ............................................................................... 75

    3.1.1.16.3.1.1 State: ROOT .............................................................................. 753.1.1.16.3.1.1.1 Default Transition information for State ROOT .................. 753.1.1.16.3.1.1.2 Incoming Transition information for State ROOT ............... 753.1.1.16.3.1.1.3 Outgoing Transition information for State ROOT ............... 763.1.1.16.3.1.1.4 State information ................................................................ 76

    3.1.1.16.3.1.1.4.1 State: off ..................................................................... 763.1.1.16.3.1.1.4.2 State: on ..................................................................... 76

    3.1.1.17 Class name: button2 ....................................................................................... 763.1.1.17.1 EventReception information for Class: button2....................................... 763.1.1.17.1.1 Event Reception name: evonb2........................................................ 763.1.1.17.1.2 Event Reception name: evoffb2........................................................ 76

    3.1.1.17.2 Relation information for Class: button2.................................................... 763.1.1.17.2.1 Relation name: itsDensity_controller ................................................ 76

    3.1.1.17.3 Statechart information for Class: button2................................................. 763.1.1.17.3.1 State information ............................................................................... 77

    3.1.1.17.3.1.1 State: ROOT .............................................................................. 773.1.1.17.3.1.1.1 Default Transition information for State ROOT .................. 773.1.1.17.3.1.1.2 Incoming Transition information for State ROOT ............... 773.1.1.17.3.1.1.3 Outgoing Transition information for State ROOT ............... 773.1.1.17.3.1.1.4 State information ................................................................ 77

    3.1.1.17.3.1.1.4.1

    State: off ..................................................................... 77

    3.1.1.17.3.1.1.4.2 State: on ..................................................................... 773.1.1.18 Class name: button11 ..................................................................................... 77

    3.1.1.18.1 EventReception information for Class: button11..................................... 773.1.1.18.1.1 Event Reception name: evonb11 ..................................................... 773.1.1.18.1.2 Event Reception name: evoffb11 ..................................................... 77

    3.1.1.18.2 Relation information for Class: button11.................................................. 783.1.1.18.2.1 Relation name: itsDensity_controller ................................................ 78

    3.1.1.18.3 Statechart information for Class: button11............................................... 783.1.1.18.3.1 State information ............................................................................... 78

  • 8/13/2019 Density doc

    10/108

    10

    3.1.1.18.3.1.1 State: ROOT .............................................................................. 783.1.1.18.3.1.1.1 Default Transition information for State ROOT .................. 783.1.1.18.3.1.1.2 Incoming Transition information for State ROOT ............... 783.1.1.18.3.1.1.3 Outgoing Transition information for State ROOT ............... 783.1.1.18.3.1.1.4 State information ................................................................ 78

    3.1.1.18.3.1.1.4.1 State: off ..................................................................... 783.1.1.18.3.1.1.4.2 State: on ..................................................................... 79

    3.1.1.19 Class name: button12 ..................................................................................... 793.1.1.19.1 EventReception information for Class: button12..................................... 79

    3.1.1.19.1.1 Event Reception name: evonb12 ..................................................... 793.1.1.19.1.2 Event Reception name: evoffb12 ..................................................... 79

    3.1.1.19.2 Relation information for Class: button12.................................................. 793.1.1.19.2.1 Relation name: itsDensity_controller ................................................ 79

    3.1.1.19.3 Statechart information for Class: button12............................................... 793.1.1.19.3.1 State information ............................................................................... 80

    3.1.1.19.3.1.1 State: ROOT .............................................................................. 803.1.1.19.3.1.1.1 Default Transition information for State ROOT .................. 803.1.1.19.3.1.1.2 Incoming Transition information for State ROOT ............... 803.1.1.19.3.1.1.3 Outgoing Transition information for State ROOT ............... 803.1.1.19.3.1.1.4 State information ................................................................ 80

    3.1.1.19.3.1.1.4.1 State: off ..................................................................... 803.1.1.19.3.1.1.4.2 State: on ..................................................................... 80

    3.1.1.20 Class name: button13 ..................................................................................... 803.1.1.20.1 EventReception information for Class: button13..................................... 80

    3.1.1.20.1.1 Event Reception name: evonb13 ..................................................... 803.1.1.20.1.2 Event Reception name: evoffb13 ..................................................... 80

    3.1.1.20.2 Relation information for Class: button13.................................................. 803.1.1.20.2.1 Relation name: itsDensity_controller ................................................ 80

    3.1.1.20.3 Statechart information for Class: button13............................................... 813.1.1.20.3.1 State information ............................................................................... 81

    3.1.1.20.3.1.1 State: ROOT .............................................................................. 813.1.1.20.3.1.1.1 Default Transition information for State ROOT .................. 813.1.1.20.3.1.1.2 Incoming Transition information for State ROOT ............... 813.1.1.20.3.1.1.3 Outgoing Transition information for State ROOT ............... 813.1.1.20.3.1.1.4 State information ................................................................ 81

    3.1.1.20.3.1.1.4.1 State: off ..................................................................... 813.1.1.20.3.1.1.4.2 State: on ..................................................................... 81

    3.1.1.21 Class name: button14 ..................................................................................... 813.1.1.21.1 EventReception information for Class: button14..................................... 82

    3.1.1.21.1.1 Event Reception name: evonb14 ..................................................... 823.1.1.21.1.2 Event Reception name: evoffb14 ..................................................... 82

    3.1.1.21.2 Relation information for Class: button14.................................................. 823.1.1.21.2.1 Relation name: itsDensity_controller ................................................ 82

    3.1.1.21.3 Statechart information for Class: button14............................................... 823.1.1.21.3.1 State information ............................................................................... 82

    3.1.1.21.3.1.1 State: ROOT .............................................................................. 823.1.1.21.3.1.1.1

    Default Transition information for State ROOT .................. 82

    3.1.1.21.3.1.1.2 Incoming Transition information for State ROOT ............... 823.1.1.21.3.1.1.3 Outgoing Transition information for State ROOT ............... 833.1.1.21.3.1.1.4 State information ................................................................ 83

    3.1.1.21.3.1.1.4.1 State: off ..................................................................... 833.1.1.21.3.1.1.4.2 State: on ..................................................................... 83

    3.1.1.22 Class name: button16 ..................................................................................... 833.1.1.22.1 EventReception information for Class: button16..................................... 83

    3.1.1.22.1.1 Event Reception name: evonb16 ..................................................... 833.1.1.22.1.2 Event Reception name: evoffb16 ..................................................... 83

  • 8/13/2019 Density doc

    11/108

    11

    3.1.1.22.2 Relation information for Class: button16.................................................. 833.1.1.22.2.1 Relation name: itsDensity_controller ................................................ 83

    3.1.1.22.3 Statechart information for Class: button16............................................... 833.1.1.22.3.1 State information ............................................................................... 84

    3.1.1.22.3.1.1 State: ROOT .............................................................................. 843.1.1.22.3.1.1.1 Default Transition information for State ROOT .................. 843.1.1.22.3.1.1.2 Incoming Transition information for State ROOT ............... 843.1.1.22.3.1.1.3 Outgoing Transition information for State ROOT ............... 843.1.1.22.3.1.1.4 State information ................................................................ 84

    3.1.1.22.3.1.1.4.1 State: off ..................................................................... 843.1.1.22.3.1.1.4.2 State: on ..................................................................... 84

    3.1.1.23 Class name: button17 ..................................................................................... 843.1.1.23.1 EventReception information for Class: button17..................................... 84

    3.1.1.23.1.1 Event Reception name: evonb17 ..................................................... 843.1.1.23.1.2 Event Reception name: evoffb17 ..................................................... 84

    3.1.1.23.2 Relation information for Class: button17.................................................. 853.1.1.23.2.1 Relation name: itsDensity_controller ................................................ 85

    3.1.1.23.3 Statechart information for Class: button17............................................... 853.1.1.23.3.1 State information ............................................................................... 85

    3.1.1.23.3.1.1 State: ROOT .............................................................................. 853.1.1.23.3.1.1.1 Default Transition information for State ROOT .................. 853.1.1.23.3.1.1.2 Incoming Transition information for State ROOT ............... 853.1.1.23.3.1.1.3 Outgoing Transition information for State ROOT ............... 853.1.1.23.3.1.1.4 State information ................................................................ 85

    3.1.1.23.3.1.1.4.1 State: off ..................................................................... 853.1.1.23.3.1.1.4.2 State: on ..................................................................... 85

    3.1.1.24 Class name: button15 ..................................................................................... 863.1.1.24.1 EventReception information for Class: button15..................................... 86

    3.1.1.24.1.1 Event Reception name: evonb15 ..................................................... 863.1.1.24.1.2 Event Reception name: evoffb15 ..................................................... 86

    3.1.1.24.2 Relation information for Class: button15.................................................. 863.1.1.24.2.1 Relation name: itsDensity_controller ................................................ 86

    3.1.1.24.3 Statechart information for Class: button15............................................... 863.1.1.24.3.1 State information ............................................................................... 863.1.1.24.3.1.1 State: ROOT .............................................................................. 86

    3.1.1.24.3.1.1.1 Default Transition information for State ROOT .................. 863.1.1.24.3.1.1.2 Incoming Transition information for State ROOT ............... 873.1.1.24.3.1.1.3 Outgoing Transition information for State ROOT ............... 873.1.1.24.3.1.1.4 State information ................................................................ 87

    3.1.1.24.3.1.1.4.1 State: off ..................................................................... 873.1.1.24.3.1.1.4.2 State: on ..................................................................... 87

    3.1.1.25 Class name: TimeController ............................................................................ 873.1.1.25.1 Attribute Information for Class: TimeController........................................ 87

    3.1.1.25.1.1 Attribute Name: t ............................................................................... 873.1.1.25.2 Operation information for Class: TimeController..................................... 87

    3.1.1.25.2.1 Operation name: TimeController ...................................................... 873.1.1.25.3

    EventReception information for Class: TimeController............................ 88

    3.1.1.25.3.1 Event Reception name: evStarttime ................................................. 883.1.1.25.3.2 Event Reception name: evStoptime ................................................. 88

    3.1.1.25.4 Statechart information for Class: TimeController..................................... 883.1.1.25.4.1 State information ............................................................................... 89

    3.1.1.25.4.1.1 State: ROOT .............................................................................. 893.1.1.25.4.1.1.1 Default Transition information for State ROOT .................. 893.1.1.25.4.1.1.2 Incoming Transition information for State ROOT ............... 893.1.1.25.4.1.1.3 Outgoing Transition information for State ROOT ............... 893.1.1.25.4.1.1.4 State information ................................................................ 89

  • 8/13/2019 Density doc

    12/108

    12

    3.1.1.25.4.1.1.4.1 State: Idletime ............................................................. 893.1.1.25.4.1.1.4.2 State: Runningtime ..................................................... 893.1.1.25.4.1.1.4.3 State information ......................................................... 893.1.1.25.4.1.1.4.4 State: state_6 .............................................................. 893.1.1.25.4.1.1.4.5 State information ......................................................... 893.1.1.25.4.1.1.4.6 State: red1 .................................................................. 893.1.1.25.4.1.1.4.7 State: yellow1 ............................................................. 893.1.1.25.4.1.1.4.8 State: green1 .............................................................. 893.1.1.25.4.1.1.4.9 State: yellowblink1 ...................................................... 893.1.1.25.4.1.1.4.10 State: state_7 ............................................................ 893.1.1.25.4.1.1.4.11 State information....................................................... 893.1.1.25.4.1.1.4.12 State: red2 ................................................................ 893.1.1.25.4.1.1.4.13 State: yellow2 ........................................................... 893.1.1.25.4.1.1.4.14 State: green2 ............................................................ 893.1.1.25.4.1.1.4.15 State: yellowblink2 .................................................... 893.1.1.25.4.1.1.4.16 State: state_12.......................................................... 903.1.1.25.4.1.1.4.17 State information....................................................... 903.1.1.25.4.1.1.4.18 State: red3 ................................................................ 903.1.1.25.4.1.1.4.19 State: yellow3 ........................................................... 903.1.1.25.4.1.1.4.20 State: green3 ............................................................ 903.1.1.25.4.1.1.4.21 State: yellowblink3 .................................................... 903.1.1.25.4.1.1.4.22 State: state_17.......................................................... 903.1.1.25.4.1.1.4.23 State information....................................................... 903.1.1.25.4.1.1.4.24 State: red4 ................................................................ 903.1.1.25.4.1.1.4.25 State: yellow4 ........................................................... 903.1.1.25.4.1.1.4.26 State: green4 ............................................................ 903.1.1.25.4.1.1.4.27 State: yellowblink4 .................................................... 90

    3.1.1.26 Class name: Powertime .................................................................................. 903.1.1.26.1 EventReception information for Class: Powertime.................................. 90

    3.1.1.26.1.1 Event Reception name: evtimeoff ..................................................... 903.1.1.26.1.2 Event Reception name: evtimeon ..................................................... 90

    3.1.1.26.2 Relation information for Class: Powertime............................................... 903.1.1.26.2.1 Relation name: itsTimeController ..................................................... 90

    3.1.1.26.3 Statechart information for Class: Powertime............................................ 913.1.1.26.3.1 State information ............................................................................... 913.1.1.26.3.1.1 State: ROOT .............................................................................. 91

    3.1.1.26.3.1.1.1 Default Transition information for State ROOT .................. 913.1.1.26.3.1.1.2 Incoming Transition information for State ROOT ............... 913.1.1.26.3.1.1.3 Outgoing Transition information for State ROOT ............... 913.1.1.26.3.1.1.4 State information ................................................................ 91

    3.1.1.26.3.1.1.4.1 State: Timeoff ............................................................. 913.1.1.26.3.1.1.4.2 State: TimeOn ............................................................. 91

    3.1.1.27 Class name: Timebasedtracompdiagram ....................................................... 913.1.2 Event information for Package Default .................................................................... 92

    3.1.2.1 Event name: evStartdbs .................................................................................. 923.1.2.2 Event name: evStopdbs .................................................................................. 923.1.2.3

    Event name: evdbsOn ..................................................................................... 92

    3.1.2.4 Event name: evdbsOff ..................................................................................... 923.1.2.5 Event name: evdensityOn ............................................................................... 923.1.2.6 Event name: evdensityOff ............................................................................... 923.1.2.7 Event name: evStartdensity ............................................................................ 923.1.2.8 Event name: evStopdensity ............................................................................ 923.1.2.9 Event name: evdenOp1 .................................................................................. 923.1.2.10 Event name: evdenOp2 .................................................................................. 923.1.2.11 Event name: evdenOp3 .................................................................................. 923.1.2.12 Event name: evdenOp4 .................................................................................. 92

  • 8/13/2019 Density doc

    13/108

    13

    3.1.2.13 Event name: evdenybr1 .................................................................................. 923.1.2.14 Event name: evdenybr2 .................................................................................. 933.1.2.15 Event name: evdenybr3 .................................................................................. 933.1.2.16 Event name: evdenybr4 .................................................................................. 933.1.2.17 Event name: evdenybg1 ................................................................................. 933.1.2.18 Event name: evdenybg2 ................................................................................. 933.1.2.19 Event name: evdenybg3 ................................................................................. 933.1.2.20 Event name: evdenybg4 ................................................................................. 933.1.2.21 Event name: evdenred1 .................................................................................. 933.1.2.22 Event name: evdenred2 .................................................................................. 933.1.2.23 Event name: evdenred3 .................................................................................. 933.1.2.24 Event name: evdenred4 .................................................................................. 933.1.2.25 Event name: evdenyellow1 ............................................................................. 933.1.2.26 Event name: evdenyellow2 ............................................................................. 933.1.2.27 Event name: evdenyellow3 ............................................................................. 943.1.2.28 Event name: evdenyellow4 ............................................................................. 943.1.2.29 Event name: evdengreen1 .............................................................................. 943.1.2.30 Event name: evdengreen2 .............................................................................. 943.1.2.31 Event name: evdengreen3 .............................................................................. 943.1.2.32 Event name: evdengreen4 .............................................................................. 943.1.2.33 Event name: evdenyb1 ................................................................................... 943.1.2.34 Event name: evdenyb2 ................................................................................... 943.1.2.35 Event name: evdenyb3 ................................................................................... 943.1.2.36 Event name: evdenyb4 ................................................................................... 943.1.2.37 Event name: evrs1 .......................................................................................... 943.1.2.38 Event name: evrs2 .......................................................................................... 943.1.2.39 Event name: evrs3 .......................................................................................... 943.1.2.40 Event name: evrs4 .......................................................................................... 953.1.2.41 Event name: evres1 ........................................................................................ 953.1.2.42 Event name: evres2 ........................................................................................ 953.1.2.43 Event name: evres3 ........................................................................................ 953.1.2.44 Event name: evres4 ........................................................................................ 953.1.2.45 Event name: evresetdbs2 ............................................................................... 953.1.2.46 Event name: evresetdbs3 ............................................................................... 953.1.2.47 Event name: evonb1 ....................................................................................... 953.1.2.48 Event name: evoffb1 ....................................................................................... 953.1.2.49 Event name: evonb2 ....................................................................................... 953.1.2.50 Event name: evoffb2 ....................................................................................... 953.1.2.51 Event name: evonb3 ....................................................................................... 953.1.2.52 Event name: evonb0 ....................................................................................... 953.1.2.53 Event name: evoffb0 ....................................................................................... 963.1.2.54 Event name: evoffb3 ....................................................................................... 963.1.2.55 Event name: evonb4 ....................................................................................... 963.1.2.56 Event name: evoffb4 ....................................................................................... 963.1.2.57 Event name: evonb5 ....................................................................................... 963.1.2.58 Event name: evoffb5 ....................................................................................... 963.1.2.59

    Event name: evonb6 ....................................................................................... 96

    3.1.2.60 Event name: evoffb6 ....................................................................................... 963.1.2.61 Event name: evonb7 ....................................................................................... 963.1.2.62 Event name: evoffb7 ....................................................................................... 963.1.2.63 Event name: evonb8 ....................................................................................... 963.1.2.64 Event name: evoffb8 ....................................................................................... 963.1.2.65 Event name: evonb9 ....................................................................................... 963.1.2.66 Event name: evoffb9 ....................................................................................... 973.1.2.67 Event name: evonb10 ..................................................................................... 973.1.2.68 Event name: evoffb10 ..................................................................................... 97

  • 8/13/2019 Density doc

    14/108

    14

    3.1.2.69 Event name: evonb11 ..................................................................................... 973.1.2.70 Event name: evoffb11 ..................................................................................... 973.1.2.71 Event name: evonb12 ..................................................................................... 973.1.2.72 Event name: evoffb12 ..................................................................................... 973.1.2.73 Event name: evonb13 ..................................................................................... 973.1.2.74 Event name: evoffb13 ..................................................................................... 973.1.2.75 Event name: evonb14 ..................................................................................... 973.1.2.76 Event name: evoffb14 ..................................................................................... 973.1.2.77 Event name: evonb16 ..................................................................................... 973.1.2.78 Event name: evoffb16 ..................................................................................... 973.1.2.79 Event name: evonb17 ..................................................................................... 983.1.2.80 Event name: evoffb17 ..................................................................................... 983.1.2.81 Event name: evonb15 ..................................................................................... 983.1.2.82 Event name: evoffb15 ..................................................................................... 983.1.2.83 Event name: evtimeoff .................................................................................... 983.1.2.84 Event name: evtimeon .................................................................................... 983.1.2.85 Event name: evred1 ........................................................................................ 983.1.2.86 Event name: evred2 ........................................................................................ 983.1.2.87 Event name: evred3 ........................................................................................ 983.1.2.88 Event name: evred4 ........................................................................................ 983.1.2.89 Event name: evyellow1 ................................................................................... 983.1.2.90 Event name: evyellow2 ................................................................................... 983.1.2.91 Event name: evyellow3 ................................................................................... 983.1.2.92 Event name: evyellow4 ................................................................................... 993.1.2.93 Event name: evgreen1 .................................................................................... 993.1.2.94 Event name: evgreen2 .................................................................................... 993.1.2.95 Event name: evgreen3 .................................................................................... 993.1.2.96 Event name: evgreen4 .................................................................................... 993.1.2.97 Event name: evyellowblink1 ............................................................................ 993.1.2.98 Event name: evyellowblink2 ............................................................................ 993.1.2.99 Event name: evyellowblink3 ............................................................................ 993.1.2.100 Event name: evyellowblink4 ....................................................................... 993.1.2.101 Event name: evStarttime ............................................................................ 993.1.2.102 Event name: evStoptime ............................................................................. 993.2 Package: PredefinedTypes ....................................................................................... 99

    3.2.1 Type information for Package PredefinedTypes ..................................................... 993.2.1.1 Type name: RhpInteger ................................................................................ 1003.2.1.2 Type name: RhpCharacter ............................................................................ 1003.2.1.3 Type name: RhpString .................................................................................. 1003.2.1.4 Type name: RhpReal .................................................................................... 1003.2.1.5 Type name: RhpVoid .................................................................................... 1003.2.1.6 Type name: RhpPositive ............................................................................... 1003.2.1.7 Type name: RhpAddress .............................................................................. 1003.2.1.8 Type name: RhpBoolean .............................................................................. 1003.2.1.9 Type name: RhpUnlimitedNatural ................................................................. 100

    3.2.2 Stereotype information for Package: PredefinedTypes......................................... 1003.2.2.1

    Stereotype name: AppliedProfile .................................................................. 100

    3.2.2.2 Stereotype name: ImportedProfile ................................................................ 1003.2.2.3 Stereotype name: Settings ............................................................................ 1003.2.2.4 Stereotype name: Merge ............................................................................... 1013.2.2.5 Stereotype name: Redefines......................................................................... 1013.2.2.6 Stereotype name: EclipseConfiguration ........................................................ 1013.2.2.7 Stereotype name: Interface ........................................................................... 1013.2.2.8 Stereotype name: Usage .............................................................................. 1013.2.2.9 Stereotype name: Framework ....................................................................... 1013.2.2.10 Stereotype name: Metaclass ......................................................................... 101

  • 8/13/2019 Density doc

    15/108

    15

    3.2.2.11 Stereotype name: Specification .................................................................... 1013.2.2.12 Stereotype name: Realization ....................................................................... 1013.2.2.13 Stereotype name: Send ................................................................................ 1013.2.2.14 Stereotype name: Resource ......................................................................... 1013.2.2.15 Stereotype name: Singleton .......................................................................... 1013.2.2.16 Stereotype name: MessageQueue ............................................................... 1013.2.2.17 Stereotype name: Timer ................................................................................ 1023.2.2.18 Stereotype name: Semaphore ...................................................................... 1023.2.2.19 Stereotype name: Mutex ............................................................................... 1023.2.2.20 Stereotype name: EventFlag ......................................................................... 1023.2.2.21 Stereotype name: Task ................................................................................. 1023.2.2.22 Stereotype name: Executable ....................................................................... 1023.2.2.23 Stereotype name: Library .............................................................................. 1023.2.2.24 Stereotype name: Table ................................................................................ 1023.2.2.25 Stereotype name: Document ........................................................................ 1023.2.2.26 Stereotype name: Realization ....................................................................... 1023.2.2.27 Stereotype name: A2D .................................................................................. 1023.2.2.28 Stereotype name: Board ............................................................................... 1023.2.2.29 Stereotype name: Bus ................................................................................... 1023.2.2.30 Stereotype name: Button .............................................................................. 1033.2.2.31 Stereotype name: D2A .................................................................................. 1033.2.2.32 Stereotype name: DigitalIO ........................................................................... 1033.2.2.33 Stereotype name: Disk .................................................................................. 1033.2.2.34 Stereotype name: Display ............................................................................. 1033.2.2.35 Stereotype name: Keyboard ......................................................................... 1033.2.2.36 Stereotype name: Motor ................................................................................ 1033.2.2.37 Stereotype name: Mouse .............................................................................. 1033.2.2.38 Stereotype name: Panel ................................................................................ 1033.2.2.39 Stereotype name: Printer .............................................................................. 1033.2.2.40 Stereotype name: Processor ......................................................................... 1033.2.2.41 Stereotype name: Sensor ............................................................................. 1033.2.2.42 Stereotype name: include ............................................................................. 1033.2.2.43 Stereotype name: extend .............................................................................. 1043.2.2.44 Stereotype name: trace ................................................................................. 1043.2.2.45 Stereotype name: refine ................................................................................ 1043.2.2.46 Stereotype name: derive ............................................................................... 1043.2.2.47 Stereotype name: flowPort ............................................................................ 1043.2.2.48 Stereotype name: FlowChart ........................................................................ 1043.2.2.49 Stereotype name: CallBehavior .................................................................... 1043.2.2.50 Stereotype name: ModelLibrary .................................................................... 1043.2.2.51 Stereotype name: VariationPoint .................................................................. 1053.2.2.52 Stereotype name: Varies ............................................................................... 1053.2.2.53 Stereotype name: Variant ............................................................................. 1053.2.2.54 Stereotype name: Static ................................................................................ 1053.2.2.55 Stereotype name: VisualStudioConfiguration ............................................... 1053.2.2.56 Stereotype name: ActivityFinal ...................................................................... 1053.2.2.57

    Stereotype name: DecisionNode .................................................................. 105

    3.2.2.58 Stereotype name: MergeNode ...................................................................... 1053.2.2.59 Stereotype name: ControlFlow...................................................................... 1053.2.2.60 Stereotype name: ObjectFlow ....................................................................... 1053.2.2.61 Stereotype name: interruptibleRegion .......................................................... 1053.2.2.62 Stereotype name: Class Diagram ................................................................. 105

    3.3 Package: PredefinedTypesCpp .............................................................................. 1053.3.1 Type information for Package PredefinedTypesCpp ............................................. 106

    3.3.1.1 Type name: int............................................................................................... 1063.3.1.2 Type name: char ........................................................................................... 106

  • 8/13/2019 Density doc

    16/108

  • 8/13/2019 Density doc

    17/108

    17

    1. Object Model Diagram Information

    1.1 Object Model Diagram name: Model1

    Description:

    DBSController

    g1ac:bool=false

    r1ad:bool=false

    y1ad:bool=false

    g1ad:bool=false

    r2bc:bool=false

    y2bc:bool=false

    g2bc:bool=false

    phase6():void

    phase7():void

    phase8():void

    yphase1():voidyphase2():void

    yphase3():void

    yphase4():void

    1

    itsDBSController

    PowerDB

    1

    itsPowerDBS

    1.2 Object Model Diagram name: DBSphaseTraffic

    Description:

    DBS_TrafficControl

    itsDBSContro1

    r1ab:bool

    y1ab:bool

    g1ab:bool

    r1ac:bool

    phase1():void

    phase2():void

    phase3():void

    phase4():void

    itsPower1

    evdbsOn()

    evdbsOff()

    itsDBSController

    1.3 Object Model Diagram name: density model

    Description:

  • 8/13/2019 Density doc

    18/108

    18

    Density_controller

    a:int=0

    b:int=0

    c:int=0

    d:int=0

    Density_contr...

    evStartdensity()

    evStopdensity()

    evdenOp1()

    evdenOp2()

    evdenOp3()

    evdenOp4()

    evdenybr1()

    evdenybr2()

    evdenybr3()

    evdenybr4()

    evdenybg 1()

    evdenybg 2()

    evdenybg 3()

    evdenybg 4()

    evdenred1()

    evdenred2()

    evdenred3()

    evdenred4()

    evdenyel low1()

    evdenyel low2()

    evdenyel low3()

    evdenyel low4()

    evdengreen1()

    evdengreen2()

    evdengreen3()

    evdengreen4()

    evdenyb1()

    evdenyb2()

    evdenyb3()

    evdenyb4()

    disp():void

    evrs1()

    evrs2()

    evrs3()

    evrs4()

    evres1()

    evres2()evres3()

    evres4()

    1

    itsDensity_controller

    Power_densit

    1

    itsDensity_controller

    button0

    1

    itsDensity_controller

    button1

    button31

    itsDensity_controller

    button41

    itsDensity_controller

    button51

    itsDensity_controller

    button61

    itsDensity_controller

    1

    itsDensity_controller

    button7

    1

    itsDensity_controller

    button8

    button91

    itsDensity_controller

    button101

    itsDensity_controller

    button21

    itsDensity_controller

    button111

    itsDensity_controller

    button121

    itsDensity_controller

    button13

    1

    itsDensity_controller

    button141

    itsDensity_controller

    button16

    1

    itsDensity_controller

    1

    itsDensity_controller

    button17

    1

    itsDensity_controller

    button15

    1.4 Object Model Diagram name: densitytrafficcomposite

    Description:

  • 8/13/2019 Density doc

    19/108

    19

    Densitytraf ficcompositeclassdiagram

    itsPower_de1

    evdensityO.. .

    itsDensity_controller:Den1

    a:int

    b:int

    c:int

    d:int

    evStartdensity()

    evStopdensity()

    evdenOp1()

    evdenOp2()

    evdenOp3()

    evdenOp4()

    evdenybr1()

    evdenybr2()

    evdenybr3()

    evdenybr4()

    evdenybg1()

    evdenybg2()

    evdenybg3()

    evdenybg4()

    evdenred1()

    evdenred2()

    evdenred3()

    evdenred4()

    evdenyellow1()

    evdenyellow2()

    evdenyellow3()

    evdenyellow4()

    evdengreen1()

    evdengreen2()

    evdengreen3()

    evdengreen4()

    evdenyb1()

    evdenyb2()

    evdenyb3()

    evdenyb4()

    Density_controller()

    disp():void

    evrs1()

    evrs2()

    evrs3()

    evrs4()

    evres1()

    evres2()

    evres3()

    evres4()

    itsDensity_controller

    itsButton0:b1

    itsDensity_controller

    itsButton1:1

    itsDensity_controller

    itsButt on2:bu1

    itsDensity_controller

    itsButton3:b1

    itsDensity_controller

    itsButton4:1

    itsDensity_controller

    itsButton5:b1

    evoffb5

    itsDensity_controller

    itsButt on6:bu1

    evonb6()

    itsDensity_controller

    itsButton7:b1

    evoffb7()

    itsDensity_controller

    itsButton8:b1

    evoffb8()

    itsDensity_controller

    itsButton9:b1

    evonb9()

    itsDensity_controller

    itsButton10:b1

    evonb10()

    itsDensity_controller

    itsButton11:1

    evoffb11()

    itsDensity_controller

    itsButton12:b1

    evonb12()

    itsDensity_controller

    itsButton13:1

    evonb13()

    itsDensity_controller

    itsButton14:b1

    evonb14()

    itsDensity_controller

    itsButton15:b1

    evonb15()

    evoffb15()

    itsDensity_controller

    itsButton16:b1

    evonb16()

    evoffb16

    itsDensity_controller

    itsButton17:b1

    evonb17()

    evoffb17()

    itsDensity_controller

    1.5 Object Model Diagram name: timebasedtrafficmodel

    Description:

    TimeController

    t:int=0

    evStarttime()

    evStoptime()

    TimeContro...

    1

    itsTimeController

    Powertime

  • 8/13/2019 Density doc

    20/108

    20

    1.6 Object Model Diagram name: Timebasedtrafficsysdiagram

    Description:

    Timebasedtracompdiagram

    itsPowerti1

    evtimeoff()

    evtimeon()

    itsTimeControlle1

    t:int

    evStarttime()

    evStoptime()

    TimeController()itsTimeController

    2. Components Information

    2.1 Component Name:DefaultComponent

    Type:executableDirectory:C:/Documents andSettings/varma/Desktop/pro/DBStrafficControlSystem/DefaultComponent/DensitydebugLibraries:Additional Sources:

    Standard Headers:Include Path:Description:

    2.1.1 Configuration information for Component: DefaultComponent

    2.1.1.1 DefaultConfig Configuration

    Configuration Name: DefaultConfigDescription:Initialization Scope:explicitInitialization Code:Directory:DefaultComponent/DefaultConfigLibraries:Additional Sources:Standard HeadersInclude Path:Instrumentation:noneTime Model:realStatechart Implementation:flatBuildSet: Debug

  • 8/13/2019 Density doc

    21/108

  • 8/13/2019 Density doc

    22/108

    22

    BuildSet: DebugCompiler Switches: $IncludeDirectories $DefinedSymbols $(INST_FLAGS) $(INCLUDE_PATH)$(INST_INCLUDES) $CompilerFlags $OMCPPCompileCommandSet -cLink Switches:$OMLinkCommandSet $LinkerFlags

    2.1.2 File information for Component: DefaultComponent

    2.1.2.1 Files

    Path:File Type:folderDescription:

    2.1.3 Panel Diagram Information

    2.1.3.1 Panel Diagram name: DBSTrafficControlSystem

    Description:

  • 8/13/2019 Density doc

    23/108

    23

    A

    B

    C

    D

    C

    D B

    A

    A

    B

    C

    D

    A

    B

    C

    D

    A

    B

    C

    D

    ON OFF

    RESETDBS

    2.1.3.2 Panel Diagram name: densitytrafficpanneldiagram

    Description:

  • 8/13/2019 Density doc

    24/108

    24

    ON

    OFF

    RESET1 RESET2

    RESET3 RESET4

    b0b1b2

    b3

    b5

    b4

    b6 b7 b8 b9 b10

    b11

    b12

    b13

    b14b15

    0 1 2 3 4 5 6 7 8 9 10

    11 12 13 14 15

    2.1.3.3 Panel Diagram name: timetrafficPannelDiagram

    Description:

  • 8/13/2019 Density doc

    25/108

    25

    ON

    OFF

    A

    B

    C

    D

    3. Package Information

    3.1 Package: DefaultDescription:

    3.1.1 Class Information for Package:Default

    3.1.1.1 Class name: DBSController

    Description:Active: falseBehavior Overridden: falseComposite: falseReactive: true

    3.1.1.1.1 Attribute Information for Class:DBSController

    3.1.1.1.1.1 Attribute Name: r1ab

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:

  • 8/13/2019 Density doc

    26/108

    26

    Description:

    3.1.1.1.1.2 Attribute Name: y1ab

    Default Value: falseStatic: falseVisibility: public

    Type:boolStereotype:Description:

    3.1.1.1.1.3 Attribute Name: g1ab

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.4 Attribute Name: r1ac

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.5 Attribute Name: y1ac

    Default Value: falseStatic: falseVisibility: publicType:bool

    Stereotype:Description:

    3.1.1.1.1.6 Attribute Name: g1ac

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.7 Attribute Name: r1ad

    Default Value: false

    Static: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.8 Attribute Name: y1ad

    Default Value: falseStatic: false

  • 8/13/2019 Density doc

    27/108

    27

    Visibility: publicType:boolStereotype:Description:

    3.1.1.1.1.9 Attribute Name: g1ad

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.10 Attribute Name: r2bc

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:

    Description:

    3.1.1.1.1.11 Attribute Name: y2bc

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.12 Attribute Name: g2bc

    Default Value: false

    Static: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.13 Attribute Name: r2bd

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.14 Attribute Name: y2bd

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

  • 8/13/2019 Density doc

    28/108

    28

    3.1.1.1.1.15 Attribute Name: g2bd

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:

    Description:

    3.1.1.1.1.16 Attribute Name: r2ba

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.17 Attribute Name: y2ba

    Default Value: false

    Static: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.18 Attribute Name: g2ba

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.19 Attribute Name: r3cd

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.20 Attribute Name: y3cd

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.21 Attribute Name: g3cd

    Default Value: falseStatic: falseVisibility: publicType:bool

  • 8/13/2019 Density doc

    29/108

    29

    Stereotype:Description:

    3.1.1.1.1.22 Attribute Name: r3ca

    Default Value: falseStatic: false

    Visibility: publicType:boolStereotype:Description:

    3.1.1.1.1.23 Attribute Name: y3ca

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.24 Attribute Name: g3ca

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.25 Attribute Name: r3cb

    Default Value: falseStatic: falseVisibility: public

    Type:boolStereotype:Description:

    3.1.1.1.1.26 Attribute Name: y3cb

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.27 Attribute Name: g3cb

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.28 Attribute Name: r4da

    Default Value: false

  • 8/13/2019 Density doc

    30/108

    30

    Static: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.29 Attribute Name: y4da

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.30 Attribute Name: g4da

    Default Value: falseStatic: falseVisibility: publicType:bool

    Stereotype:Description:

    3.1.1.1.1.31 Attribute Name: r4db

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.32 Attribute Name: y4db

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.33 Attribute Name: g4db

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:

    Description:

    3.1.1.1.1.34 Attribute Name: r4dc

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

  • 8/13/2019 Density doc

    31/108

    31

    3.1.1.1.1.35 Attribute Name: y4dc

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:

    Description:

    3.1.1.1.1.36 Attribute Name: g4dc

    Default Value: falseStatic: falseVisibility: publicType:boolStereotype:Description:

    3.1.1.1.1.37 Attribute Name: p

    Default Value: 0

    Static: falseVisibility: publicType:intStereotype:Description:

    3.1.1.1.1.38 Attribute Name: yp

    Default Value: 0Static: falseVisibility: publicType:intStereotype:Description:

    3.1.1.1.2 Operation information for Class:DBSController

    3.1.1.1.2.1 Operation name: phase1

    Initializer:Const: falseTrigger: falseBody: r1ab=false;y1ab=false;g1ab=true;r1ac=false;y1ac=false;g1ac=true;

    r1ad=false;y1ad=false;g1ad=true;

    r2bc=true;y2bc=false;g2bc=false;r2bd=true;y2bd=false;

  • 8/13/2019 Density doc

    32/108

  • 8/13/2019 Density doc

    33/108

    33

    y2ba=false;g2ba=false;

    r3cd=true;y3cd=false;g3cd=false;r3ca=true;y3ca=false;g3ca=false;r3cb=true;y3cb=false;g3cb=false;

    r4da=false;y4da=false;g4da=true;r4db=false;y4db=false;g4db=true;r4dc=true;

    y4dc=false;g4dc=false;

    Abstract: falseStatic: falseVirtual: falseVisibility: publicSignature: phase2()Return Type:voidDescription:

    3.1.1.1.2.3 Operation name: phase3

    Initializer:Const: falseTrigger: falseBody: r1ab=true;y1ab=false;g1ab=false;r1ac=true;y1ac=false;g1ac=false;r1ad=true;y1ad=false;g1ad=false;

    r2bc=true;y2bc=false;g2bc=false;r2bd=true;y2bd=false;g2bd=false;r2ba=false;y2ba=false;g2ba=true;

  • 8/13/2019 Density doc

    34/108

    34

    r3cd=true;y3cd=false;g3cd=false;r3ca=true;y3ca=false;g3ca=false;r3cb=true;y3cb=false;g3cb=false;

    r4da=true;y4da=false;g4da=false;r4db=true;y4db=false;g4db=false;r4dc=false;y4dc=false;g4dc=true;

    Abstract: falseStatic: falseVirtual: falseVisibility: publicSignature: phase3()Return Type:voidDescription:

    3.1.1.1.2.4 Operation name: phase4

    Initializer:Const: falseTrigger: falseBody: r1ab=true;y1ab=false;g1ab=false;r1ac=true;y1ac=false;g1ac=false;r1ad=true;y1ad=false;g1ad=false;

    r2bc=true;y2bc=false;g2bc=false;r2bd=true;

    y2bd=false;g2bd=false;r2ba=true;y2ba=false;g2ba=false;

    r3cd=false;y3cd=false;g3cd=true;

  • 8/13/2019 Density doc

    35/108

  • 8/13/2019 Density doc

    36/108

    36

    y3ca=false;g3ca=false;r3cb=true;y3cb=false;g3cb=false;

    r4da=true;y4da=false;g4da=false;r4db=true;y4db=false;g4db=false;r4dc=true;y4dc=false;g4dc=false;

    Abstract: falseStatic: false

    Virtual: falseVisibility: publicSignature: phase5()Return Type:voidDescription:

    3.1.1.1.2.6 Operation name: phase6

    Initializer:Const: falseTrigger: falseBody: r1ab=false;y1ab=false;g1ab=true;r1ac=false;y1ac=false;g1ac=true;r1ad=true;y1ad=false;g1ad=false;

    r2bc=true;y2bc=false;g2bc=false;r2bd=true;y2bd=false;g2bd=false;

    r2ba=true;y2ba=false;g2ba=false;

    r3cd=false;y3cd=false;g3cd=true;r3ca=false;y3ca=false;

  • 8/13/2019 Density doc

    37/108

    37

    g3ca=true;r3cb=true;y3cb=false;g3cb=false;

    r4da=true;y4da=false;g4da=false;r4db=true;y4db=false;g4db=false;r4dc=true;y4dc=false;g4dc=false;

    Abstract: falseStatic: falseVirtual: falseVisibility: public

    Signature: phase6()Return Type:voidDescription:

    3.1.1.1.2.7 Operation name: phase7

    Initializer:Const: falseTrigger: falseBody: r1ab=true;y1ab=false;g1ab=false;r1ac=true;y1ac=false;g1ac=false;r1ad=false;y1ad=false;g1ad=true;

    r2bc=true;y2bc=false;g2bc=false;r2bd=true;y2bd=false;g2bd=false;r2ba=true;y2ba=false;

    g2ba=false;

    r3cd=true;y3cd=false;g3cd=false;r3ca=true;y3ca=false;g3ca=false;r3cb=false;

  • 8/13/2019 Density doc

    38/108

  • 8/13/2019 Density doc

    39/108

    39

    g3cb=false;

    r4da=false;y4da=false;g4da=true;r4db=false;y4db=false;g4db=true;r4dc=false;y4dc=false;g4dc=true;Abstract: falseStatic: falseVirtual: falseVisibility: publicSignature: phase8()Return Type:voidDescription:

    3.1.1.1.2.9 Operation name: yphase1

    Initializer:Const: falseTrigger: falseBody: r1ab=false;y1ab=true;g1ab=false;r1ac=false;y1ac=true;g1ac=false;r1ad=false;y1ad=true;g1ad=false;

    r2bc=false;y2bc=true;g2bc=false;r2bd=false;y2bd=true;g2bd=false;r2ba=true;y2ba=false;g2ba=false;

    r3cd=true;y3cd=false;g3cd=false;

    r3ca=true;y3ca=false;g3ca=false;r3cb=true;y3cb=false;g3cb=false;

    r4da=false;y4da=true;

  • 8/13/2019 Density doc

    40/108

    40

    g4da=false;r4db=false;y4db=true;g4db=false;r4dc=true;y4dc=false;g4dc=false;

    Abstract: falseStatic: falseVirtual: falseVisibility: publicSignature: yphase1()Return Type:voidDescription:

    3.1.1.1.2.10 Operation name: yphase2

    Initializer:

    Const: falseTrigger: falseBody: r1ab=true;y1ab=false;g1ab=false;r1ac=true;y1ac=false;g1ac=false;r1ad=true;y1ad=false;g1ad=false;

    r2bc=false;y2bc=true;g2bc=false;r2bd=false;y2bd=true;g2bd=false;r2ba=false;y2ba=true;g2ba=false;

    r3cd=true;y3cd=false;g3cd=false;r3ca=true;y3ca=false;

    g3ca=false;r3cb=true;y3cb=false;g3cb=false;

    r4da=false;y4da=true;g4da=false;r4db=false;

  • 8/13/2019 Density doc

    41/108

    41

    y4db=true;g4db=false;r4dc=false;y4dc=true;g4dc=false;

    Abstract: falseStatic: falseVirtual: falseVisibility: publicSignature: yphase2()Return Type:voidDescription:

    3.1.1.1.2.11 Operation name: yphase3

    Initializer:Const: falseTrigger: false

    Body: r1ab=true;y1ab=false;g1ab=false;r1ac=true;y1ac=false;g1ac=false;r1ad=true;y1ad=false;g1ad=false;