Changes for page Basic design

Last modified by nfl on 2025/01/30 12:05

Manage
- Copy
Actions
- Export
- Print Preview
Viewers
- Source
- Children
- Content

From 18.1 to 17.1 From 20.1 to 19.1

From version 19.1

edited by sna
on 2014/08/20 23:21

Change comment: There is no comment for this version

To version 18.1

edited by sna
on 2014/08/13 03:55

Change comment: There is no comment for this version

Raw
Rendered

Summary

Page properties (1 modified, 0 added, 0 removed)
Objects (1 modified, 0 added, 0 removed)
- Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

@@ -63,9 +63,9 @@
    bool OC_LN_2_req[11], OC_LN_3_req[11], OC_LN_4_req[11], OC_LN_5_req[11];
    bool OC_ST_0_req[11], OC_ST_1_req[11], OC_ST_2_req[11], OC_ST_3_req[11];
    bool OC_ST_4_req[11], OI_LN_0_req[11], OI_LN_1_req[11], OI_LN_2_req[11];
--  bool req_in_R, req_out_R, req_in_L, req_out_L;
--  // Set of permission variables for all tracks
++  // Set of permission variables for all tracks
++  bool req_in_R, req_out_R, req_in_L, req_out_L, perm_in_R, perm_out_R, perm_in_L, perm_out_L;
    int IC_JCT_0_perm, IC_LN_0_perm, IC_LN_1_perm, IC_LN_2_perm;
    int IC_LN_3_perm, IC_LN_4_perm, IC_LN_5_perm, IC_ST_0_perm;
    int IC_ST_1_perm, IC_ST_2_perm, IC_ST_3_perm, IC_ST_4_perm;
@@ -78,7 +78,6 @@
    int OC_LN_2_perm, OC_LN_3_perm, OC_LN_4_perm, OC_LN_5_perm;
    int OC_ST_0_perm, OC_ST_1_perm, OC_ST_2_perm, OC_ST_3_perm;
    int OC_ST_4_perm, OI_LN_0_perm, OI_LN_1_perm, OI_LN_2_perm;
--  bool perm_in_R, perm_out_R, perm_in_L, perm_out_L;
    // Debug flag for additional output
    bool debug = false;
@@ -552,185 +552,3 @@
    final state reallyDone;
  }
  {{/code}}
