Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Paulius Stankaitis"'
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:
Lecture Notes in Computer Science ISBN: 9783031077265
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f099dbb7ebb27a88c2e9b810392b38b9
https://doi.org/10.1007/978-3-031-07727-2_7
https://doi.org/10.1007/978-3-031-07727-2_7
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031197611
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69e28e6fd6e271b650b5546a2be21253
https://doi.org/10.1007/978-3-031-19762-8_10
https://doi.org/10.1007/978-3-031-19762-8_10
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
Publikováno v:
IET Computers & Digital Techniques. 13:57-69
Complex hardware systems can be designed by breaking down their behaviour into high-level descriptions of constituent scenarios and then composing these scenarios into an efficient hardware implementation using a form of high-level synthesis. There a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17e5a320978da0d4a6477a59cf0bbe7c
https://doi.org/10.1049/iet-cdt.2018.5073
https://doi.org/10.1049/iet-cdt.2018.5073
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
Autor:
Alexei Iliasov, Paulius Stankaitis
Publikováno v:
ISSRE Workshops
Modernising outdated national railway systems will be done gradually due to practical constraints thus creating network areas with different signalling systems. Formal methods have been successfully applied in the railway domain for years. Yet the la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3498f3f4fdcd66e6fe79ca8a3fa6f511
https://doi.org/10.1109/issrew.2017.66
https://doi.org/10.1109/issrew.2017.66
Autor:
Paulius Stankaitis, Alexei Iliasov
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783319684987
RSSRail
RSSRail
Modernising outdated national railway systems will be done gradually due to practical constraints thus creating network areas with different signalling systems. Formal methods have been successfully applied in the railway domain for years. Yet the la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98b628fb542aab89fbe0cc23eeb5bf28
https://doi.org/10.1007/978-3-319-68499-4_16
https://doi.org/10.1007/978-3-319-68499-4_16