Artificial Intelligence
Real-time knowledge-based control systems
Communications of the ACM
GATES: An Airline Gate Assignment and Tracking Expert System
IEEE Expert: Intelligent Systems and Their Applications
Hierarchical Modeling of the VLSI Design Process
IEEE Expert: Intelligent Systems and Their Applications
Instantiating generic charts for railway interlocking systems
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal approach to railway applications
Formal methods and hybrid real-time systems
Topologically configurable systems as product families
Proceedings of the 17th International Software Product Line Conference
Formal safety proof: a real case study in a railway interlocking system
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
The designs and implementations of two expert systems applicable to any railway station, the automatic train protection (ATP) design expert system (ADES), which automatically designs ATP systems, and the stationmaster assistant (SMA) which helps stationmasters choose safe routes, are discussed. These systems use shared knowledge to explicitly represent ATP systems and routes, making the systems easily understood, structured, and maintained. A knowledge-based approach enables the system to explain their decisions. The explanation module in ADES provides why and how facilities, both to simplify the maintenance and validation of the knowledge base and to train new experts on the ATP system functions. SMA operators can ask why a route was or was not feasible. When the stationmaster asks for currently feasible routes, the SMA presents the feasible routes, then the occupied routes, and then the unfeasible routes with explanations.