Limit search to available items
Book Cover
E-book

Title Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems / Eckehard Schnieder, Géza Tarnai, Editors
Published Berlin ; Heidelberg ; New York : Springer, ©2011
©2011

Copies

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