標題: Titlebook: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi; Second International Alessandro Fante [打印本頁] 作者: False-Negative 時間: 2025-3-21 17:52
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi影響因子(影響力)
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi影響因子(影響力)學科排名
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi網(wǎng)絡公開度
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi網(wǎng)絡公開度學科排名
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi被引頻次
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi被引頻次學科排名
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi年度引用
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi年度引用學科排名
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi讀者反饋
書目名稱Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi讀者反饋學科排名
作者: 預測 時間: 2025-3-21 21:56 作者: Compass 時間: 2025-3-22 01:29 作者: 擁護 時間: 2025-3-22 06:50
978-3-319-68498-7Springer International Publishing AG 2017作者: 笨拙處理 時間: 2025-3-22 11:30
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi978-3-319-68499-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Spinous-Process 時間: 2025-3-22 16:16 作者: 盡管 時間: 2025-3-22 20:23
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programmingconsidering the track segments that are no longer available and the positions of the vehicles in the urban area. The recomputed routes guarantee the minimal waiting time for passengers. Safety of the computed routes is also guaranteed.作者: cyanosis 時間: 2025-3-22 21:16 作者: 易改變 時間: 2025-3-23 04:34
Cyber Security in Railways: Quo Vadis?rward for the railway sector, how many advantages of digitalization can be realized without compromising safety. In particular topics like standardization or certification are covered, but also technical issues like SW update.作者: catagen 時間: 2025-3-23 06:59
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systemsllows efficient simulation of several hours of networks operations within a few seconds. We demonstrate the capacities of this simulation scheme on a case study and show how statistics can be derived during simulation campaigns. We then discuss possible improvements to increase accuracy of models.作者: 狂熱語言 時間: 2025-3-23 13:21 作者: Compass 時間: 2025-3-23 14:27
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineeringthe system, including humans-in-the-loop, but incorporates semi-quantitative risk assessment based on existing industry practice. We demonstrate this new approach using the case study of train braking control.作者: Generic-Drug 時間: 2025-3-23 18:43 作者: PANEL 時間: 2025-3-23 23:13
Deductive Verification of Railway Operationscation. We illustrate our methodology with the proof that for any well-formed infrastructure operating according to the regulations of Deutsche Bahn the following safety property holds: whenever a train leaves a station, the next section is free and no other train on the same line runs in the opposite direction.作者: 抱狗不敢前 時間: 2025-3-24 04:48
0302-9743 Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. . The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verif作者: 臥虎藏龍 時間: 2025-3-24 10:00
Cyber Security in Railways: Quo Vadis?ends, such as digitalization or?the use of commercial IT and communication systems the threat potential has increased. This paper discusses the way forward for the railway sector, how many advantages of digitalization can be realized without compromising safety. In particular topics like standardiza作者: Charlatan 時間: 2025-3-24 11:55 作者: 做事過頭 時間: 2025-3-24 17:14 作者: 原來 時間: 2025-3-24 19:28 作者: Insensate 時間: 2025-3-25 01:37 作者: 本能 時間: 2025-3-25 04:00 作者: atopic 時間: 2025-3-25 09:04
A Domain-Specific Language for Generic Interlocking Models and Their Properties a generic system with configuration data. In this paper, we present a domain-specific language, ., for specifying generic behavioural models and generic properties of interlocking systems. An IDL specification of a generic model consists of generic variable declarations and generic transition rules作者: Crohns-disease 時間: 2025-3-25 12:12 作者: Dri727 時間: 2025-3-25 16:37 作者: 闡明 時間: 2025-3-25 20:04
Safety Analysis of a CBTC System: A Rigorous Approach with Event-Bg and brownfield deployment on an existing interlocking infrastructure. Octys is already in operation on several metro lines in Paris, and RATP plans its deployment on several other lines in the forthcoming years. Besides the size and complexity of the system, the main technical challenges of the an作者: 極肥胖 時間: 2025-3-26 02:09
B-PERFectstems before their deployment in its network. Whenever possible, this activity is performed using the PERF approach (Proof Executed over a Retro-engineered Formal model). PERF is a methodology which handles formal verification of already developed software. This approach is applied to a variety of s作者: Visual-Acuity 時間: 2025-3-26 06:45 作者: 使厭惡 時間: 2025-3-26 09:01
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systemsient simulation model that can represent a network, animate metros, and integrate existing regulation schemes as black boxes. This macroscopic model allows efficient simulation of several hours of networks operations within a few seconds. We demonstrate the capacities of this simulation scheme on a 作者: senile-dementia 時間: 2025-3-26 16:18
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systeles LRT On-Board-Systems (OBS) architecture, which is designed to achieve a high level of availability. Such architecture is built on top of open source technologies and consolidated telecommunication standards. Architectural requirements are met also thanks to the used Open-Source foundations. In p作者: 織布機 時間: 2025-3-26 20:15
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programmingf fleet vehicles has been proved useful for improving the delivered services. Traditionally, routes are planned beforehand. However, with the advent of autonomous urban transport systems (e.g. autonomous cars), possible obstructions of tracks due to traffic congestion or bad weather conditions need 作者: 表被動 時間: 2025-3-26 22:18
rnt haben, hoch im Kurs? Oder brennt das ,John Travolta Saturday-Night-Fever‘ doch noch nicht auf Sparflamme? Oder geht den Jugendlichen im Zuge eines neuen K?rpergefühls namens Fitness nach diversen Wellen und Booms der Breakdance jetzt voll ins Blut? Die Einstellung der Jugendlichen zum Tanzen; we作者: GRAIN 時間: 2025-3-27 02:52 作者: Graphite 時間: 2025-3-27 05:40
Manel Fredj,Sven Leger,Abderrahmane Feliachi,Julien Ordioniine ausführliche Darstellung über das Konzept seines beabsichtigten Dissertations- themas haben in mir das Interesse geweckt, das mich zur Annahme von Herrn Sch?fer, als einzigen Dissertanten im Jahre 1988, bewegten. Das nun vorliegende Buch kann man als ein wohlabgewogenes mixtum compositum zwische作者: 半球 時間: 2025-3-27 10:56 作者: 不怕任性 時間: 2025-3-27 13:58 作者: 非實體 時間: 2025-3-27 18:52 作者: 休息 時間: 2025-3-27 23:19 作者: 大氣層 時間: 2025-3-28 03:58
Alexandra Halchin,Abderrahmane Feliachi,Neeraj Kumar Singh,Yamine Ait-Ameur,Julien Ordioniinen unterschiedlichen Ausdrucksformen vom aktiven Sport der Vereinsmitglieder bis hin zum Hochleistungssport der Spitzenathleten mit seiner Anziehungskraft für Zuschauer und Publikum als auch für den nicht-organisierten Sport in seinen privat-spontanen, seinen kommerziellen oder halb-kommerziellen 作者: Pericarditis 時間: 2025-3-28 09:05
LTE System Design for Urban Light Rail Transportof mobility, handovers degrade signaling performance, which can be guaranteed only if a QoS-aware scheduler is adopted. In conclusions, our results demonstrate that LTE-A can safely support operative and non-critical applications in urban transportation scenarios, where strong connectivity requireme作者: BILE 時間: 2025-3-28 11:54 作者: Obituary 時間: 2025-3-28 17:44 作者: corn732 時間: 2025-3-28 21:08 作者: 遍及 時間: 2025-3-29 01:29 作者: 提升 時間: 2025-3-29 03:54
Safety Analysis of a CBTC System: A Rigorous Approach with Event-Bwe obtain a rigorous mathematical proof of the safety at system level—a level that is usually covered by informal reasoning and domain expert knowledge only. Such proof is thus feasible and it brings to light and precisely records the knowledge and know-how of the domain experts that have designed t作者: 吞噬 時間: 2025-3-29 09:20
B-PERFect of PERF: HLL. HLL is a synchronous data-flow language equipped with formal verification techniques. The differences between B and HLL are pointed out and the translation process is presented in this regard.作者: instill 時間: 2025-3-29 14:07 作者: Generalize 時間: 2025-3-29 16:38
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systefull mastership changeover is performed and another redundant box becomes the new master (2) a micro-service is migrated to another redundant box in order to take control of the same non-faulty device. The described architecture is being actively used in both LRT and metro solutions, thus this work 作者: 合群 時間: 2025-3-29 20:16
Roberto Canonico,Stefano Marrone,Roberto Nardone,Valeria Vittorini作者: nocturia 時間: 2025-3-30 02:21 作者: TOXIC 時間: 2025-3-30 07:23 作者: 禁止 時間: 2025-3-30 09:36 作者: Licentious 時間: 2025-3-30 14:33 作者: DAMN 時間: 2025-3-30 19:34 作者: Control-Group 時間: 2025-3-30 23:54 作者: amenity 時間: 2025-3-31 03:49 作者: 激怒 時間: 2025-3-31 06:01 作者: rectocele 時間: 2025-3-31 10:07
Gianluca Mandò,Giovanni Giambenekutiert. Diese werden anschlie?end entlang des aktuellen Forschungsstands ausgearbeitet. Dabei liegt der Fokus auf Studien, die im Zusammenhang mit den Annahmen 3 bis 6 berichtet werden. Diese werden mit Angaben zum Studiendesign und zur Stichprobengr??e vorgestellt.
