E-Books durchsuchen

Formal Methods Applied to Industrial Complex Systems [2014]

1
Formal Description and Modeling of Risks
27
An Innovative Approach and an Adventure in Rail Safety
37
Use of Formal Proof for CBTC (OCTYS)
71
Safety Demonstration for a Rail Signaling Application in Nominal and Degraded Modes Using Formal Proof
115
Formal Verification of Data for Parameterized Systems
137
ERTMS Modeling Using EFS
165
The Use of a “Model‐Based Design” Approach on an ERTMS Level 2 Ground System
191
Applying Abstract Interpretation to Demonstrate Functional Safety
235
BCARe: Automatic Rule Checking for Use with Siemens
275
Validation of Railway Security Automatisms Based on Petri Networks
353
Combination of Formal Methods for Creating a Critical Application
391
Mathematical Proofs for the New York Subway
409
Conclusion
449
Glossary
455
List of Authors
457
Index
i
Front Matter
Feedback