FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems - Softcover
Synopsis
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.)
"synopsis" may belong to another edition of this title.
