Description |
1 online resource (xi, 256 pages) |
Contents |
Preface -- Conference Organization -- Table of Contents -- Invited Lectures -- Achieving Europe-wide safety through technical harmonization -- “Open Proof� for Railway Safety Software -A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security -- 1 Introduction -- 1.1 From National Diversity to European Standard -- 1.2 ETCS: A new Challenge for Europe�s Railways -- 1.3 Technology is not the Limiting Factor -- 2 Software in ETCS Vehicle Equipment -- 2.1 Impact of “Closed Source� Software |
|
2.2 Software Quality Issues in ETCS Projects2.3 Quality Deficiencies in Software Products -- 2.4 Life Cycle of Complex Software -- 2.5 New Technologies Have to Have “At Least Same Level of Safety� -- 2.6 Changing Business Model for Software: From Sales to Service -- 3 Proposal: Free / Libre Open Source Software for ETCS -- 3.1 Public License for an “European� Project -- 3.2 ETCS Vehicle On-Board Units with “openETCS� -- 3.3 Tools and Documents Need to be Included -- 3.4 “Open Proof� the ultimate Objective for openETCS |
|
3.5 Formal Methods to validate Specification for openETCS3.6 How FLOSS can meet Safety and Security Requirements -- 3.7 How to Phase-in an OSS Approach into a Proprietary Environment? -- 3.8 Economical Aspects of openETCS for Europe�s Railway Sector -- 3.9 Benefits for the ETCS Manufacturers -- 3.10 Benefits for Operators and Vehicle Owners -- 4 Conclusion -- References -- Formal Method and its Application on TrainOperation Control System of Chinese high-speed Railway -- Towards Open Modular Critical Systems * -- 1 Overview -- 1st Day Sessions 2nd December 2010 |
|
Safety and Security in Transportation Process -Not Just Technical Issue1 Introduction -- 2 Modeling Human Behaviour -- 3 Modeling the Impact of Human Behavior on Safetyand Security of the Transportation Process -- 4 Conclusion -- References -- The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable -- 1 Introduction -- 2 About East Japan Railway Company -- 3 Evaluation of current railway signalling system by RAMS -- 3.1 What is RAMS? -- 3.2 Problems in failure verification related to railway signalling system in JR East |
|
3.3 Importance of reliability management3.4 Method of analysis -- 3.5 Analysis result -- 4 Conclusion -- References -- Complementarity between Axle Counters and Tracks Circuits -- 1 Introduction -- 2 Technical presentation of the TC and the AC -- 3 Functional differences and specific Constraints -- 4 Modelling -- 5 Conclusions -- References -- Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System * -- 1 Introduction -- 2 Theoretical basis -- 3 Case study -- 4 Conclusion -- References |
Summary |
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown |
Bibliography |
Includes bibliographical references and author index |
Notes |
Print version record |
In |
Springer eBooks |
Subject |
Transportation -- Safety measures -- Data processing -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
System safety -- Congresses
|
|
Engineering.
|
|
Engineering
|
|
Computer Simulation
|
|
engineering.
|
|
simulation.
|
|
BUSINESS & ECONOMICS -- Industries -- Transportation.
|
|
TRANSPORTATION -- Public Transportation.
|
|
Ingénierie.
|
|
Formal methods (Computer science)
|
|
System safety
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Schnieder, Eckehard.
|
|
Tarnai, Géza
|
LC no. |
2011921311 |
ISBN |
9783642142611 |
|
3642142613 |
|
3642142605 |
|
9783642142604 |
|