FORMS/FORMAT 2010 [electronic resource] : Formal Methods for Automation and Safety in Railway and Automotive Systems /
Symposium on Formal Methods for Automation and Safety in Railway and Automotive SystemsCorporate Author
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems(8th :2010 :Braunschweig, Germany)
Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Schnieder, Eckehard.editor.
Tarnai, Geza.editor.
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.
""Preface""; ""Conference Organization""; ""Table of Contents""; ""Invited Lectures""; ""Achieving Europe-wide safety through technical harmonization""; ""â€œOpen Proofâ€? 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 Europeâ€?s Railways""; ""1.3 Technology is not the Limiting Factor""; ""2 Software in ETCS Vehicle Equipment""; ""2.1 Impact of â€œClosed Sourceâ€? Software""
""2.2 Software Quality Issues in ETCS Projects""""2.3 Quality Deficiencies in Software Products""; ""2.4 Life Cycle of Complex Software""; ""2.5 New Technologies Have to Have â€œAt Least Same Level of Safetyâ€?""; ""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 â€œEuropeanâ€? Project""; ""3.2 ETCS Vehicle On-Board Units with â€œopenETCSâ€?""; ""3.3 Tools and Documents Need to be Included""; ""3.4 â€œOpen Proofâ€? the ultimate Objective for openETCS""
""3.5 Formal Methods to validate Specification for openETCS""""3.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 Europeâ€?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 Issue""""1 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 management""""3.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""
""Modeling Computer based, microscopic Dispatching Systems""
Papers from the 8th Symposium.
Includes bibliographical references and index.
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.
Quality control.
Reliability.
Industrial safety.
Automotive engineering.
Computer simulation.
Computational complexity.
Quality Control, Reliability, Safety and Risk.
Automotive Engineering.
Simulation and Modeling.
Complexity.