Schnieder E., Tarnai G. (Eds.) FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

формат pdf
размер 5.86 МБ
добавлен 03 марта 2011 г.

Springer-Verlag, 2011. 257 p. ISBN 978-3-642-14260-4
Table of Contents
Invited Lectures
Achieving Europe-wide safety through technical harmonization
Ralf Schweinsberg
Open Proof for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security
Klaus-R?diger Hase
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway
Tao Tang
Towards Open Modular Critical Systems
Andr?s Pataricza 1st Day Sessions
Safety and Security in Transportation Process - Not Just Technical Issue
Margarita Peltekova
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation
Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, and Masayuki Matsumoto Complementarity between Axle Counters and Tracks Circuits
Marc Antoni
E?ects of a Periodic Maintenance on the Safety Integrity Level of a Control System
Karol R?sto?ny and Juraj Ilavsk?
Modeling Computer based, microscopic Dispatching Systems
Alexander Kuckelberg and Ekkehard Wendler
A Method of Evaluating Railway Signalling System Based on RAMS Concept
Shigeto Hiraguri, Koji Iwata, and Ikuo Watanabe
Model Checking Interlocking Control Tables
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, and Alessandro Fantechi
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller
Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, and Masayuki Matsumoto
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System
Jo?rey Clarhaut, Etienne Lemaire, and El Miloudi El Koursi
Estimation of Safety Requirements for Wayside Hot Box Detection Systems
Sonja-Lara Bepperling and Andreas Sch?bel
Formal Speci?cation and Automated Veri?cation of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie
Kerstin Hartig, Jens Gerlach, Juan Soto, and J?rgen Busse
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles
Maik Leska, Robert Prabel, Andreas Rauh, and Harald Aschemann
2nd Day Sessions
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment
Maria Antova, Dragan Jovicic, and Thierry Breyne
Designing a semi-quantitative risk graph
Birgit Milius
On the Justi?cation of a Risk Matrix for Technical Systems in European Railways
Jens Braband
Using Guided Simulation to Assess Driver Assistance Systems
Martin Fr?nzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, and Gerald Sauter
The DeSCAS Methodology and Lessons Leaed on Applying Formal Reasoning to Safety Domain Knowledge
Jan Ga?nik, Henning Jost, Frank K?ster, and Martin Fr?nzle
Calibration and Validation of Simulation Models for Investigation of Tra?c Assistance Systems
Stefan Detering and Lars Schnieder
Model-based Integration Framework for Development and Testing Tool -chains
B. Polg?r, I. R?th, and I. Majzik
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL
Sebastian Biallas, J?rg Brauer, Stefan Kowalewski, and Bastian Schlich
Automatic Fault Localization for Programmable Logic Controllers Andr? S?l?ow and Rolf Drechsler
Author Index

Похожие разделы

Смотрите также

Bauer W. Hydropneumatic Suspension Systems

формат pdf
размер 5.01 МБ
добавлен 30 марта 2011 г.

Springer, 2010. 237 p. ISBN:3642151469 Hydropneumatic suspensions systems combine the excellent properties of gas springs with the favourable damping properties of hydraulic fluids. The advantages of these systems are particularly appropriate for automotive applications, such as passenger cars, trucks and agricultural equipment. In this book, Dr. Bauer provides an extensive overview of hydropneumatic suspension systems. Starting with a comparis...

Chiaberge M. (Ed.) New Trends and Developments in Automotive System Engineering

формат pdf
размер 61.4 МБ
добавлен 24 мая 2011 г.

InTech, 2011. 664 p. ISBN:9789533075174 In the last few years the automobile design process is required to become more responsible and responsibly related to environmental needs. Basing the automotive design not only on the appearance, the visual appearance of the vehicle needs to be thought together and deeply integrated with the power developed by the engine. The purpose of this book is to try to present the new technologies development scena...

Gillespie T.D. Fundamentals of Vehicle Dynamics

формат pdf
размер 12.42 МБ
добавлен 26 июля 2011 г.