--
--== Dynamic Controller ==
--
--The dynamic controller handles all 11 Trains. For each train the controller has a region with a referenced dynamic scheduling. Thereby each train can follow an arbitrary schedule. Additionally the controller has a region for stable cleanup function.
--
--{{code linenumbers="true" language="sct"}}
--//
--// Dynamic controller for 11 trains
--//
--scchart DynamicController11 {
--  // Set of request variables for all tracks for 11 trains
--  bool IC_JCT_0_req[11], IC_LN_0_req[11], IC_LN_1_req[11], IC_LN_2_req[11];
--  bool IC_LN_3_req[11], IC_LN_4_req[11], IC_LN_5_req[11], IC_ST_0_req[11];
--  bool IC_ST_1_req[11], IC_ST_2_req[11], IC_ST_3_req[11], IC_ST_4_req[11];
--  bool IO_LN_0_req[11], IO_LN_1_req[11], IO_LN_2_req[11], KH_LN_0_req[11];
--  bool KH_LN_1_req[11], KH_LN_2_req[11], KH_LN_3_req[11], KH_LN_4_req[11];
--  bool KH_LN_5_req[11], KH_LN_6_req[11], KH_LN_7_req[11], KH_LN_8_req[11];
--  bool KH_ST_0_req[11], KH_ST_1_req[11], KH_ST_2_req[11], KH_ST_3_req[11];
--  bool KH_ST_4_req[11], KH_ST_5_req[11], KH_ST_6_req[11], KIO_LN_0_req[11];
--  bool KIO_LN_1_req[11], OC_JCT_0_req[11], OC_LN_0_req[11], OC_LN_1_req[11];
--  bool OC_LN_2_req[11], OC_LN_3_req[11], OC_LN_4_req[11], OC_LN_5_req[11];
--  bool OC_ST_0_req[11], OC_ST_1_req[11], OC_ST_2_req[11], OC_ST_3_req[11];
--  bool OC_ST_4_req[11], OI_LN_0_req[11], OI_LN_1_req[11], OI_LN_2_req[11];
--  bool req_in_R , req_out_R , req_in_L , req_out_L;
--
--  // Set of permission variables for all tracks
--  int IC_JCT_0_perm, IC_LN_0_perm, IC_LN_1_perm, IC_LN_2_perm;
--  int IC_LN_3_perm, IC_LN_4_perm, IC_LN_5_perm, IC_ST_0_perm;
--  int IC_ST_1_perm, IC_ST_2_perm, IC_ST_3_perm, IC_ST_4_perm;
--  int IO_LN_0_perm, IO_LN_1_perm, IO_LN_2_perm, KH_LN_0_perm;
--  int KH_LN_1_perm, KH_LN_2_perm, KH_LN_3_perm, KH_LN_4_perm;
--  int KH_LN_5_perm, KH_LN_6_perm, KH_LN_7_perm, KH_LN_8_perm;
--  int KH_ST_0_perm, KH_ST_1_perm, KH_ST_2_perm, KH_ST_3_perm;
--  int KH_ST_4_perm, KH_ST_5_perm, KH_ST_6_perm, KIO_LN_0_perm;
--  int KIO_LN_1_perm, OC_JCT_0_perm, OC_LN_0_perm, OC_LN_1_perm;
--  int OC_LN_2_perm, OC_LN_3_perm, OC_LN_4_perm, OC_LN_5_perm;
--  int OC_ST_0_perm, OC_ST_1_perm, OC_ST_2_perm, OC_ST_3_perm;
--  int OC_ST_4_perm, OI_LN_0_perm, OI_LN_1_perm, OI_LN_2_perm;
--  bool perm_in_R , perm_out_R , perm_in_L , perm_out_L;
--
--  // Flags needed for stable cleanup function
--  //----------------------------------------------------------------------------------------
--  // Flags for trains are ready and back at home
--  bool trainDone[11];
--  // Flags for trains are on their home circle
--  bool circle[11];
--  // Flag for trains 0 to 7 are back at home and trains 8 to 10 are on their home circle
--  bool mainDone;
--  // Flag for all trains are back at home
--  bool allDone;
--  //----------------------------------------------------------------------------------------
--
--  // Debug flag for additional output
--  bool debug;
--  // Cleanup flag for halting the trains at home station tracks
--  bool cleanup;
--  // Variable, that gives the number of trains to C-Controller for stability check
--  int trainCount;
--  // Constant needed for binding to referenced SCCharts
--  const bool c_TRUE = true;
--
--
--  // State initializing the trains on corresponding tracks
--  initial state init references initRailway11Trains
--  >-> run;
--
--
--  // State handling the train schedules
--  state run {
--
--    // Region handling the cleanup function
--    region Abort:
--      initial state notDone
--      // Transition when trains 0 to 7 are back at home and trains 8 to 10 are on their home circle
--      --> mainDone with trainDone[0] & trainDone[1] & trainDone[2]
--          & trainDone[3] & trainDone[4] & trainDone[5]
--          & trainDone[6] & trainDone[7]
--          & circle[8] & circle[9] & circle[10];
--
--      // State for allowing trains 8 to 10 to halt on the home track
--      state mainDone
--      --> quitCircle with / mainDone = true;
--
--      // State waiting for trains 8 to 10 halt and setting flag for terminate the controller
--      state quitCircle
--      --> done with trainDone[8] & trainDone[9] & trainDone[10] / allDone = true;
--
--      final state done;
--
--    // Regions handling the mutual exclusion on the track segments
--    region Mutexes:
--      initial state Mutexes references mutexRailway11Trains
--      // terminates with a strong abort when all trains are at home
--      o-> done with allDone;
--
--      final state done;
--
--    region KH_Mutexes:
--      initial state KH_Mutexes references kh_mutex
--      // terminates with a strong abort when all trains are at home
--      o-> done with allDone;
--
--      final state done;
--
--    // Regions that contain the dynamic schedules for trains 0 to 7
--    //--------------------------------------------------------------------------------------
--
--    // Region with the dynamic schedule for train 0
--    region Train0:
--      initial state Train0 {
--        @alterHostcode
--        const int trainNum = 0
--        // Variable for saving the home track
--        int homeTrack = 1;
--        // Variable for saving the home station
--        int homeStation = 1;
--
--        // State referenced to dynamic scheduling
--        initial state drive
--          references DynamicSheduling
--            // Binding circleDone to true for halting at home if cleanup is set
--            bind circleDone to c_TRUE
--        // Set a flag and a light for train at home
--        >-> done with / 'railLight(10,1)'; trainDone[0] = true;
--
--        final state done;
--      }
--      >-> done;
--
--      final state done;
--
--    // ... (other regions for trains 1 to 7 such as before)
--
--    //--------------------------------------------------------------------------------------
--
--
--
--
--    // Regions that contain the dynamic schedules for trains 8 to 10
--    // Differences to regions above is that the trains 8 to 10 circle at home station circle
--    // until trains 0 to 7 are back at home station and track
--    // For this circleDone binds mainDone flag
--    //--------------------------------------------------------------------------------------
--
--    // Region with the dynamic schedule for train 8
--    region Train8:
--      initial state Train8 {
--        @alterHostcode
--        const int trainNum = 8
--        // Variable for saving the home track
--        int homeTrack = 5;
--        // Variable for saving the home station
--        int homeStation = 1;
--
--        // State referenced to dynamic scheduling
--        initial state drive
--          references DynamicSheduling
--            // Binding circleDone to mainDone for halting at home only if cleanup is set
--            // and trains 0 to 7 are at home and 8 to 10 on home circle
--            bind circleDone to mainDone
--       // Set a flag and a light for train at home
--       >-> done with / 'railLight(6,1)'; trainDone[8] = true;
--
--        final state done;
--      }
--      >-> done;
--
--      final state done;
--
--      // ... (other regions for trains 9 and 10 such as before)
--      //--------------------------------------------------------------------------------------
--
-- }
--  >-> flash;
--
--  // State for flashing the lights at the end of the controller
--  state flash
--  --> done with / 'railFlashLight()';
--
--  final state done;
--}
--{{/code}}

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--9471750
++9471746

URL

@@ -1,1 +1,1 @@
--https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471750/Basic design
++https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9471746/Basic design

Changes for page Basic design

Summary

Details

Navigation

Quick Links