Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Forms/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

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

Tarnai, Geza
Schnieder, Eckehard

Paperback

Technology & EngineeringGeneral Computers

ISBN10: 3642427162
ISBN13: 9783642427169
Publisher: Springer
Published: Sep 29 2014
Pages: 257
Weight: 0.85
Height: 0.57 Width: 6.14 Depth: 9.21
Language: English
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.)

1 different editions

Also available

Also from

Schnieder, Eckehard

View All

Also in

Technology & Engineering

View All