Society of Automotive Engineers Inc, 1992. 519 p. ISBN-10:1560911999 The first book providing comprehensive coverage of vehicle dynamics in a single volume, Fundamentals of Vehicle Dynamics provides a foundation of engineering principles and analytical methods to explain the performance of an automotive vehicle, with chapters focusing on: acceleration performance; braking performance; aerodynamics and rolling resistance; ride; tires; steady-sta...

M?s F.R., Zhang Q., Hansen A.C. Mechatronics and Intelligent Systems for Off-road Vehicles

формат pdf
размер 6.71 МБ
добавлен 22 марта 2011 г.

Springer, 2010. 278 p. ISBN:184996467X Rapid developments in electronics over the past two decades have induced a move from purely mechanical vehicles to mechatronics design. Recent advances in computing, sensors, and information technology are pushing mobile equipment design to incorporate higher levels of automation under the novel concept of intelligent vehicles. Mechatronics and Intelligent Systems for Off-road Vehicles introduces this conc...

Morello L., Rossini L.R., Pia G., Tonoli A. The Automotive Body: Volume I: Components Design (Mechanical Engineering Series)

формат pdf
размер 32.12 МБ
добавлен 12 марта 2011 г.

1st Edition. Springer, 2011. 692 p. ISBN 978-94-007-0512-8 The first volume produces the needful cultural background on the body; it describes the body and its components in use on most kinds of cars and industrial vehicles: the quantity of drawings that are presented allows the reader to familiarize with the design features and to understand functions, design motivations and fabrication feasibility, in view of the existing production processes...

Morello L., Rossini L.R., Pia G., Tonoli A. The Automotive Body: Volume II: System Design (Mechanical Engineering Series)

формат pdf
размер 15.93 МБ
добавлен 12 марта 2011 г.

1st Edition. Springer, 2011. 692 p. ISBN 978-94-007-0515-9 The Automotive Body consists of two volumes. The first volume produced the needful cultural background on the body; it described the body and its components in use on most kinds of cars and industrial vehicles: the quantity of drawings that are presented allows the reader to familiarize with the design features and to understand functions, design motivations and fabrication feasibility,...

Omar M.A. The Automotive Body Manufacturing Systems and Processes

формат pdf
размер 30.1 МБ
добавлен 29 ноября 2011 г.

Wiley, 2011, 372 pages A comprehensive and dedicated guide to automotive production lines, The Automotive Body Manufacturing Systems and Processes addresses automotive body processes from the stamping operations through the final assembly activities. To begin, it discusses current metal forming practices, including stamping engineering, die development, and dimensional validation, and new innovations in metal forming, such as folding based form...

Popp K., Schiehlen W. Ground Vehicle Dynamics

формат pdf
размер 3.98 МБ
добавлен 15 июня 2011 г.

Springer, 2010. 366 p. ISBN-10:3540240381 Ground Vehicle Dynamics is devoted to the mathematical modelling and dynamical analysis of ground vehicle systems composed of the vehicle body, the guidance and suspension devices and the corresponding guideway. Automobiles on uneven roads and railways on flexible tracks are prominent representatives of ground vehicle systems. All these different kinds of systems are treated in a common way by means of...

Savaresi S.M. Semi-Active Suspension Control Design for Vehicles

формат pdf
размер 10.47 МБ
добавлен 13 мая 2011 г.

Elsevier / Butterworth-Heinemann, 2010. 240 p. ISBN:0080966780 Design greener, safer, and more cost-efficient vehicles using semi-active suspension systems Semi-active suspension systems promise weight efficiencies, cost savings, and higher safety and comfort compared to other types of electronically-controlled suspensions currently in use. With the growing emphasis on fuel economy, reduced CO2 emissions, and cost reductions for all vehicles, t...

Stone R., Ball J.K. Automotive Engineering Fundamentals

формат pdf
размер 24.75 МБ
добавлен 15 октября 2011 г.

SAE International, 2004. 612 p. ISBN:0-7680-0987-1. The automobile has significantly evolved since the late 1800s, when these "ostentatious displays of wealth" - so dubbed by U.S. President Woodrow Wilson - were met with cries of "Get a horse!" as they obtrusively hissed their way down the street. In the introduction of Automotive Engineering Fundamentals, Richard Stone and Jeffrey K. Ball provide a fascinating and often amusing history of the p...