Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Alexei Iliasov"'
Publikováno v:
IEEE Transactions on Dependable and Secure Computing. 20:695-707
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c6d86d9e5b1667ef972b8751fcdc36e
https://doi.org/10.1109/tdsc.2022.3141555
https://doi.org/10.1109/tdsc.2022.3141555
Autor:
Alexander Romanovsky, Fuyuki Ishikawa, Paulius Stankaitis, Alexei Iliasov, Yamine Ait-Ameur, Tsutomu Kobayashi
Publikováno v:
Formal Aspects of Computing. 33:1009-1036
The decentralised railway signalling systems have a potential to increase capacity, availability and reduce maintenance costs of railway networks. However, given the safety-critical nature of railway signalling and the complexity of novel distributed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52105f00985f218383979e6e3b60f70f
https://doi.org/10.1007/s00165-021-00567-y
https://doi.org/10.1007/s00165-021-00567-y
Publikováno v:
IEEE Transactions on Reliability. 70:676-691
Industry applications of formal verification to signaling control tables require formulation of a large number of mathematical conjectures expressing verification rules. It is paramount to establish the validity and completeness of these conjectures.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c98d291f2e1854c980f5af3dd76b397d
https://doi.org/10.1109/tr.2020.3047462
https://doi.org/10.1109/tr.2020.3047462
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eca9f91de44c2513fa2eea0a21dca9d6
https://doi.org/10.1007/978-3-031-05814-1_2
https://doi.org/10.1007/978-3-031-05814-1_2
Autor:
Yamine Aït-Ameur, Sergiy Bogomolov, Guillaume Dupont, Alexei Iliasov, Alexander Romanovsky, Paulius Stankaitis
Publikováno v:
Formal Aspects of Computing. 35:1-1
For years, formal methods have been successfully applied in the railway domain to formally demonstrate safety of railway systems. Despite that, little has been done in the field of formal methods to address the cyber-physical nature of modern railway
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9bd92af9c93a7006f96d97a0188a9ebc
https://doi.org/10.1145/3524052
https://doi.org/10.1145/3524052
Autor:
Tsutomu Kobayashi, Yamine Ait-Ameur, Fuyuki Ishikawa, Paulius Stankaitis, Alexander Romanovsky, Alexei Iliasov
Publikováno v:
Rigorous State-Based Methods ISBN: 9783030480769
ABZ
ABZ
The decentralisation of railway signalling systems has the potential to increase railway network capacity, availability and reduce maintenance costs. Given the safety-critical nature of railway signalling and the complexity of novel distributed signa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b02c5839110bde6a285d050f01a2f2f9
https://doi.org/10.1007/978-3-030-48077-6_14
https://doi.org/10.1007/978-3-030-48077-6_14
Publikováno v:
International Journal of Transport Development and Integration. 1:558-567
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82d7e8f259a449f214f61cce4d83678a
https://doi.org/10.2495/tdi-v1-n3-558-567
https://doi.org/10.2495/tdi-v1-n3-558-567
Autor:
Guillaume Dupont, Neeraj Kumar Singh, Alexander Romanovsky, Alexei Iliasov, Paulius Stankaitis, Yamine Ait-Ameur
Publikováno v:
ICECCS
The modern radio-based railway signalling systems aim to increase network's capacity by enabling trains to run closer to each other. At the core of such systems is train's on-board computer (discrete) responsible for computing and controlling the spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9dc1f651893a38e983c0262e959dabae
https://doi.org/10.1109/iceccs.2019.00019
https://doi.org/10.1109/iceccs.2019.00019
Publikováno v:
HASE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5fcf3c0963277c5f29f4bf65707f94da
https://doi.org/10.1109/hase.2019.00013
https://doi.org/10.1109/hase.2019.00013
Publikováno v:
Developments in Language Theory ISBN: 9783319986531
SAFECOMP
SAFECOMP
SafeCap is a modern toolkit for modelling, simulation and formal verification of railway networks. This paper discusses the use of SafeCap for formal analysis and fully-automated scalable safety verification of solid state interlocking (SSI) programs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a95a36b348c8b9ebe8e0dfa970401261
https://doi.org/10.1007/978-3-319-99130-6_7
https://doi.org/10.1007/978-3-319-99130-6_7