Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems
- نوع فایل : کتاب
- زبان : انگلیسی
- مؤلف : Eckehard Schnieder; Géza Tarnai
- ناشر : Berlin ; Heidelberg ; New York : Springer,
- چاپ و سال / کشور: 2011
- شابک / ISBN : 9783642142611
Description
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.)
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. This title focuses on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications.
