Railway safety, reliability, and security : technologies and systems engineering

"This book provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of 'real-time safety-critical' railway control systems, as well as the protection of rail transportati...

Full description

Saved in:
Bibliographic Details
Other Authors: Flammini, Francesco.
Format: eBook
Language: English
Published: Hershey, PA : Information Science Reference, ©2012.
Subjects:
Railroads > Safety measures.
Railroads > Security measures.
elektronické knihy
electronic books
ISBN: 9781466616448
146661644X
9781621989448
1621989445
9781466616431
1466616431
9781466616455
1466616458
Physical Description: 1 online resource (xxii, 463 pages) : illustrations

Cover

Table of contents

LEADER 04692cam a2200445 a 4500
001 kn-ocn794412685
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
008 120529s2012 paua ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d UIU  |d CDX  |d E7B  |d OCLCQ  |d KNOVL  |d UMI  |d KNOVL  |d YDXCP  |d OCLCQ  |d OCLCF  |d OCLCQ  |d VT2  |d GILDS  |d OL$  |d UHL  |d UKAHL  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL  |d SXB 
020 |a 9781466616448  |q (electronic bk.) 
020 |a 146661644X  |q (electronic bk.) 
020 |a 9781621989448  |q (electronic bk.) 
020 |a 1621989445  |q (electronic bk.) 
020 |z 9781466616431 
020 |z 1466616431 
020 |z 9781466616455 
020 |z 1466616458 
024 8 |a 9786613597410 
035 |a (OCoLC)794412685  |z (OCoLC)794706439  |z (OCoLC)865075671  |z (OCoLC)1005799805  |z (OCoLC)1054007560  |z (OCoLC)1058371963  |z (OCoLC)1113669660  |z (OCoLC)1153053668 
245 0 0 |a Railway safety, reliability, and security :  |b technologies and systems engineering /  |c [edited by] Francesco Flammini. 
260 |a Hershey, PA :  |b Information Science Reference,  |c ©2012. 
300 |a 1 online resource (xxii, 463 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
520 |a "This book provides engineering students and professionals with a collection of state-of-the-art methodological and technological notions to support the development and certification of 'real-time safety-critical' railway control systems, as well as the protection of rail transportation infrastructures"--  |c Provided by publisher 
505 0 0 |t U.S. regulatory requirements for positive train control systems /  |r Mark Hartong, Duminda Wijesekera --  |t The model-driven openETCS paradigm for secure, safe and certifiable train control systems /  |r Jan Peleska, Johannes Feuser, Anne E. Haxthausen --  |t Semi-quantitative risk assessment of technical systems on European railways /  |r Jens Braband --  |t The ForMoSA approach to qualitative and quantative model-based safety analysis /  |r Axel Habermaier ... et al. --  |t Verification and validation of interoperability /  |r Lars Ebrecht, Michael Meyer zu Hörste --  |t Fault injection for on-board ERTMS/ETCS safety assessment /  |r Almir Villaro Arriola, Jon Mendizabal Samper, Juan Meléndez Lagunilla --  |t Impact of electromagnetic environment on reliability assessment for railway signalling systems /  |r Iñigo Adin, Jaizki Mendizabal, Jon del Portillo --  |t Mívtha : a framework for auto-programming and testing of railway controllers for varying clients /  |r Jörn Guy Süss ... et al. --  |t Software-based self-test for reliable applications in railway systems /  |r Alferdo Benso, Stefano Di Carlo, Alessandro Savino --  |t Real-time hardware-in-the-loop in railway : simulations for testing control software of electromechanical train components /  |r Silvio Baccari ... et al. --  |t Hardware-in-the-loop testing of on-board subsystems : some case studies and applications /  |r Luca Pugi, Benedetto Allotta --  |t The role of formal methods in software development for railway applications /  |r Alessandro Fantechi --  |t Symbolic model checking for interlocking systems /  |r Kirsten Winter --  |t Designing usable interactive systems within the railway domain : a human factors approach /  |r Nina Jellentrup, Michael Meyer zu Hörste --  |t Integration of human factors to safety assessments by human barrier interaction /  |r Markus Talg, Malte Hammerl, Michael Meyer zu Hörste --  |t Advanced techniques for monitoring the condition of mission-critical railway equipment /  |r Clive Roberts, Joe Silmon --  |t Security of railway infrastructure /  |r A, Di Febbraro, F. Papa, N. Sacco --  |t ETCS developing and operation : Italian experience --  |t Adoption of low-cost rail level crossing warning devices : an Australian case study /  |r Christian Wullems, George Nikandros. 
590 |a Knovel  |b Knovel (All titles) 
650 0 |a Railroads  |x Safety measures. 
650 0 |a Railroads  |x Security measures. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
700 1 |a Flammini, Francesco. 
776 0 8 |i Print version:  |t Railway safety, reliability, and security.  |d Hershey, PA : Information Science Reference, ©2012  |z 9781466616431  |w (DLC) 2011050505  |w (OCoLC)768800792 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpRSRSTSE1/railway-safety-reliability?kpromoter=marc  |y Full text 

Similar Items