Forms/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

Book Overview

A Formal description means and methods - Concepts, Applications and Requirements in Traffic and Transportation (simulation, UML, Petrinets, AIS, etc.) B Requirements and Applications in Railway (signaling applications, model based design and analysis) C Requirements and Applications in Automotive and Vehicular Technology (control of driving dynamic systems, driver assistance; UML in automotive systems; model based development, diagnosis etc.) D Methods and Tools for Modeling, Validation / Verification, Tests and Diagnosis (system related and functional validation, limits of formal methods, problems using automated tests etc.) E Legal framework (directives, laws, regulations, standards and norms, certification etc.) F Safety and Security (Reliability, Availability and Maintainability, methods for risk analysis; risk acceptance, risk measures, evaluation of RAMS-Parameter) G Human factors and human behaviour (learning, manipulation, FCR-modeling etc.)

• Format: Paperback
• Language: English
• ISBN: 3642427162
• ISBN13: 9783642427169
• Release Date: September 2014
• Publisher: Springer
• Length: 257 Pages
• Weight: 0.85 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"