Safety of high speed ground transportation systems : analytical methodology for safety validation of computer controlled subsystems

LDR 02221nam a2200433Ia 4500
001 102587035
003 MiAaHDL
005 20190521000000.0
006 m d
007 cr bn ---auaua
008 951026s1995 dcu t f000 0 eng d
035 ⊔ ⊔ ‡asdr-ucbk.b116017910
040 ⊔ ⊔ ‡aCU-IT ‡cCU-IT
088 ⊔ ⊔ ‡aDOT-VNTSC-FRA-95-8
088 ⊔ ⊔ ‡aDOT/FRA/ORD-95/10
035 ⊔ ⊔ ‡a(OCoLC)33377355
100 1 ⊔ ‡aLuedeke, Jonathan F.
245 1 0 ‡aSafety of high speed ground transportation systems : ‡banalytical methodology for safety validation of computer controlled subsystems / ‡c[Jonathan F. Luedeke]
246 3 3 ‡aDevelopment of a safety validation methodology.
246 3 3 ‡aState-of-the-art and assessment of safety verification/validation methodologies.
246 3 0 ‡aAnalytical methodology for safety validation of computer controlled subsystems.
260 ⊔ ⊔ ‡aWashington, D.C. : ‡bU.S. Dept. of Transportation, Federal Railroad Administration, Office of Research and Development ; ‡aSpringfield, VA : ‡bAvailable through the National Technical Information Service, ‡c[1995]
300 ⊔ ⊔ ‡a2 v. ; ‡c28 cm.
500 ⊔ ⊔ ‡a"DOT-VNTSC-FRA-95-8."
500 ⊔ ⊔ ‡a"DOT/FRA/ORD-95/10."
500 ⊔ ⊔ ‡a"September 1995."
500 ⊔ ⊔ ‡aCover title.
504 ⊔ ⊔ ‡aIncludes bibliographical references (p. R-1 - R-2).
505 0 ⊔ ‡av. 1. State-of-the-art and assessment of safety verification/validation methodologies -- v. 2. Development of a safety validation methodology.
513 ⊔ ⊔ ‡aFinal report.
536 ⊔ ⊔ ‡aPerformed by Battelle for the John A. Volpe National Transportation Systems under contract no. ‡bRR593/R5019.
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aHigh speed ground transportation ‡xSafety measures.
650 ⊔ 0 ‡aHigh speed trains ‡xElectronic equipment.
650 ⊔ 0 ‡aHigh speed trains ‡xSafety measures.
710 2 ⊔ ‡aBattelle Memorial Institute. ‡bColumbus Laboratories.
710 2 ⊔ ‡aJohn A. Volpe National Transportation Systems Center (U.S.)
710 1 ⊔ ‡aUnited States. ‡bFederal Railroad Administration. ‡bOffice of Research and Development.
CID ⊔ ⊔ ‡a102587035
DAT 0 ⊔ ‡a19190430000000.0 ‡b20190521000000.0
DAT 1 ⊔ ‡a20190521090644.0 ‡b2024-06-15T18:14:55Z
DAT 2 ⊔ ‡a2024-06-15T17:30:02Z
CAT ⊔ ⊔ ‡aSDR-UCBK ‡dIII - MILLENIUM ‡lprepare.pl-004-008
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-ucbk.b116017910 ‡auc1 ‡bSDR ‡cUCBK ‡puc1.c101276751 ‡sUC ‡z1 ‡1.b116017910
974 ⊔ ⊔ ‡bUC ‡cUCBK ‡d20240615 ‡sgoogle ‡uuc1.c101276751 ‡z1 ‡y1995 ‡rpd ‡qbib ‡tUS fed doc--NTIS: pubdate < 2018
974 ⊔ ⊔ ‡bUC ‡cUCBK ‡d20240615 ‡sgoogle ‡uuc1.c101276609 ‡z2 ‡y1995 ‡rpd ‡qbib ‡tUS fed doc--NTIS: pubdate < 2018