The PROBAnD Railway Crossing

HTML documents have been generated from the respective SDL specification.

Organizer View

Chapter Definitions

Package Utils (default utilities package for PROBAnD method)

Package Project (project specific 'includes', contains all signal definitions and data types)

Chapter Environment-Objects Package EnvRoad    Block Type EnvRoad       Block EnvRoadCtrl          Process EnvRoadCtrl             Procedure checkNo Package EnvGate    Block Type EnvGate       Block EnvGateCtrl          Process EnvGateCtrl             Procedure report             Procedure setPhysVal Package EnvSignal    Block Type EnvSignal       Block EnvSignalCtrl          Process EnvSignalMasterCtrl          Process EnvSignalCtrl             Procedure setPhysVal             Procedure report Package EnvTrainSens    Block Type EnvTrainSens       Block EnvTrainSensCtrl          Process EnvTrainSensMasterCtrl          Process EnvTrainSensCtrl Package EnvTrain    Block Type EnvTrain       Process EnvTrainMasterCtrl       Process EnvTrainCtrl          Procedure setCurPos          Procedure compDistDur          Procedure report Package EnvTrack    Block Type EnvTrack       Block EnvTrackCtrl          Process EnvTrackMasterCtrl          Process EnvTrackCtrl Package EnvCrossing    Block Type EnvCrossing       Block EnvCrossingCtrl          Process EnvCrossingCtrl

Chapter Controller-Objects Package RoadCtrl    Block Type RoadCtrl       Block RoadCtrlCtrl          Process RoadCtrlCtrl             Procedure setPhysVal Package SignalCtrl Package GateCtrl Package TrainSensCtrl    Block Type TrainSensCtrl       Block TrainSensCtrlCtrl          Process TrainSensCtrlMasterCtrl          Process TrainSensCtrlCtrl             Procedure setPhysVal Package TrackCtrl    Block Type TrackCtrl       Block TrackCtrlCtrl          Process TrackCtrlMasterCtrl          Process TrackCtrlCtrl Package CrossingCtrl    Block Type CrossingCtrl       Block CrossingCtrl          Process CrossingCtrlCtrl             Procedure checkForHalt             Procedure sendGo             Procedure checkFastTrains

Chapter System Package RWCrossing    Block Type RWCrossing       Block RWCrossingCtrl          Process RWCrossingCtrl             Procedure setPhysVal Package ProtoDriver (together with GenSys this package forms the generic part of each PROBAnD specification)    Block Type ProtoDriver       Block ProtoDriverCtrl          Process ProtoDriverCtrl System GenSys (the generic system for all PROBAnD specifications, realizes connection to environment, ...)    Block ProtoCtrl       Process ProtoCtrl          Service OutServ             Procedure setPhysEventMode             Procedure putAnalogVal             Procedure pollPhysVal             Procedure putPhysServerVal             Procedure putPanelVal             Procedure putProtoStubSignal             Procedure pollPhysData             Procedure putPhysData          Service InServ          Service GlobServ             Procedure announceInstance             Procedure revokeInstance             Procedure getPID