Weitere Kapitel dieses Buchs durch Wischen aufrufen
Designs of railway infrastructure (tracks, signalling and control systems, etc.) need to comply with comprehensive sets of regulations describing safety requirements, engineering conventions, and design heuristics. We have previously worked on automating the verification of railway designs against such regulations, and integrated a verification tool based on Datalog reasoning into the CAD tools of railway engineers. This was used in a pilot project at Norconsult AS (formerly Anacon AS). In order to allow railway engineers with limited logic programming experience to participate in the verification process, in this work we introduce a controlled natural language, RailCNL, which is designed as a middle ground between informal regulations and Datalog code. Phrases in RailCNL correspond closely to those in the regulation texts, and can be translated automatically into the input language of the verifier. We demonstrate a prototype system which, upon detecting regulation violations, traces back from errors in the design through the CNL to the marked-up original text, allowing domain experts to examine the correctness of each translation step and better identify sources of errors. We also describe our design methodology, based on CNL best practices and previous experience with creating verification front-end languages.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Authorities typically make small adjustments to regulations several times per year, whereas engineering best practices can be revised at any time.
Such expert knowledge is often seen as proprietary valuable assets of the company.
The examples presented in this text are English translations of originally Norwegian content.
Norwegian infrastructure manager Bane NOR’s regulations: https://trv.jbv.no/.
Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008) MATH
Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge (2000) MATH
Johannisson, K.: Natural language specifications. In: Beckert et al. , pp. 317–333. doi: 10.1007/978-3-540-69061-0_7
Ljunglöf, P.: Editing syntax trees on the surface. In: NoDaLiDa 2011, pp. 138–145 (2011)
Luteberget, B., Camilleri, J.J., Johansen, C., Schneider, G.: Participatory Verification of Railway Infrastructure Regulations using RailCNL (long version). Technical report 465, University of Oslo (2017)
Ranta, A., Camilleri, J., Détrez, G., Enache, R., Hallgren, T.: Grammar tool manual and best practices. Technical report, MOLTO Deliverable D2.3, MOLTO Consortium, Göteborg (2012). http://www.molto-project.eu/biblio/deliverable/grammar-tools-and-best-practices
Sharp, H., Rogers, Y., Preece, J.: Interaction Design: Beyond Human-Computer Interaction. Wiley, New York (2007)
Ullman, J.D.: Principles of Database and Knowledge-Base Systems. CSPP, New York (1988)
Vu, L.H., Haxthausen, A.E., Peleska, J.: A domain-specific language for railway interlocking systems. In: FORMS/FORMAT 2014, pp. 200–209. TU Braunschweig (2014)
- Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
John J. Camilleri
Neuer Inhalt/© ITandMEDIA