X-by-Construction Meets Runtime Verification

Beek, Maurice H. ter; Cleophas, Loek; Leucker, Martin; Schaefer, Ina

doi:10.1007/978-3-031-19849-6_9

Cited by 1 publication

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Based on our previous experiences, we intend to study how to deal with safety concerns in the presence of uncertainty, and how probabilistic (and statistical) model-checking techniques or correctness-by-construction techniques can be adapted to provide appropriate fail-safe guarantees for AI-based railway systems. Correctnessby-construction, in particular when considering also non-functional properties (X-by-construction), in combination with probability and runtime verification is being studied also at ISoLA [17,18]. The same holds for formal methods for AI [76].…”

Section: Formal Methods For Aimentioning

confidence: 99%

“…In the "no-case", the model checker typically returns a counterexample, which can be inspected, tested on the model or even on the real system, and used to debug the model or the property. However, in the "yescase", no further evidence is provided 18 . This is very unfortunate for certification, not only in light of the previous limitations, but also since no information for the safety-case is provided, besides the fact that no bug has been found.…”

Section: Trustworthy and Certifiable Verificationmentioning

confidence: 99%

See 1 more Smart Citation

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

Seisenberger¹,

Beek²,

Fan³

et al. 2022

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

In 2020, the EU launched its sustainable and smart mobility strategy, outlining how it plans to have a 90% reduction in transport emission by 2050. Central to achieving this goal will be the improvement of rail technology, with many new data-driven visionary systems being proposed. AI will be the enabling technology for many of those systems. However, safety and security guarantees will be key for wide-spread acceptance and uptake by Industry and Society. Therefore, suitable verification and validation techniques are needed. In this article, we argue how formal methods research can contribute to the development of modern Railway systems -which may or may not make use of AI techniques -and present several research problems and techniques worth to be further considered.

show abstract

Section: Formal Methods For Aimentioning

confidence: 99%

Section: Trustworthy and Certifiable Verificationmentioning

confidence: 99%